News
- 2026-02 We organise AAA108! Information regarding the registration will be provided shortly.
- 2025-09 Leopold joins us as a PhD student
- 2025-08 Christoph and Moritz present their paper 'Three fundamental questions in modern infinite-domain constraint satisfaction' at the 50th International Symposium on Mathematical Foundations of Computer Science (MFCS'25) in Warsaw, Poland!
- 2025-07 Jakub presents his paper 'Containment for Guarded Monotone Strict NP' at the 52nd EATCS International Colloquium on Automata, Languages and Programming (ICALP'25) in Copenhagen, Denmark
- 2025-07 Johanna, Tomas, and Michael present their paper 'The sorrows of a smooth digraph: the first hardness criterion for infinite directed graph-colouring problems' at the 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'25) in Singapore
Last update: 2025-09-02