Model Checking Thematic Semester

When: From March 8 we will start our weekly meetings on Model Checking from 11:00–13:00.

The idea is that a senior member will present some theory for the first 40 minutes on a high-level. These 40 minutes will be attended by various other senior staff. After that, the same theory will be explained in more detail to the less senior members and there will be ample opportunity to ask questions and do exercises. Furthermore, implemented model checkers will be set to work to implement various European traffic regulations.

The formalised model checking thematic semester will combine various activities:

• Philosophy apprenticeships in Formal Vindications S.L.;
• Collaboration scholarship of Master in Pure and Applied logic;
• External Internship from Paris;
• Senior researchers investigating applications for legal software and corresponding complexity bounds;
• Senior members taking a mini-course in Model Checking by attending the weekly 40 minutes.