coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] ATVA 2005: Final CFP (New Deadline: May 27)

From: Yih-Kuen Tsay <tsay AT venus.im.ntu.edu.tw>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] ATVA 2005: Final CFP (New Deadline: May 27)
Date: Fri, 20 May 2005 23:24:32 +0800
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

[Apologies for multiple copies of this message]

FINAL CALL FOR PAPERS

ATVA 2005
Third International Symposium on
Automated Technology for Verification and Analysis
Taipei, Taiwan, October 4-7, 2005
http://www.im.ntu.edu.tw/~atva2005/ ;

HIGHLIGHTS
. Submission deadline (extended): Friday May 27
. Proceedings in the Springer LNCS series
. Co-location with FORTE 2005
. Keynote speakers:
  . Amir Pnueli  (joint with FORTE 2005)
  . Zohar Manna
  . Wolfgang Thomas

[Coq-Club] ATVA 2005: Final CFP (New Deadline: May 27), Yih-Kuen Tsay