
Vom 1. bis 5. September 2025 wird der Saarland Informatics Campus Gastgeber der renommierten Highlights of Logic, Games and Automata Conference. Erwartet werden rund 110 bis 150 internationale Teilnehmende – darunter führende Forschende aus den Bereichen Logik, Spiele, formale Methoden, Verifikation und algorithmische Modellierung. Die Highlights Conference bietet ein innovatives…