[TYPES] ATVA 2005: Final CFP (New Deadline: May 27)

[Yih-Kuen Tsay]

[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