From September 1\u20135, 2025, the Saarland Informatics Campus will host the internationally renowned <\/b>Highlights of Logic, Games and Automata <\/i><\/b>Conference.<\/b> Around 110 to 150 international participants are expected to attend \u2013 including leading researchers in logic, games, formal methods, verification, and algorithmic modeling.<\/p>\n
The Highlights Conference <\/b>features an innovative format without traditional proceedings. Instead, selected talks present the most exciting work from recent top-tier conferences \u2013 compact, interdisciplinary, and with a strong focus on exchange and networking. The aim is to bring together communities from neighboring areas and foster interdisciplinary dialogue.<\/p>\nA Stage for Theoretical Computer Science in Saarbr\u00fccken<\/b><\/h3>\n
This year\u2019s edition is organized by Professor Benjamin Kaminski<\/b> (Saarland University \/ Computer Science Department) and will take place in the G\u00fcnter Hotz Lecture Hall<\/b> on the university campus. The main conference program starts on September 2<\/b>.<\/p>\n
Hosting the event highlights the international visibility of the Saarland Informatics Campus in theoretical computer science and formal methods<\/b>. The conference will also be accompanied by a Collaborative Research Week<\/b>, giving participants space to deepen their scientific exchange and initiate new collaborations.<\/p>\n
\u201cI\u2019m excited to welcome the Highlights Conference 2025 to Saarbr\u00fccken,\u201d says Kaminski. \u201cThe format is unique: it showcases the best research from across the world\u00a0 in a compact, inspiring way \u2013 and it\u2019s a great opportunity for our campus to strengthen connections and visibility.\u201d<\/p>\n
The SIC communications team will accompany the event with media coverage, photos, and social media insights \u2013 providing a glimpse into the scientific exchange happening on campus.<\/p>\n