APW 2016: Difference between revisions
No edit summary |
m 1 revision imported: bulk import |
| (2 intermediate revisions by the same user not shown) | |
(No difference)
| |
Latest revision as of 08:47, 11 September 2016
| 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 | |