News
- 2026-02 We organise AAA108! Information regarding the registration will be provided shortly.
- Girl power in algebra! Within our research group, Žaneta has just started her own ESPRIT-project granted by the Austrian Science Fund (FWF), Johanna is writing her doctoral thesis with a DOC-fellowship granted by the Austrian Academy of Science (OEAW), and Lisa has completed her excellent bachelor's thesis.

- 2025-10 Tomáš has been awarded the Best Paper Award 2024 by the Faculty of Mathematics and Geoinformation of TU Wien for his paper 'Collapsing the Bounded Width Hierarchy for Infinite-Domain Constraint Satisfaction Problems: When Symmetries Are Enough' (joint work with A. Mottet, M. Pinsker, and M. Wrona).

- 2025-10 Jakub has been awarded an ESPRIT grant from the Austrian Science Fund (FWF)!
- 2025-10 Žaneta joins our research group as a Postdoc! She has been awarded an ESPRIT grant from the Austrian Science Fund (FWF).
- 2025-09 The whole research group attends the CSP World Congress (CWC'25) in Cervinia, Italy. Michael, Tomáš, and Johanna were part of the organising team.
Photo Copyright: Philipp Grzywaczyk- 2025-09 Paolo (invited speaker), Johanna, Christoph, Roman, and Moritz attend the Summer School on General Algebra and Ordered Sets (SSAOS'25) in Blansko, Czech Republic.

- 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' (joint work with M. Pinsker and J. Rydval) 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' (joint work with A. Barsukov and M. Pinsker) at the 52nd EATCS International Colloquium on Automata, Languages and Programming (ICALP'25) in Copenhagen, Denmark
- 2025-07 Michael, Tomáš, and Johanna present their paper 'The sorrows of a smooth digraph: the first hardness criterion for infinite directed graph-colouring problems' (joint work with M. Kozik) at the 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'25) in Singapore

Last update: 2025-10-26