Work
Publications
Jakub Rydval, Žaneta Semanišinová, and Michał Wrona. Identifying Tractable Quantified Temporal Constraints within Ord-Horn, Proceedings of the 51st EATCS International Colloquium on Automata, Languages and Programming (ICALP). 2024
Jakub Rydval, Homogeneity and Homogenizability: Hard Problems for the Logic SNP, Proceedings of the 51st EATCS International Colloquium on Automata, Languages and Programming (ICALP). 2024
Manuel Bodirsky and Jakub Rydval. On the Descriptive Complexity of Temporal Constraint Satisfaction Problems. Journal of the ACM (JACM). 2023
Manuel Bodirsky, Johannes Greiner, and Jakub Rydval. Tractable Combinations of Temporal CSPs. Logical Methods in Computer Science (LMCS). 2022
Franz Baader and Jakub Rydval. Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains. Journal of Automated Reasoning (JAR). 2022
Manuel Bodirsky, Jakub Rydval, and André Schrottenloher. Universal Horn Sentences and the Joint Embedding Property. Discrete Mathematics & Theoretical Computer Science (DMTCS). 2022
Franz Baader and Jakub Rydval. An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics. Proceedings of the 17th European Conference on Logics in Artificial Intelligence (JELIA). 2021
Manuel Bodirsky, Wied Pakusa, and Jakub Rydval. Temporal constraint satisfaction problems in fixed-point logic. Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). 2020
Franz Baader and Jakub Rydval. Description Logics with Concrete Domains and General Concept Inclusions Revisited (Extended Abstract). Proceedings of the 33rd International Workshop on Description Logics (DL). 2020
Franz Baader and Jakub Rydval. Description Logics with Concrete Domains and General Concept Inclusions Revisited. Proceedings of the 10th International Joint Conference on Automated Reasoning (IJCAR). 2020
Best Paper Award 2023 of the Faculty of Mathematics and Geoinformation of TU Wien
Are the two structures isomorphic?
Work in progress
Containment and P vs. NPC Dichotomy for Guarded Monotone SNP (with Alexey Barsukov)
A ptime Algorithm for Min-Intersection Closed Temporal QCSPs (with Žaneta Semanišinová and Michał Wrona)
Meta Problems in infinite-domain constraint satisfaction
Future events
The Constraint Satisfaction Problem: Complexity and Approximability, 18–23.5.2025, Dagstuhl, Germany
Homogeneous Structures: Model Theory meets Universal Algebra, 14.12–19.12.2025, Overwolfach, Germany
Past events
CSP World Congress VI, 23–27.9.2024, Colfosco, presentation: “Finitely-Bounded Homogeneity Turned Inside-Out”
51st EATCS International Colloquium on Automata, Languages and Programming (ICALP), 8–12.7.2024, Tallinn, presentation: “Homogeneity and Homogenizability: Hard Problems for the Logic SNP”
1st Birmingham CSP meeting (BCM2024), 7–8.5.2024, Birmingham, presentation: "A survey of the infinite-domain CSP"
CSP World Congress V, 18–22.9.2023, Weissensee, attending
103rd Workshop on General Algebra (AAA103), 9–11.6.2023, Tartu, presentation: "Hard meta problems at the core of the infinite-domain CSP dichotomy conjecture"
The FG1 Seminar, 25.11.2022, Vienna, presentation: “A long-standing meta problem at the core of the infinite-domain CSP dichotomy conjecture”
CSP World Congress IV, 18–24.9.2022, Molveno, Italy, attending
The Constraint Satisfaction Problem: Complexity and Approximability, 15–20.5.2022, Dagstuhl, attending
International Seminar, 22.10.2021, Dresden, presentation: “On hardness of deciding the JEP and the AP for universal sentences”
QuantLA Workshop, 6–8.10.2021, Dresden, presentation online: “Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains”
CSP World Congress III, 26.9.2021–2.10.2021, Kranjska Gora, presentation: “On hardness of deciding the JEP and the AP for universal sentences”
Research Seminar Logic and AI, 24.6.2021, Dresden, presentation online: “Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains”
101st Workshop on General Algebra (AAA101), 4–6.6.2021, Novi Sad, attending online
17th Edition of the European Conference on Logics in Artificial Intelligence (JELIA 2021), 17–20.5.2021, Klagenfurt, presentation online: “An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics”
100th Workshop on General Algebra (AAA100), 5–7.2.2021, Kraków, attending online
QuantLA Workshop, 5–7.10.2020, Dresden, presentation online: “Algebraic characterisations of p-admissibility”
CSP World Congress II, 20–26.9.2020, Völs am Schlern, attending
33rd International Workshop on Description Logics (DL 2020), 12–14.9.2020, Rhodes, presentation online: “Description logics with concrete domains and general concept inclusions revisited”
35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020), 8–11.7.2020, Saarbrücken, presentation online: “Temporal constraint satisfaction problems in least fixed-point logic,” Best Video Award
10th International Joint Conference on Automated Reasoning (IJCAR 2020), 29.6.2020–6.7.2020, Paris, presentation online: “Description logics with concrete domains and general concept inclusions revisited”
99th Workshop on General Algebra (AAA99), 21–23.2.2020, Sienna, presentation: “Description logics with concrete domains and general concept inclusions revisited”
QuantLA Research Seminar, 19.11.2019, Dresden, presentation: “Temporal constraint satisfaction problems in least fixed-point logic”
Workshop Logic in Computer Science, 21–22.10.2019, Jena, presentation: “Temporal constraint satisfaction problems in least fixed-point logic”
QuantLA Workshop, 7–11.10.2019, Stolpen, presentation: “User-Definable Concrete Domains”
QuantLA Research Seminar, 2.7.2019, Dresden, presentation: “User-Definable Concrete Domains”
98th Workshop on General Algebra (AAA98), 21–23.6.2019, Dresden, attending
QuantLA Spring school, 25–29.3.2019, Krippen, attending
97th Workshop on General Algebra (AAA97), 1–3.3.2019, Vienna, presentation: “Temporal constraint satisfaction problems in least fixed-point logic”
Seminar KAFKA, 17.10.2018, Prague, presentation: “Temporal constraint satisfaction problems in least fixed-point logic”
96th Workshop on General Algebra (AAA96), 1–3.6.2018, Darmstadt, attending
Teaching
Exercises Algebra 1, Sommersemester 2023, TU Wien
Exercises Algebra 2, Wintersemester 2023/24, TU Wien
Master's Thesis supervision: Paul Winkler, “On the Descriptive Complexity of Phylogeny Constraint Satisfaction Problems”, TU Wien, 2024
