[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[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.
