
From September 1–5, 2025, the Saarland Informatics Campus will host the internationally renowned Highlights of Logic, Games and Automata Conference. Around 110 to 150 international participants are expected to attend – including leading researchers in logic, games, formal methods, verification, and algorithmic modeling. The Highlights Conference features an innovative format…