From 1 to 5 July 2019, the UniGR Summer School on Verification Technology, Systems & Applications (VTSA) took place for the 12th time on Belval Campus. Mainly dedicated to students holding a Bachelor (or higher) degree in computer science, the summer school focused on fundamental aspects of verification techniques, their implementation, and their use for concrete applications. The five-day event was organised by the University of Luxembourg, Inria Nancy, the Max-Planck-Institut für Informatik in Saarbrücken and the University of Liège.
The organisers of the UniGR Summer School on Verification Technology, Systems & Applications 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. Starting from this premise, the five invited speakers, Alexey Gotsman, Jochen Hoenicke, Catalin Hritcu, Marieke Huisman and Cezary Kaliszyk, presented a particular verification technology and its implementation in a system in order to successfully apply the approach to real world verification problems.
“The main objective of the summer school was to teach the students the state-of-the-art on verification technologies and to attract and encourage them to work on similar research topics”, explains Jun Pang, one of the organiser and research scientist at the Computer Science and Communications Research Unit (CSC).
The event included lectures, but also coffee & lunch breaks, and a school dinner. The participants had the possibility to take part in student sessions as well, where they could discuss their PhD/Master topics with the speakers, the organisers and further senior researchers. These were a great opportunity to discuss interesting topics with world leading experts in a relaxed atmosphere.
The 13th edition of the UniGR Summer School on Verification Technology, Systems & Applications will take place in Liège, Belgium. Further information will follow.