APW 2016: Difference between revisions
No edit summary |
m 1 revision imported |
(No difference)
| |
Revision as of 09:13, 5 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 | |