[Please post - apologies for multiple copies.]
WING 2012 - 4th International Workshop on INvariant Generation
http://cs.nyu.edu/acsys/wing2012/
June 30, 2012
Manchester, UK (a satellite Workshop of IJCAR 2012)
--
Call for submissions and Save the date
for our local Haskell Workshop in Halle/Saale, Germany.
Tutorials, talks, demonstrations ... everything welcome.
Workshop language is German (mainly), and English (by request).
Submission deadline: May, 21, Workshop date: June, 22
Workshop homepage: htt
On Mon, 23 Apr 2012, Henning Thielemann wrote:
Call for submissions and Save the date
for our local Haskell Workshop in Halle/Saale, Germany.
Tutorials, talks, demonstrations ... everything welcome.
Workshop language is German (mainly), and English (by request).
Submission deadline: May, 21