Du 1er au 5 juillet 2019 s'est tenue sur le campus de Belval de l'Université du Luxembourg la 12ème édition de la summer school UniGR sur la technologie, les systèmes et les applications de vérification. L’évènement a été cofinancé par les fonds pour évènements scientifiques de l’UniGR.
L'école d'été, qui s'adresse en premier lieu aux étudiants de second cycle en informatique, s'est penchée sur les aspects fondamentaux des techniques de vérification, leur implémentation, ainsi sur que leur utilisation pour les applications concrètes. L'évènement, qui a duré 5 jours, était organisé par l'Université du Luxembourg, l'Inria Nancy, l'Institut Max Planck d'Informatique de Sarrebruck et l'Université de Liège.
“L'objectif principal de la summer school était d'enseigner aux étudiants les techniques de pointe en technologie de vérification, et de les encourager à poursuivre leurs recherches dans ce domaine” nous explique Jun Pang, l'un des organisateurs, chercheur au “Computer Science and Communications Research Unit” (CSC) de l'Université du Luxembourg.
L'évènement, lors duquel ce sont tenues diverses conférences, était ponctué par des repas et des sessions permettant aux participants de faire connaissance et de discuter de leurs mémoires de fin d'études et thèses de doctorat : une occasion idéale de s'entretenir avec des leaders mondiaux, dans une atmosphère décontractée.
La 13ème édition de la summer school UniGR sur la technologie, les systèmes et les applications de vérification se tiendra à Liège, en Belgique. De plus amples informations suivront prochainement.
Plus d'informations sur le site web du VSTA.
Contact : Jun Pang, Université du Luxembourg,