Difference between revisions of "APW 2016"
Jump to navigation
Jump to search
m (1 revision imported) |
Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271)) |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Line 12: | Line 12: | ||
|Notification = 2016-09-20T00:00:00 | |Notification = 2016-09-20T00:00:00 | ||
|Submission deadline= 2016-09-15T00:00:00 | |Submission deadline= 2016-09-15T00:00:00 | ||
| + | |pageCreator=Liy1 | ||
| + | |pageEditor=Liy1 | ||
| + | |contributionType=1 | ||
}} | }} | ||
Latest revision as of 19:15, 1 April 2022
| 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 |
| Important dates | |
| Submissions: | 2016-09-15T00:00:00 |
| Notification: | 2016-09-20T00:00:00 |
| Table of Contents | |