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.