Research

PUBLICATIONS AND PREPRINTS

• M. Bodirsky, Ž. Semanišinová. The Complexity of Resilience for Digraph Queries. To appear at STACS 2026. Preprint on arxiv.

• M. Bodirsky, É. Bonnet, Ž. Semanišinová. Temporal Valued Constraint Satisfaction Problems. Proceedings of the 50th International Symposium on Mathematical Foundations of Computer Science (MFCS), 2025. DOI 10.4230/LIPIcs.MFCS.2025.24, arXiv.

• M. Bodirsky, P. Jonsson, B. Martin, A. Mottet, Ž. Semanišinová. Complexity Classification Transfer for CSPs via Algebraic Products. SIAM Journal on Computing, 2024. DOI 10.1137/22M1534304, arXiv.

• M. Bodirsky, Ž. Semanišinová, C. Lutz. The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems. Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2024. DOI 10.1145/3661814.3662071, arXiv.

• J. Rydval, Ž. Semanišinová, M. Wrona. Identifying Tractable Quantified Temporal Constraints within Ord-Horn. 51st EATCS International Colloquium on Automata, Languages and Programming (ICALP), 2024.
  DOI 10.4230/LIPIcs.ICALP.2024.151, arXiv.

• Ž. Semanišinová, D. Stanovský. Three concepts of nilpotence in loops. Results in Mathematics, 2023. DOI 10.1007/s00025-023-01882-x, arXiv.

• Ž. Semanišinová. Paramedial quasigroups of prime and prime square order. Journal of Algebra and Its Applications, 2022. DOI 10.1142/S0219498822502346, arXiv.

Confererences, seminars and more

Future events

• STACS 2026, Grenoble, France, March 2026.

• Durham Symposium: Mathematics of Constraint Satisfaction, Durham, United Kingdom, April 2026.

Past events
*invited talks and invitational events

• AAA108, Vienna, Austria, February 2026.
  Talk: A Preservation Theorem for Valued Structures. Slides.

• Homogeneous Structures: Model Theory meets Universal Algebra*, Oberwolfach, Germany, December 2025.
  Talk: Temporal Valued Constraint Satisfaction Problems. Slides.

• CWC 2025*, Breuil-Cervinia, Italy, September 2025.
  Talk*: Valued Constraints on Infinite Domains. Slides.

• AAA107, Bern, Switzerland, June 2025.
  Talk: Temporal Valued Constraint Satisfaction Problems. Slides.

• Dagstuhl seminar: The Constraint Satisfaction Problem: Complexity and Approximability*, Schloss Dagstuhl, Germany, May 2025.
  Talk: Valued Constraint Satisfaction Problem and Resilience in Database Theory. Slides.

• 5th POCOCOP meeting, Dresden, Germany, March 2025.

• Dagstuhl seminar: Semirings in Databases, Automata, and Logic*, Schloss Dagstuhl, Germany, February 2025.
  Talk: Valued Constraint Satisfaction Problem and Resilience in Database Theory. Slides.

• Research Seminar in Discrete Mathematics and Algebra, Freiberg, Germany, February 2025.
  Talk*: Valued Constraints over Infinite Domains. Slides.

• 4th POCOCOP meeting, Vienna, Austria, November 2024.

• Algebra seminar, Dresden, Germany, October 2024.
  Talk: Valued Constraints over Infinite Domains. Slides.

• CWC 2024*, Kolfuschg, Italy, September 2024.

• LICS 2024, ICALP 2024 and collocated workshops, Tallinn, Estonia, July 2024.
  Talk (workshop Trends in Arithmetic Theories)*: Identifying Tractable Quantified Temporal Constraints. Slides.
  Talk (workshop Women in Logic): Classification Transfer for CSPs via Algebraic Products. Slides.
  Talk (LICS): The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems. Slides.

• AAA105, Prague, Czech Republic, May/June 2024.
  Talk: Identifying Tractable Quantified Temporal Constraints within Ord-Horn. Slides.

• 3rd POCOCOP meeting, Dresden, Germany, March 2024.

• Algebra seminar at Pavol Jozef Šafárik University, Košice, Slovakia, February 2024.
  Talk: Constraint satisfaction problems: an algebraic approach to classifying computational complexity. Slides.

• 2nd POCOCOP meeting, Prague, Czechia, November/December 2023.

• Combinatorial Problems in Model Theory and Computer Science, Leeds, United Kingdom, November 2023.
  Talk*: Valued Constraint Satisfaction Problem and Resilience in Database Theory. Slides.

• CWC 2023*, Weissensee, Austria, September 2023.

• Algebra Week, Siena, Italy, July 2023.
  Talk*: Valued Constraint Satisfaction Problem and Resilience in Database Theory. Slides.

• AAA103, Tartu, Estonia, June 2023.
  Talk: Valued Constraint Satisfaction Problem and Resilience in Database Theory. Slides.

• 1st POCOCOP meeting, Prague, Czechia, May 2023.

• Spring school of the Department of Algebra, Železnice, Czech Republic, March 2023.
  Talk: Valued Constraint Satisfaction Problem and Resilience in Database Theory. Slides.

• PALS (Panglobal Algebra and Logic Seminar), online, January 2023.
  Talk: Complexity classification transfer for CSPs via algebraic products. Slides.

• Visiting reseacher at the Institute for Algebra, JKU Linz, Austria, September/October 2022.

• CWC 2022*, Molveno, Italy, September 2022.
  Talk: Constraint Satisfaction Problems of First-Order Expansions of Algebraic Products.

• AAA102, Szeged, Hungary, June 2022.
  Talk: Constraint Satisfaction Problems of First-Order Expansions of Algebraic Products. Slides.

• Spring school of the Department of Algebra, Lomnice nad Popelkou, Czech Republic, May 2022.
  Talk: Constraint Satisfaction Problems of First-Order Expansions of Algebraic Products. Slides.

• AlMoTh 2022, Bremen, Germany, March 2022.

• Fall school of the Department of Algebra, Telecí, Czech Republic, November 2021.
  Talk: Paramedial quasigroups of prime and prime square order. Slides.

• International Seminar, Dresden, Germany, October 2021.
  Talk: Supernilpotent loops. Slides.

• LOOPS 2019, Budapest, Hungary, July 2019.
  Talk: Paramedial quasigroups of prime and prime square order. Slides (contain some mistakes, revised results are for example in these slides).

theses

• Doctoral thesis: Valued Constraint Satisfaction in Structures with an Oligomorphic Automorphism Group
  Slides from my defense.

• Master thesis: Higher Commutators in Loop Theory

• Bachelor thesis: Enumeration of Affine Quasigroups (in Slovak)