Difference between revisions of "APW 2016"
Jump to navigation
Jump to search
Tim Holzheim (talk | contribs) (pushed from ori5 by wikipush) |
Tim Holzheim (talk | contribs) (edited by wikiedit) |
||
Line 2: | Line 2: | ||
|Acronym=APW 2016 | |Acronym=APW 2016 | ||
|Title=APW 2016 : AutoProof Workshop | |Title=APW 2016 : AutoProof Workshop | ||
− | | | + | |Event type=Conference |
|Field=software verification, eiffel, autoproof, boogie | |Field=software verification, eiffel, autoproof, boogie | ||
|Start date=2016-10-01T00:00:00 | |Start date=2016-10-01T00:00:00 |
Latest revision as of 10:29, 8 March 2021
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 | |