APW 2016

From Openresearch
Revision as of 19:15, 1 April 2022 by Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271))
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
APW 2016
APW 2016 : AutoProof Workshop
Dates 2016-10-01T00:00:00 (iCal) - 2016-10-01T23:59:59
Homepage: sites.google.com/site/autoproofworkshop2016/
Location
Location: Toulouse, France
Loading map...

Important dates
Submissions: 2016-09-15T00:00:00
Notification: 2016-09-20T00:00:00
Table of Contents