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

[Temur Kutsia]

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