Post-CAV Workshops 2001
All workshops will take place the day just after the main CAV
conference, namely July 23, 2001. Some of the workshops will take
place at la Mutualité, which is also the place of the main
conference. Some others will take place at Campus Jussieu, a 5-minute
walk from la Mutualité.
The list of post-CAV workshops is as follows.
Remember that there are three other events related to CAV'01: SAS'01, FMICS'2001, and the 5th Dynamics Workshop.
Click here for
the call for workshops (closed).