🏃‍➡️ This week, between September 1-5, Saarland Informatics Campus is hosting the internationally renowned Highlights of Logic, Games and Automata conference!

🌍 150+ researchers worldwide are attending for the latest developments in logic, verification, and more.

Full program here: https://sic.link/hl2025

#highlights2025 #saarlandinformaticscampus #sic #saarlanduniversity #uds #highlightsconference2025 #computerscience #saarbrücken #networking #academicconference #collaborativeresearchweek