Extended deadline: JAL Special Issue on Automated Specification and Verification of Web Systems
Temur Kutsia <[email protected]>
| Newsgroups | gmane.comp.lang.lambda-prolog |
|---|---|
| Message-ID | <[email protected]> |
[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.