* [Caml-list] Extended deadline: JAL Special Issue on Automated Specification and Verification of Web Systems
@ 2011-03-08 8:08 Temur Kutsia
0 siblings, 0 replies; only message in thread
From: Temur Kutsia @ 2011-03-08 8:08 UTC (permalink / raw)
To: caml-list
[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.
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2011-03-08 8:07 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2011-03-08 8:08 [Caml-list] Extended deadline: JAL Special Issue on Automated Specification and Verification of Web Systems Temur Kutsia
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).