[Haskell] Extended deadline: JAL Special Issue on Automated Specification and Verification of Web Systems

Temur Kutsia kutsia at risc.uni-linz.ac.at
Tue Mar 8 09:07:11 CET 2011


[Apologies for multiple copies]

========================================================================
JOURNAL OF APPLIED LOGIC
Special Issue on Automated Specification and Verification of Web Systems

http://www.risc.uni-linz.ac.at/people/tkutsia/jal-wwv.html

DEADLINE EXTENSION
========================================================================

IMPORTANT DATES
---------------
  * Submission of papers: March 16, 2011 (extended).
  * Notification: June 6, 2011.



More information about the Haskell mailing list