-  -  - 
Veranstaltungen in der Gro├čregion

Gefördert durch den Europäischen Fonds für regionale Entwicklung im Rahmen des Programms INTERREG IVA Großregion.
Die Europäische Union investiert in Ihre Zukunft.

UniGR Summer School on Verification Technology, Systems and Applications (VTSA 2019)

01.07.2019 - 05.07.2019
Mehr Information
(Leider existiert dieser Text nicht in deutsch.)

The summer school on verification technology, systems & applications focuses on fundamental aspects of verification techniques, their implementation, and their use for concrete applications. It is organized by Inria Nancy, the Max-Planck-Institut f├╝r Informatik in Saarbr├╝cken, and the Universities of Li├Ęge and of Luxembourg. 

The following speakers have agreed to lecture at the school:

Alexey Gotsman: Reasoning about data consistency in distributed systems

Jochen Hoenicke: Software model checking with Ultimate

Catalin Hritcu: Program verification with F*

Marieke Huisman: Verification of concurrent and distributed software

Cezary Kaliszyk: Artificial intelligence in theorem proving

Participation in the school is free to anybody holding at least a bachelor degree or equivalent; it includes the lectures, coffee and lunch breaks, and a school dinner. Attendance is limited to 40 participants. Please apply electronically by sending an email to Soumya Paul including

a one-page CV,

an application letter explaining your interest in the school and your experience in the area

a copy of your bachelor certificate (or equivalent or a more significant certificate)

a short statement if you want to contribute to the student sessions

The deadline for application is May 10, 2019. Notification of acceptance will be given by May 17, 2019.

Full details can be found here