The 89th Workshop in Algorithms, Complexity, and Logic, commonly known as "Theorietag", is a joint workshop of the three working groups on Algorithms, Complexity, and Logic of the German Society for Computer Science (GI).

It aims at bringing together researchers from these three core research areas of theoretical computer science and to foster a broad scientific exchange. Moreover, the workshop is a great opportunity for younger researchers to present their work and to connect. There are no formal proceedings, so both published and unpublished work can be presented, without interfering with any past or future publication. A declared goal of the workshop is to enable contact between young and senior scientists.

This workshop has a long tradition and is usually held twice a year. The most recent "Theorietag" was held in Jena in March 2025.  

• Workshop: Thursday, 9th October 2025 noon -- Friday, 10th October 2025 afternoon
• Social Dinner: Thursday, 9th October 2025 in the evening

Location:

• Workshop: University of Augsburg, Universitätsstraße 6a, 86159 Augsburg, Germany. Computer Science Building (Building N, main campus), Lecture Hall N2045
• Social Dinner: t.b.a.

Contributed Talks: 

We are looking for contributed talks in all areas of research on Algorithms, Complexity and Logic. These can be on recently published research, work in progress, or thesis projects.

If you are interested in giving a contributed talk, then please send your title+abstract to 

theorietag2025@informatik.uni-augsburg.de by 26th September 2025.

Registration:

The registration will be open at least until 26th September 2025. More details on the registration will be announced soon. 

Local Organizers: 

• Pascal Lenzner
• Marcus Wunderlich