APW 2016
Jump to navigation
Jump to search
Event Rating
median | worst |
---|---|
![]() |
![]() |
List of all ratings can be found at APW 2016/rating
APW 2016 | |
---|---|
APW 2016 : AutoProof Workshop
| |
Dates | 2016-10-01 (iCal) - 2016-10-01 |
Homepage: | sites.google.com/site/autoproofworkshop2016/ |
Location | |
Location: | FR/OCC/Toulouse, FR/OCC, FR |
Important dates | |
Submissions: | 2016-09-15T00:00:00 |
Notification: | 2016-09-20T00:00:00 |
Table of Contents | |