Submission to CAV'01 is now closed !
All submissions have been assigned a submission number and the authors
of the submissions have received an acknowledgment mail (with said
number).
Contact cav01@lsv.ens-cachan.fr if you
have submitted a paper and have not received the confirmation mail.
The list of accepted papers will be known on March 21, 2001.
Thank you for submitting to CAV'01 !
Last modified on 23th January 2001 - cav01@lsv.ens-cachan.fr