ATVA 2005 Third International Symposium on Automated Technology for Verification and Analysis

Event Detail

General Information
Dates:
Tuesday, October 4, 2005 - Friday, October 7, 2005
Days of Week:
Tuesday
Wednesday
Thursday
Friday
Target Audience:
Academic and Practice
Location:
Taipei, Taiwan
Sponsor:
URL:
http://www.im.ntu.edu.tw/~atva2005/
Event Details/Other Comments:

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)