Highlights Conference 2025 Comes to the Saarland Informatics Campus

Conference Registration Area – Highlights 2025, Photo: Sahra Grolier / Universität des Saarlandes

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 without traditional proceedings. Instead, selected talks present the most exciting work from recent top-tier conferences – 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.

A Stage for Theoretical Computer Science in Saarbrücken

This year’s edition is organized by Professor Benjamin Kaminski (Saarland University / Computer Science Department) and will take place in the Günter Hotz Lecture Hall on the university campus. The main conference program starts on September 2.

Hosting the event highlights the international visibility of the Saarland Informatics Campus in theoretical computer science and formal methods. The conference will also be accompanied by a Collaborative Research Week, giving participants space to deepen their scientific exchange and initiate new collaborations.

“I’m excited to welcome the Highlights Conference 2025 to Saarbrücken,” says Kaminski. “The format is unique: it showcases the best research from across the world  in a compact, inspiring way – and it’s a great opportunity for our campus to strengthen connections and visibility.”

SIC Media and Social Media Support

The SIC communications team will accompany the event with media coverage, photos, and social media insights – providing a glimpse into the scientific exchange happening on campus.

📍 More information and program
👉 https://highlights-conference.org/2025