2010

• Playing Games when States have Rich Structure, GT Jeux Meeting, Paris, 2010.
• Decomposition Theorems in Logic, Invited talk Celebrating the 100th Volume of Fundamenta Informaticæ, Warsaw, 2010.
• New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures, CSL, Brno, and similar at Games Meeting, Oxford, 2010. (Video file: automaton.ogg)
• Games with Structured States, LIAFA Seminar, Paris, 2010.
• Playing General Structure Rewriting Games, AGI, Lugano, 2010.

2009

• Playing Games when States have Rich Structure, Invited talk at STAR Workshop, Kanpur IIT, 2009.
• Playing Structure Rewriting Games with Formulas on States, AlgoSyn Seminar, Aachen, 2009.
• Cardinality quantifiers in MLO over trees, CSL, Coimbra, 2009.
• Synthesis for Structure Rewriting Systems, MFCS, High Tatras, 2009.
• Logic and Games on Automatic Structures, Beth Award, ESSLLI, Bordeaux, 2009.
• Structure Rewriting Games, LSV Seminar (Cachan), and similar at AAL Workshop (Stuttgart), 2009.
• Analyzing Structure Rewriting Systems, AlgoSyn Seminar (Aachen), and similar at Automat (Warsaw), 2009.

2008

• Analysis of Hypergraph Rewriting Systems, ZJP Seminar, Wrocław, 2008.
• Games Played with Hypergraphs, Games Meeting, Warsaw, 2008.
• Model Checking Games for the Quantitative mu-Calculus, Dagstuhl Seminar, 2008.
• Logic and Games on Automatic Structures, Aachen Informatk-Seminar, 2008.
• Hierarchical Games for Verification of Heap-Manipulating Programs, MOVES Seminar, Aachen, 2008.
• Quantitative Systems, Modal Logics and Games, AlgoSyn Seminar, Aachen, 2008.

2007

• Games with Hierarchical Information and Model Checking, Dagstuhl Seminar, 2007.
• Unfolding Parity Games, AlgoSyn Seminar, Rolduc, 2007.
• Hierarchical Information Games, Computer Science Seminar, Lausanne, 2007.
• Survey on Finite State Stochastic and Continuous Time Models, together with Daniel Willems, AlgoSyn Seminar, Rolduc, 2007.
• Countable omega-Automatic Structures, AlMoTh Meeting, Aachen, 2007.

2006

• Memory for Infinitary Games, AlgoSyn Seminar, Aachen, December 2006.
• Game Quantifier on Automatic Structures and Hierarchical Games, GAMES Meeting, Cambridge, and similar at CSL, Szeged, 2006.

2005

• Confluence of Right Ground Term Rewriting Systems is Decidable, FOSSACS, Edinburgh, 2005.

2004

• Game Reductions and FAR for Infinitary Games, GAMES Meeting, Bordeaux, 2004.
• Network Design with Selfish Agents, Dagstuhl Seminar, 2004.