Invited speaker at

Invited speaker at

DIMAP Seminar, Centre for Discrete Mathematics and its Applications, University of Warwick, UK, December, 2019.

Logic seminar, Institute of Mathematics of the Czech Academy of Science, Prague, Czech Republic, November, 2019.

ÖMG Conference (Austrian Mathematical Society), University of Applied Sciences Vorarlberg, Dornbirn, Austria, September, 2019.

Department of Computer Science, University of Oxford, UK, May 2019.

Barcelona Set Theory Seminar, Universitat de Barcelona, Spain, March 2019.

3rd workshop on Mathematical Logic and its Applications (MLA), Nancy, France, March 2019.

Barcelona Set Theory Seminar, Universitat de Barcelona, Spain, February 2019.

Kurt Gödel Research Center, Research Seminar, University of Vienna, Austria, January 2019.

Reading Seminar, Department of Mathematics, Universitat Politècnica de Catalunya, Barcelona, Spain, September 2018.

Dagstuhl Seminar 18051 Proof Compexity, Schloss Dagstuhl, Germany, January 2018.

18th Journées Combinatoire et Algorithmes du Littoral Méditerranéen (JCALM), Universitat Politècnica de Catalunya, Barcelona, Spain, January 2018.

Kurt Gödel Research Center (KGRC), Research Seminar, Universität Wien, Austria, December 2017.

Algebra Seminar, TU Wien, Austria, December 2017.

Barcelona Set Theory Seminar, Universitat de Barcelona, Spain, March 2017.

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

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

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

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

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

Oberseminar Mathematische Logik, University of Freiburg, Germany, February 2015.

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

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

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

Kurt Gödel Research Center (KGRC), Research Seminar, University of 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), Research Seminar, 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), Research Seminar, 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.