UniGR Summer School on Verification Technology, Systems & Applications 2020

The summer school on verification technology, systems & application has been postponed to 2021.

Organization and Contact

General Organization

• Bernard Boigelot
• Pascal Fontaine
• Stephan Merz
• Jun Pang
• Christoph Weidenbach

Local Organization

• Pascal Fontaine

Website

• Jennifer Müller

For comments or questions send an email to Pascal Fontaine.

The summer school is organized by the University of Liège, the University of Luxembourg, Inria Nancy - Grand Est, and the Max Planck Institute for Informatics, Saarbrücken.

Sponsored by

UniGR

Université du Luxembourg

Computer Science and Communications Research Unit

Doctoral Programme in Computer Science and Computer Engineering

Interdisciplinary Centre for Security, Reliability and Trust

Inria

Université de Liège

Max-Planck-Institut für Informatik

Supported by CPEC TRR 248 (see perspicuous-computing.science)

 

• Summer School 2020
• Application
• Registration
• Program
• Accommodation
• Arrival/Directions
• Organization and Contact
• Important Dates
• History
  VTSA 19 VTSA 18 VTSA 17 VTSA 16 VTSA 15 VTSA 14 VTSA 13 VTSA 12 VTSA 11 VTSA 10 VTSA 09 VTSA 08