[Agda] VSC call for paper: DEADLINE EXTENDED

[Andrea Calvagna]

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