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 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 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)