88th Workshop on Algorithms, Complexity, and Logic ("Theorietag")
9th-10th October 2025, University of Augsburg, Germany
https://uni-a.de/to/fai-theorietag2025/
==================================================================
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.
================
INVITED SPEAKERS
================
Thomas Bläsius (Karlsruhe Institute of Technology)
Javier Esparza (Technical University Munich)
Daniel Neuen (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:
The registration is open at least until 26th September 2025.
Attending the workshop will be free of charge. Coffee/tea+fingerfood
will be provided. Lunch and social dinner is self-paid.
If you want to attend the workshop (with or without talk), then please
register by sending an email to: theorietag2025@informatik.uni-augsburg.de
=======
CONTACT
=======
The workshop is organized by the Theoretical Computer Science Group at
University of Augsburg.
Contact: theorietag2025@informatik.uni-augsburg.de
===============================================================================================
--
Prof. Dr. Pascal Lenzner
Theoretical Computer Science
University of Augsburg
email: pascal.lenzner@uni-a.de
phone: +49 821 598 2413
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************