Talks

Invited talks at conferences and workshops

• Coalgebraic Semantics of Reflexive Economics, Dagstuhl, 2015.
• Journées Courcelle, Bordeaux, 2012.
• Finite Model Theory, Les Houches, 2012.
• Journées Complexité et Modèles Finis, Paris, 2011.
• Logic, Combinatorics and Computation, Brno, 2010.
• Higher-Order Recursion Schemes & Pushdown Automata, Paris, 2010.
• ASL Winter Meeting, Special Session on Model Theoretic Methods in Finite Combinatorics, Washington, 2009.
• Logic and Algorithms, Edinburgh, 2008.
• Algorithmic-Logical Theory of Infinite Structures, Dagstuhl, 2007.
• Logic and Combinatorics, Szeged, 2006.
• Finitely Represented Infinite Graphs, Rennes, 2005.
• Workshop on Automata, Structures and Logic, Auckland, 2004.
• Automata, Logic, and Infinite Games, Dagstuhl, 2001.

Invited lectures and stays at universities

• Simons Institute, Berkley, 2016
• University of Paris 7, 2014.
• University of Warsaw, 2014.
• University of Paris 7, 2013.
• University of Paris 7, 2011.
• Université Bordeaux 1, 2011.
• Université Paris 7, 2011.
• Kurt Gödel Research Center, Wien, 2011.
• Université Bordeaux 1, 2009.
• RWTH Aachen, 2008.
• University of Paris 7, 2008.
• University of Dresden, 2003.