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.

1. Workshop on Inspection in Software Engineering (in La Mutualité)
2. Workshop on Logical Aspects of Cryptographic Protocol Verification (in La Mutualité)
3. Workshop on Run-time Verification (in Jussieu, room B. Grossetete)
4. Workshop on Software Model-Checking (in La Mutualité)
5. Workshop on Supervisory Control of Discrete Event Systems (in Jussieu, Institut Jacques Monod)

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).