{"id":16247,"date":"2024-06-12T12:50:43","date_gmt":"2024-06-12T10:50:43","guid":{"rendered":"https:\/\/www.uni.lu\/fstm-en\/?post_type=events&p=16247"},"modified":"2024-08-14T14:08:59","modified_gmt":"2024-08-14T12:08:59","slug":"summer-school-on-verification-technology-systems-applications-2024","status":"publish","type":"events","link":"https:\/\/www.uni.lu\/fstm-en\/events\/summer-school-on-verification-technology-systems-applications-2024\/","title":{"rendered":"Summer School on Verification Technology, Systems and Applications 2024"},"content":{"rendered":"\n
\n

The summer school on verification technology, systems & applications takes place at the University of Luxembourg, Belval Campus, Maison du Savoir from 8<\/strong> July – 12 July, 2024<\/strong>. We believe that all three aspects verification technology, systems & applications strongly depend on each other and that progress in the area of formal analysis and verification can only be made if all three aspects are considered as a whole. Our five speakers Wolfgang Ahrendt<\/strong>, \u00c9tienne Andr\u00e9<\/strong>, Joao Marques-Silva<\/strong>, Caterina Urban<\/strong> and Anton Wijs<\/strong> stand for this view and will present a particular verification technology and its implementation in a system in order to successfully apply the approach to real world verification problems.<\/p>\n\n\n\n

The number of participants in the school is limited to 40<\/strong>. We expect participants to hold a bachelor (or higher) degree in computer science (or equivalent) and to have basic knowledge in propositional and first-order logic.<\/p>\n\n\n\n

The summer school is free of charge<\/strong>. <\/p>\n\n\n\n

For more information on the conference, please visit Summer School on Verification Technology, Systems & Applications website.<\/p>\n\n\n\n