Tutorials and Workshops


Tutorial 1 Using B to program the CLEARSY Safety Platform Starter Kit For Education
Instructor :Thierry Lecomte, ClearSy.

Tutorial 2 {log}: Programming and Automated Proof in Set Theory

Instructor:Maximiliano Cristiácv -, professor of Software Engineering at Universidad Nacional de Rosario, Argentina.

Tutorial 3 Teaching Alloy wirth Alloy4Fun
Instructors: Alcinno Cunha, University of Minho, and Nuno Macedo, University of Porto, Portugal.


Two workshops are organized Tuesday, May 30

The Rodin Workshop

The IVOIRE Workshop

Comments are closed.