Workshop on Algorithms, Complexity, and Logic
About the Workshop
The 88th 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 2045N
- Social Dinner: 9th October 2025, 19:30 at Ratskeller Augsburg
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.??
?
Hotels and Directions
Hotels in Augsburg
Augsburg has many hotels. However, for your convenience, we advise you to avoid taking a hotel in the north of Augsburg, as the travel time could be too high.
From the city center (K?nigsplatz), you can travel to the university within 15 - 20 minutes, using public transport.
Thus, we recommend choosing a hotel located somewhere between K?nigsplatz and the university, or a hotel that is moderately close to a stop of the tram line 3.
?
Arriving at the Workshop Room 2045N
Address:
Universit?tsstra?e 6a
86159 Augsburg
To reach the workshop room after you exit the tram at the stop "Universit?t", head south and follow the pedestrian path until you encounter a big crossing.
At the crossing, head right and walk until you arrive at the sculpture of a red trojan horse.
(Copyright: Google Maps)
Look into the direction the horse is looking and enter through the door you see on the ground level.
(Copyright: https://ingesidee.de/de/kunst-im-oeffentlichen-raum/trojaner-universitaet-augsburg/)
If you enter thorugh this door, the workshop room, 2045N, is directly in front of you.
Local Organization
Local Organizers:?
- Pascal Lenzner
- Marcus Wunderlich