2026
2025
- A gentle introduction to the categorical approach to CSP,
MFO Oberwolfach 2551: Homogeneous Structures, Germany, 14–19 December 2025.
- Homotopy theory in the complexity of homomorphism problems,
TopOx Seminar, Oxford, UK, 27 November 2025.
(slides)
- A topological proof of the H-colouring dichotomy,
Liverpool Discrete Mathematics Colloquium, Liverpool, UK, 2–3 September 2025.
- A categorical perspective on constraint satisfaction,
Category Theory 2025, Brno, 14–19 July 2025.
(slides) (paper)
- Homotopy and the complexity of homomorphism problems,
Logic Colloquium 2025 (special session on Logic in Computer Science), Wien, Austria, 7–11 July 2025.
(slides)
- A topological approach to CSPs and some algebraic consequences (invited talk),
AAA107, Bern,
Switzerland, 20–22 June 2025.
(slides)
- A topological proof of the H-colouring dichotomy, Finite and Algorithmic
Model Theory 2025, Les Houches, France, 25–30 May
2025.
- An introduction to homomorphism complexes, Dagstuhl Serminar 25211: The
Constraint Satisfaction Problem, Germany,
18–23 May 2025.
- Homotopy and complexity of graph colouring (invited talk), BCTCS
2025, Glasgow, Scotland, 14 Apr
2025.
(slides)
- How are we secretely using category theory while proving hardness of
satisfying constraints,
Dagstuhl Seminar 25141: Categories for Automata and Language
Theory, 3 Apr 2025.
(paper)
2024
- Local consistency as a reduction between constraint satisfaction problems,
LICS 2024, Tallinn, Estonia, 11 Jul 2024.
(slides)
- NP-hardness of promise colouring graphs via homotopy,
TACL 2024, Barcelona, Spain, 2 Jul 2024.
(slides)
2023
2022
- Topological characterisation of varieties with meet-semidistributive
congruences, Panglobal Algebra and Logic Seminar (PALS), online, 15 Nov
2022.
(abstract & video)
(notes)
- Datalog reductions between constraint satisfaction problems, Structure
Meets Power 2022 (ICALP 2022 Workshop), Paris, France, 4 Jul 2022.
(slides)
- An introduction to promise CSP, free structures, and minions (invited
tutorial), Dagstuhl Seminar 22201: The Constraint Satisfaction
Problem, 16 May 2022.
2021
- Algebraic topology and constraint satisfaction, AAA 101, online, 4–6 June,
2021.
(slides)
- Promises, constraint satisfaction, and problems: Beyond universal
algebra (invited tutorial), AAA 100, online, 6–7 Feb, 2021.
(slides/part i)
(part ii)
until 2020
- The future of promises,
CSP World Congress 2020, Völs am
Schlern, Italy, 21 Sep, 2020.
- The complexity of 3-colouring H-colourable graphs, FOCS 2019, Baltimore,
US, 12 Nov, 2019.
(video on yt)
(slides)
- Promise constraint satisfaction (invited talk), SSAOS, Špindlerův mlýn,
Czech Republic, 4 Sep, 2018.
(slides)
- Blockers of linear Mal’cev conditions (invited talk), First Algebra
Week, Siena, Italy, 20 Jun, 2018.
- An algebraic view on promise constraint satisfaction and hardness of
coloring a d-colorable graph with 2d − 1 colors, Dagstuhl Seminar 18231:
The Constraint Satisfaction Problem, 5 Jun
2018.
(slides)