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



[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.





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.