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. The event was co-financed from the UniGR funds for cross-border scientific events.
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 organized by the University of Luxembourg, Inria Nancy, the Max-Planck-Institut für Informatik in Saarbrücken and the University of Liège.
“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 organizers 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.
More information on the VSTA website.
Contact: Jun Pang, University of Luxembourg,