Symmetric Algebraic Circuits and Homomorphism Polynomials (video) ITCS 2026, Milan Symmetric Proofs in the Ideal Proof System Oxford Proof Complexity Workshop 2025 Limitations of Affine CSP Algorithms ICALP 2025, Aarhus Symmetric Algebraic Circuits and Homomorphism Polynomials FMT Workshop 2025, Les Houches Limitations of Affine CSP Algorithms (long version) CSP World Congress 2024, Colfosco Limitations of Game Comonads for Invertible-Map Equivalence CSL 2024, Naples On logic in complexity theory, and birds and frogs Logic Mentoring Workshop @ CSL 2023, Warsaw Lower bounds for Choiceless Polynomial Time via XOR-circuits Highlights of Logic, Games and Automata 2023, Kassel A Finite-Model-Theoretic View on Propositional Proof Complexity Simons Online Workshop 2021 on Theoretical Foundations of SAT/SMT Solving
