Selected Invited Talks & Seminar Talks

2026
SMT Workshop Invited Talk FLoC, Lisbon, Portugal
2025
SYNASC & AVM Invited Talk Timisoara, Romania
Dagstuhl Seminar: Certifying Algorithms for Automated Reasoning Schloss Dagstuhl, Wadern, Germany
Seminar Talk Stanford University, CA, US
PolSys Seminar Sorbonne Université, Paris, France
2024
Colloquium Talk, Chair of Computer Architecture University of Freiburg, Germany
2023
Dagstuhl Seminar: SAT Encodings and Beyond Dagstuhl, Germany
Satisfiability: Theory, Practice, and Beyond Workshop Simons Institute, Berkeley, CA, US
2022
Dagstuhl Seminar: Theory and Practice of SAT and Combinatorial Solving Schloss Dagstuhl, Germany
Dagstuhl Seminar: New Perspectives in Symbolic Computation and Satisfiability Checking Schloss Dagstuhl, Germany & online
2021
Kolloquium GI Dissertationspreis Workshop Online
Beyond SAT Workshop, Simons Institute for the Theory of Computing Online
2020
IWSBP Keynote Online
2019
PLunch Talk Carnegie Mellon University, Pittsburgh, PA, USA
BARC Talk University of Copenhagen, Copenhagen, Denmark
2018
Theory Reading Group Meeting KTH Royal Institute of Technology, Stockholm, Sweden