talks

Hierarchies and reductions, CSP World Congress 2026, Livigno, Italy, 13–19 September 2026.
Homotopy theory in complexity of the graph homomorphism problem (invited talk), MFCS 2026, Paris, France, 24–28 August 2026.
Tutorial on an algebraic approach to constraint satisfaction, Semantics and compositionality for expressiveness and complexity (ESSLLI 2026 Workshop), Prague, Czechia, 10–14 August 2026.

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.
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.
A topological approach to CSPs and some algebraic consequences (invited talk), AAA107, Bern, Switzerland, 20–22 June 2025.
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.
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)

Local consistency as a reduction between constraint satisfaction problems, LICS 2024, Tallinn, Estonia, 11 Jul 2024.
NP-hardness of promise colouring graphs via homotopy, TACL 2024, Barcelona, Spain, 2 Jul 2024.

NP-hardness of colouring certain graphs with 3 colours via homotopy Midlands Graduate School Christmas Seminar, Birmingham, UK, 14 Dec 2023.
An invitation to promise constraint satisfaction, Resources and Co-resources, Cambridge, UK, 18 Jul 2023. (slides)

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.
An introduction to promise CSP, free structures, and minions (invited tutorial), Dagstuhl Seminar 22201: The Constraint Satisfaction Problem, 16 May 2022.

Algebraic topology and constraint satisfaction, AAA 101, online, 4–6 June, 2021.
Promises, constraint satisfaction, and problems: Beyond universal algebra (invited tutorial), AAA 100, online, 6–7 Feb, 2021.

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)
Promise constraint satisfaction (invited talk), SSAOS, Špindlerův mlýn, Czech Republic, 4 Sep, 2018.
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.