[Agda] VSC call for paper: DEADLINE EXTENDED

Andrea Calvagna 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. 

Best regards, 

Andrea Calvagna and Emiliano Tramontana
VSC co-chairs 
University of Catania, Italy
www.cs.unict.it/~{calvagna, tramontana}

-------------- next part --------------
A non-text attachment was scrubbed...
Name: VSC.pdf
Type: application/pdf
Size: 45653 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20130128/fc5e7337/VSC-0001.pdf

More information about the Agda mailing list