- Trainer/in: Didier Buchs
- Trainer/in: Gilles Falquet
- Trainer/in: Dimi Racordon
Réseaux de Petri, syntaxe, sémantique, propriétés, analyse.
Extensions aux réseaux de Petri: réseaux colorés, réseaux temporisés.
Logique propositionnelle, logique des prédicats, preuves.