Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Extended deadline: JAL Special Issue on Automa...

Email Gateway (Aug 18 2022 at 17:20):

From: Temur Kutsia <kutsia@risc.uni-linz.ac.at>
[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.

Last updated: Apr 18 2024 at 20:16 UTC