Vom 1. bis 5. Juli 2019, fand auf dem Campus Belval der Universität Luxemburg die zwölfte Ausgabe der “UniGR Summer School on Verification Technology, Systems & Applications” statt. Die Veranstaltung wurde aus Mitteln des UniGR-Fonds zur Förderung von grenzüberschreitenden wissenschaftlichen Veranstaltungen kofinanziert.
Bei der Sommerschule, die sich hauptsächlich an Studierende mit einem Bachelor-Abschluss (oder höher) in Informatik richtete, lag der Fokus auf grundsätzlichen Aspekten von Verifizierungstechniken, ihrer Implementierung und Nutzung für konkrete Anwendungen. Das fünftägige Event wurde von der Universität Luxemburg, dem Inria Nancy, dem Max-Planck-Institut für Informatik in Saarbrücken und der Universität Lüttich organisiert.
„Das Hauptziel der Sommerschule war es, Studierenden die modernsten Kenntnisse über Verifizierungstechnologien zu vermitteln und sie für die Arbeit in ähnlichen Forschungsgebieten zu gewinnen“, so Jun Pang, einer der Organisatoren und Forscher an der Computer Science and Communications Research Unit (CSC) der Universität Luxemburg.
Die Veranstaltung schließt einerseits Vorlesungen, andererseits aber auch Kaffee- und Mittagspausen sowie ein gemeinsames “school dinner” ein. Die Teilnehmenden hatten außerdem die Möglichkeit, sich an „student sessions“ zu beteiligen, in denen sie die Themen ihrer Master- oder Doktorarbeiten mit den Redner_innen, dem Organisationsteam und weiteren erfahrenen Forscher_innen besprechen konnten. Diese Treffen boten gute Gelegenheiten, interessante Themen mit weltweit anerkannten Expert_innen in einer entspannten Atmosphäre zu diskutieren.
Die 13. Auflage der “UniGR Summer School on Verification Technology, Systems & Applications” wird in Lüttich stattfinden, weitere Informationen hierzu folgen.
Mehr Informationen auf der Webseite der VTSA.
Kontakt: Jun Pang, Universität Luxemburg,