13th Conference on Computer Aided Verification


CAV'01


July 18-23, 2001
Paris, France



Important dates

                         Submission deadline (firm): January 15, 2001
Notification of acceptance: March 21, 2001
Proceedings version of accepted papers due:        April 23, 2001
(the copyright form is available here)
Tutorials: July 18, 2001
Conference: July 19-22, 2001
Workshops: July 23, 2001



click to enlarge




Last Modifications

June 11, 2001 Some precisions about the payment methods
June 1, 2001 New informations on student rooms
May 16, 2001 The program of the conference is online
May 8, 2001 Invited speakers are now known
May 7, 2001 Registration is open
May 2, 2001 Travelling information, sponsors, tutorials
April 23, 2001 Information to authors - copyright form
April 19, 2001 Mail alias org-cav01@lsv.ens-cachan.fr for any information about the organization of the conference
March 30, 2001 Registration: around April 20, 2001
March 28, 2001 Information on student rooms
March 24, 2001 List of accepted papers
January 29, 2001 A preliminary list of hotels
January 19, 2001 Committees and photos of the Program Committee
January 15, 2001 Submission to CAV'01 is closed
January 11, 2001 Home Page of the conference (dates)
January 10, 2001 Sponsors, committees are up-to-date
January 5, 2001 Workshops (the call for workshops is online)
January 4, 2001 Submission procedure is open



Last modified on 11th June 2001 - cav01@lsv.ens-cachan.fr