Workshop on Algorithms, Complexity, and Logic
About the Workshop
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.??
?
Time and Location
- Workshop:?Thursday, 9th October 2025 noon?-- Friday, 10th October 2025 afternoon
- Social Dinner: Thursday, 9th October 2025 in the evening
Location:
- Workshop: 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, Universit?tsstra?e 6a, 86159 Augsburg, Germany.?Computer Science Building (Building N, main campus), Lecture Hall N2045
- Social Dinner: t.b.a.
Invited Speakers
(Karlsruhe Institute of Technology)
(Technical 伟德国际_伟德国际1946$娱乐app游戏 Munich)
(Max Planck Institute for Computer Science, Saarbrücken)
Call for Participation
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:
If you want to attend the workshop (with or without talk), then please register by sending an email to:? theorietag2025@informatik.uni-augsburg.de
?
Attending the workshop will be free of charge. Coffee/tea+fingerfood will be provided. Lunch and social dinner is self-paid.?
?
For the registration, please state your name and your affiliation. Additionally, if you want to give a contributed talk, then please also send your talk title and abstract.
?
The registration will be open at least until 26th September 2025.??
?
Local Organization
Local Organizers:?
- Pascal Lenzner
- Marcus Wunderlich