Caution: JavaScript execution is disabled in your browser or for this website. You may not be able to answer all questions in this survey. Please, verify your browser parameters.

ABZ 2023 QUESTIONNAIRE FOR TUTORIALS AND WORKSHOPS

Three tutorials and two wkrhsops  are organised on Tuesday 30. May 2023. 

  • Tutorial 1 Using B to program the CLEARSY Safety Platform Starter Kit For Education https://github.com/CLEARSY/tutorial-ABZ-2023 InstructorThierry Lecomte, ClearSy.

  • Tutorial 2 : Programming and Automated Proof in Set Theory https://www.fceia.unr.edu.ar/~mcristia/abz2023-tutorial.html Instructor:Maximiliano Cristiá (cristia -at- cifasis-conicet.gov.ar), 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.

  • The Rodin Workshop

  • The IVOIRE Workshop

There are 5 questions in this survey.
 
Close