Dagstuhl Seminar 18051 Proof Compexity, Schloss Dagstuhl, Germany.

KGRC Forschungsseminar, Universität Wien, Austria.

Algebra Seminar, TU Wien, Austria.

Barcelona Set Theory Seminar, Universitat de Barcelona, Spain.

Departamento de Lenguajes y Sistemas Informaticos, Facultad de Informatica, UPV-EHU, San-Sebastian (Donostia), Spain.

Departamento de Lenguajes y Sistemas Informaticos, Facultad de Informatica, UPV-EHU, San-Sebastian (Donostia), Spain.

Habilitationsvortrag, Fakultät für Mathematik, Universität Wien, Austria.

Kurt Gödel Research Center (KGRC), University of Vienna, Austria.

Departamento de Lenguajes y Sistemas Informaticos, Facultad de Informatica UPV-EHU, San-Sebastian (Donostia), Spain.

BASICS 2015 Summer School, Logic Summer School in China 2015, Zhejiang Normal University, Jinhua, China.

Oberseminar Mathematische Logik, University of Freiburg, Germany.

Kurt Gödel Research Center (KGRC), University of Vienna, Austria.

Algorithmic Model Theory (AlMoTh), Uni Kassel, Germany, February 2014.

38th Mathematical Foundations of Computer Science (MFCS), IST Austria, Klosterneuburg, Austria, August 2013.

KGRC, Vienna, Austria, March 2013.

Algorithmic Model Theory (AlMoTh), TU Berlin, Germany, February 2013.

École Polytechnique, Laboratoire d'Informatique (LIX), Paris, France, February 2013.

Séminaire Complexité Logique et Informatique, Université Paris Diderot, Paris 7, France, February 2013.

7th International Symposium of Parameterized and Exact Computation, Ljubljana, Slovenia, September 2012.

Computability in Europe (CiE), Turing Centenary Conference, Cambridge, UK. June 2012.

Mini-Workshop on Logic, Proofs and Algorithms, Vienna Center for Logic and Algorithms (VCLA), Vienna, Austria, June 2012.

Kurt Gödel Research Center (KGRC), University of Vienna, Austria, April 2012.

Algorithmic Model Theory (AlMoTh), University of Ilmenau, Germany, February 2012.

Vienna Center of Logic and Algorithms (VCLA), Vienna, Austria. January 2012.

Kurt Gödel Research Center (KGRC), University of Vienna, Austria, October 2011.

Proof Complexity workshop, Banff International Research Station (BIRS), Banff, Canada. October 2011.

Infinity Conference, Centre de Resecra Matematica (CRM), Bellaterra (Barcelona), Spain. July 2011.

Computability in Europe (CiE), Sofia, Bulgaria, June 2011.

Algorithmic Model Theory (AlMoTh), University of Leipzig, Germany, February 2011.

Prague Logic Seminar, Mathematical Institute, Academy of Sciences, Czech Republic, November 2010.

International Workshop Logical Approaches to Barriers in Computing and Complexity, University of Greifswald, Germany, February 2010.

International Workshop on Kernelization (WorKer'09), University of Bergen, Norway, September 2009.

Escuela de Matematicas, Universidad Industrial de Santander, Colombia, April 2009.

Interdisciplinary conference Faktum versus Fiktum on mathematics in literature, University of Freiburg, Germany, March 2009.

Mini-Symposium: Intractability and Cognitive Modelling, Radboud University Nijmegen, The Netherlands, June 2008.

3rd International Workshop on Parameterized and Exact Computation, Victoria, Canada, May 2008.

Algorithmic Model Theory (AlMoTh) , University of Freiburg, Germany, February 2008.

Department of Technology Management, University of Eindhoven, The Netherlands. June 2007.

Informatics Department, University of Bergen, Norway, June 2007.

2nd International Workshop on Parameterized and Exact Computation, Zürich, Switzerland, September 2006.

Algorithmic Model Theory (AlMoTh), RWTH Aachen, Germany, February 2006.