Tutorials and Workshops

Tutorials

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.

WorkshopsT

Two workshops are organized Tuesday, May 30