09/01/2025 - 09/05/2025

1. bis 5. September: Informatik-Konferenz „Highlights of Logic, Games and Automata”

Vom 1. bis zum 5. September findet die Konferenz „Highlights of Logic, Games and Automata” an der Universität des Saarlandes statt. Auf der jährlich stattfindenden internationalen Tagung kommen Wissenschaftlerinnen und Wissenschaftler aus den Bereichen algorithmische Modelltheorie, Automatentheorie, Datenbanken, Spiele für Logik und Verifikation, Logik und Verifikation zusammen. Organisiert wird sie von Informatikprofessor Benjamin Kaminski.

„Beiträge aus den Themengebieten der Konferenz werden üblicherweise über eine große Anzahl verschiedener Tagungen verteilt veröffentlicht, was es schwierig macht, den Überblick zu behalten“, erklärt Benjamin Kaminski. „Ein Besuch der Highlights-Konferenz soll daher einen umfassenden Einblick in die neuesten Forschungsergebnisse auf diesem Gebiet ermöglichen und die Gelegenheit geben, die gesamte Community zu treffen – nicht nur diejenigen, die zufällig auf einer bestimmten Tagung veröffentlichen“, so der Informatik-Professor weiter.

„Eine Besonderheit der Highlights ist, dass die eingereichten Vorträge kurz gehalten sind, so dass die Teilnehmenden in kurzer Zeit einen Überblick über eine große Bandbreite verschiedener Themen erhalten können“, führt er aus. „Da außerdem kein Tagungsband veröffentlicht wird, werden die Teilnehmer ermutigt, nicht ihr neustes, sondern ihr bestes Ergebnis des letzten Jahres zu präsentieren.“

Auf der Konferenz, die eine volle Woche von Montag, 1. September, bis Freitag, 5. September andauert, sprechen rund 150 Teilnehmerinnen und Teilnehmer aus aller Welt in verschiedenen Panels über die aktuellen Forschungsthemen aus ihren Themengebieten. Hochkarätige Keynote-Speaker eröffnen an den einzelnen Tagen jeweils das Programm. 

Weitere Informationen und vollständiges Programm unter https://highlights-conference.org/2025