- DEADLINE EXTENDED: 1 May 2014
Call for Contributions
WING 2014: 5th International Workshop on Invariant Generation
23 July 2014. Vienna, Austria
http://vsl2014.at/meetings/WING-index.html
** Important Dates: **
Submission deadline: 1 April 2014
Workshop: 23 July 2014
** About WING
[Apologies for multiple postings]
Call for Contributions
WING 2014: 5th International Workshop on Invariant Generation
July 23, 2014. Vienna, Austria
http://vsl2014.at/meetings/WING-index.html
** Important Dates: **
Submission deadline: April 15, 2014
Notification of acceptance: May 8,