June 2026 S-unit equations in modules. 109th Workshop on General Algebra (AAA 109 + SAL 2026), Ljubljana, Slovenia [slides]
May 2026 Submonoid Membership, finite extensions, and lamplighter groups. North British Semigroups and Applications Network Meeting (NBSAN 40), Manchester, UK [slides]
April 2026 The Skolem Problem in rings of positive characteristic. Automata Theory Seminar, University of Warsaw, Poland
March 2026 Infinite groups: an interplay of automata, logic, and algebra. CIS@MPG Colloquium, MPI for Software Systems, Germany [slides]
July 2025 Submonoid Membership in n-dimensional lamplighter groups and S-unit equations. ICALP 2025, Aarhus, Denmark [slides]
July 2025 S-unit equations in modules. Workshop on Loop Invariants and Algebraic Reasoning, Aarhus, Denmark [slides]
June 2025 The Identity Problem in virtually solvable matrix groups over algebraic numbers. LICS 2025, Singapore [slides]
May 2025 S-unit equations and the Diophantine problem in abelian-by-cyclic groups. Workshop on Diophantine problems in one-relator inverse monoids, University of East Anglia, UK [slides]
January 2025 Linear equations with monomial constraints and decision problems in abelian-by-cyclic groups. SODA 2025, New Orleans, USA [slides]
December 2024 Submonoid Membership in n-dimensional lamplighter groups and S-unit equations. Semigroups, Automata and Languages seminar, University of Porto (online) [slides]
June 2024 Semigroup algorithmic problems in metabelian groups. STOC 2024, Vancouver, Canada [slides] [video]
March 2024 Decision problems in sub-semigroups of metabelian groups. Séminaire "Groupes et Géométrie", University of Geneva, Switzerland
January 2024 The Identity Problem for nilpotent groups of bounded class. SODA 2024, Alexandria, USA [slides]
November 2023 Decidability problems in infinite semigroups. Automata Theory Seminar, University of Warsaw, Poland
November 2023 Decision problems in sub-semigroups of metabelian groups. Group theory seminar, ENS Paris, France [slides] [video]
July 2023 Termination of linear loops under commutative updates. ISSAC 2023, Tromsø, Norway [slides]
July 2023 The Identity Problem in Z≀Z is decidable. ICALP 2023, Paderborn, Germany [slides] [video]
June 2023 The Identity Problem in the special affine group of Z^2. LICS 2023, Boston, USA [slides]
June 2023 Decision problems in sub-semigroups of metabelian groups. AG1 Mittagsseminar, MPI for Informatics, Germany
May 2023 Decision problems in sub-semigroups of metabelian groups. Logic Advanced Class, Mathematical Institute, University of Oxford, UK
May 2023 Decidability problems in infinite semigroups. Algorithmic Aspects of Dynamical Systems, Bellairs Research Institute, Barbados
March 2023 Semigroup intersection problems in the Heisenberg groups. STACS 2023, Hamburg, Germany [slides]
March 2023 Solving homogeneous linear equations over polynomial semirings. STACS 2023, Hamburg, Germany [slides]
October 2022 On the Identity Problem for unitriangular matrices of dimension four. RP 2022, MPI-SWS Kaiserslautern, Germany [slides]
October 2022 On the Identity Problem for unitriangular matrices of dimension four. OFCOURSE series, MPI-SWS Kaiserslautern, Germany
August 2022 On the Identity Problem for unitriangular matrices of dimension four. MFCS 2022, Vienna, Austria
May 2022 On the Identity Problem for unipotent matrix groups of nilpotency class at most ten. Verification series seminar, University of Liverpool, UK [slides]
March 2022 On the Identity Problem for unitriangular matrices of dimension four. IRIF verification seminar, Paris, France
October 2020 A new algorithm for finding the input-output equations of differential models. MAX team seminar, Ecole Polytechnique, France [slides]