Wednesday
Thursday
Friday
The Proceedings of ATVA 2005 will be published by Springer as a volume in the LNCS series. Submissions reporting original contributions are solicited in all areas of automated verification and analysis. Please visit the ATVA 2005 Web site for details not found in this CFP.
IMPORTANT DATES
May 23 (Monday): papers submission
July 1 (Friday): acceptance notification July 22 (Friday): camera-ready version October 4 (Tuesday) -- 7 (Friday): ATVA 2005
CO-LOCATION WITH FORTE 2005
ATVA 2005 will be co-located and have a two-day overlap with FORTE 2005, which is to be held October 2--5.
KEYNOTE SPEAKERS
Amir Pnueli (joint with FORTE 2005)
Wolfgang Thomas
STEERING COMMITTEE
E.A. Emerson (University of Texas at Austin, USA) Oscar H. Ibarra (University of California, Santa Barbara, USA) Insup Lee (University of Pennsylvania, USA) Doron A. Peled (University of Warwick, UK) Farn Wang (National Taiwan University, Taiwan) Hsu-Chun Yen (National Taiwan University, Taiwan)
GENERAL CHAIR
Insup Lee (University of Pennsylvania, USA)