[Agda] VSC call for paper: DEADLINE EXTENDED
calvagna at cs.unict.it
Mon Jan 28 10:45:41 CET 2013
We are pleased to inform you that the deadline for the submission of research papers to the WETICE 1st track on Validation of Software for Critical Systems has been extended to february 11th. Accepted papers will be published by IEEE Computer Society. We would appreciate if you can kindly inform your colleagues and encourage them to submit their papers as well.
Please find the updated CFP in attachment or visit the conference website http://www.cs.unict.it/~calvagna/VSC.
Andrea Calvagna and Emiliano Tramontana
University of Catania, Italy
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 45653 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20130128/fc5e7337/VSC-0001.pdf
More information about the Agda