We support the TCS4F — an initiative for reducing the carbon footprint. Learn more...
register log in

Upcoming edition

14–17 SEPTEMBER 2021 — AACHEN (or online)

The next edition is scheduled to take place in Aachen. However, due to the pandemic situation, it may be changed to a virtual conference.

The presentation submission deadline is 4 June 2021 AoE.

Upcoming workshops

An information about upcoming workshops should be put here.

The goal of Highlights conferences is to integrate the community working on logic, games and automata.

No proceedings

There are no proceedings. You present your best work, be it published elsewhere or yet unpublished.


The conference is three days long. The contributed talks are around ten minutes.


The participation costs are modest.

Everybody is doing it!

Let's use the conference model that is so successful in other fields, like mathematics.

All editions

All editions



Logic in databases

organisers: Thomas Zeume and Nils Vortmeier


organisers: Emmanuel Filiot and Nathan Lhote


organiser: Daniela Petrisan

designed and delivered