|
|
Upcoming events
- CFV seminars: see the list here !
- The Laboratoire Spécification and Vérification (ENS Cachan - France) maintains a list of forthcoming conference
in the field of formal methods, verification and design. It is available (in french)
here.
|
|