Who am I?I am a mathematician. My research interests include model theory, universal algebra, theoretical computer science, and Ramsey theory. These are my ancestors. 




News
I am the principal investigator of project ``Oligomorphic clones'' of the Austrian Science Fund (FWF) carried out in the Universal Algebra Group of the Vienna University of Technology from 07/2017 until 01/2019 (and previously in the Theory and Logic Group, from 05/2015 until 06/2017). [project description] Currently employed in the project are my Ph.D. student Michael Kompatscher and postdocs Pierre Gillibert and Julius Jonušas. Future talks:
These are slides of some recent talks of mine.

Publications
Preprints of most publications can also be downloaded from the arXiv.org archive. 
Scientific talks given
2017/07  Oligomorphic clones (tutorial), Tianfu Universal Algebra workshop, SWUFE Chengdu, China. 
2017/06  The two dichotomy conjectures for infinite domain CSPs are equivalent, LICS 2017, Reykjavik. [slides] 
2017/05  Equations in algebras from omegacategorical structures, Algebra seminar, TU Wien. 
2017/03  Double shrinking PseudoSiggers, LIAFA, Paris 7. 
2017/02  Equations in oligomorphic algebras, 93rd Workshop on General Algebra, Bern. [slides] 
2016/10  Functions on homogeneous Ramsey structures (3 lectures), Ramsey DocCourse 2016, Charles University Prague. [poster] [Mike Pawliuk's notes] 
2016/07  The algebraic dichotomy conjecture for infinite domain constraint satisfaction problems, LICS 2016, New York City. [slides] 
2016/06  The algebraic dichotomy conjecture for infinite domain constraint satisfaction problems, Algebra Seminar, TU Wien. 
2016/05  The algebraic dichotomy conjecture for infinite domain constraint satisfaction problems, Arbeitstagung Allgemeine Algebra 92, Prague. 
2016/03  CSPs over homogeneous graphs, KAFKA seminar, Department of Algebra, Charles University Prague. 
2016/01  Projecting function clones, Czech Academy of Sciences. 
2015/12  Uniform Birkhoff, TU Dresden. 
2015/11  Conjectures for clones over finitely bounded homogenous structures at the workshop Homogeneous Structures, Banff International Research Station [pdf] 
2015/10  Uniform Birkhoff at the workshop Duality in Computer Science, Schloss Dagstuhl 
2015/10  Uniform Birkhoff in the KAFKA seminar, Department of Algebra, Charles University Prague. 
2015/09  New Topological Clones at LIAFA, Paris 7. 
2015/07  Topological Clones at the LMS Durham Research Symposium Permutation Groups and Transformation Semigroups (2 lectures) [pdf] 
2015/07  Constraint satisfaction problems on Knfree graphs at the workshop The Constraint Satisfaction Problem: Complexity and Approximability, Schloss Dagstuhl 
2015/06  Topological Clones in Constraint Satisfaction at the conference Topology, Algebra, and Categories in Logic, Ischia, Italy [poster] [SLIDES] 
2014/11  Constraint Satisfaction on infinite domains (tutorial) at Algebraic and Model Theoretical Methods in Constraint Satisfaction, Banff International Research Station. [pdf 1] [pdf 2] [pdf 3] [videos] 
2014/11  Homogeneous structures: the older, the more descendants? at the University of Calgary. 
2014/11  Algebraic and model theoretic methods in constraint satisfaction at CUNY Logic Workshop, New York. [pdf] 
2014/10  Projective clone homomorphisms at STRUCO Meeting, Prague. [poster] 
2014/10  Algebraic and model theoretic methods in constraint satisfaction at the DocCourse, Prague. [pdf 1] [pdf 2] [pdf 3] [pdf 4] [poster] 
2014/07  Clones on Ramsey structures at the Algebra and Clones Fest, Prague. [pdf] 
2014/05  Reconstructing structures from their abstract clones at the ASL North American Annual Meeting (Special Session on Universal Algebra and CSPs), Boulder, Colorado. [pdf] 
2014/04  Decomposing function clones on infinite sets in the Algebra Seminar at University of Colorado, Boulder. 
2014/04  Introduction to Constraint Satisfaction over infinite structures at the Logic Seminar of the University of Colorado, Boulder [pdf]. 
2014/02  The topology of countable algebras, or: Polish clones at AAA 87, JKU Linz. 
2014/01  Topological Birkhoff and Constraint Satisfaction at LIAFA, Automates et Applications, Paris. 
2013/12  Reconstructing omegacategorical structures from their clones at Oberseminar mathematische Logik, Bonn. 
2013/11  Topological Birkhoff and reconstructing the random graph at the Hausdorff Research Institute for Mathematics, Bonn. 
2013/10  Reconstructing the topology of clones at Workshop on Homogeneous Structures (Hausdorff Research Institute for Mathematics, Bonn) [pdf]. 
2013/08  The 42 reducts of the random ordered graph at BLAST 2013: Boolean algebras, Lattices, Algebraic Logic, Set Theory, and Topology (Chapman University, Orange, California) [pdf slides] [pdf poster] 
2013/06  The 42 reducts of the random ordered graph at the Vienna University of Technology 
2013/06  The 42 reducts of the random ordered graph at the 4th Novi Sad Algebraic Conference  NSAC 2013 [pdf slides] [jpg poster] 
2013/05  Finitary aspects of reducts of homogeneous structures at Eötvös University, Budapest 
2012/11  Topological Birkhoff at the workshop The Constraint Satisfaction Problem: Complexity and Approximability, Schloss Dagstuhl [pdf] 
2012/07  TBA (=Topological Birkhoff and Applications) at the 2nd Workshop on Homogeneous Structures, Prague [pdf] 
2012/06  Lattices of subgroups of the symmetric group at the AAA 84, Dresden [pdf] 
2012/05  Schaefer's theorem for graphs, or: why to consult the infinite at times at the Tel Aviv University [pdf] 
2012/05  Reducts of the random partial order at the Université Lyon 1 
2012/03  Reducts of the random partial order at the Serbian Academy of Sciences and Arts, Belgrade 
2012/03  Reducts of Ramsey structures: the canonical approach at the University of Novi Sad [pdf] 
2012/03  Topological Birkhoff at the Technische Universität Wien 
2012/03  Reducts of the random partial order at the Kurt Gödel Research Centre, Vienna 
2011/12  Reducts of the random partial order at Paris 7  Diderot 
2011/11  Reducts of Ramsey structures: the canonical approach at AlbertLudwigsUniversität Freiburg [pdf] 
2011/10  Cooking with model theory, universal algebra and Ramsey theory in the complexity theory kitchen at Yeshiva University, New York [pdf] 
2011/08  Making the infinite finite: Polymorphisms on Ramsey structures at Workshop on Algebra and CSPs , Fields Institute, Toronto (pdf, audio mp3, Talk at Fields website) 
2011/07  Reducts of Homogeneous Structures I: the Ramsey Property at London Mathematical Society Northern Regional Meeting and Workshop on Homogeneous Structures, University of Leeds (pdf) 
2011/06  Constraint satisfaction with homogeneous templates at MALOA  From MAthematical LOgic to Applications, University of Leeds (pdf) 
2011/06  Schaefer's theorem for graphs at STOC 2011, San Jose, California (pdf, video mp4) 
2011/04  Decidability of definability at Eötvös University, Budapest 
2011/04  Clone vs. permutation group lattices at Eötvös University, Budapest 
2011/01  Ramsey clones and Schaefer's theorem for graphs in my habilitation colloquium at TU Wien (pdf) 
2011/01  Decidability of definability at TU Wien 
2010/10  Schaefer's theorem for graphs at Laboratoire d'Informatique de l'École Polytechnique (LIX), Palaiseau, France (pdf) 
2010/07  Functions on reducts of the random graph at Logic Colloquium 2010, Paris 7 Diderot (pdf) 
2010/06  Decidability of primitive positive definability at the Workshop on Algebra, Complexity, CSP, and sunshine, Centro de Algebra de Universidade de Lisboa (abstract) 
2010/06  Clones on homogeneous structures and Schaefer's theorem for graphs at ICAL 2010 (``Jardafest''), Prague (abstract / slides) 
2010/04  Reducts of homogeneous structures with the Ramseyproperty at TU Wien (pdf) 
2010/03  Reducts of homogeneous structures with the Ramseyproperty at Paris 7 (pdf) 
2009/10  Clones on the random graph: Towards Schaefer's theorem for graphs at at the RIMS research meeting on Logic and Algebra related to Computer Science, Kyoto 
2009/08  Structure in mappings on the random graph at NSAC09, Novi Sad (pdf) 
2009/06  All reducts of the random graph are modelcomplete in the Wiener Algebra Seminar at TU Wien 
2009/05  Mappings on the random graph at Université Claude Bernard, Lyon 
2009/01  Clones on infinite sets: Interactions with Set theory and Model theory at Paris 7 (pdf) 
2008/11  Closed permutation groups and reducts of relational structures at Université de Caen 
2008/10  Unterverbände des lokalen Klonverbandes in the Wiener Algebra Seminar at TU Wien 
2008/08  Many independent equality constraints at SSAOS 2008 in Trest, Czech Republic (pdf) 
2008/07  Monoidal intervals and algebraic lattices beyond ZFC at the RIMS research meeting on Clone Theory and Discrete Mathematics in Kyoto 
2008/05  Sublattices of the lattice of local clones at ROGICS'08 in Mahdia, Tunisia (pdf) 
2008/05  Clones on infinite sets at Université de Caen 
2007/11  Applied Algebra 3: Further reducts of relational structures at TU Wien 
2007/11  Sublattices of the clone lattice at Technische Universität Graz 
2007/10  Reducts of relational structures and local clones in the Kafka seminar at Univerzita Karlova, Prague 
2007/10  Clones I have met since 2004 in the legendary Trnková seminar at Univerzita Karlova, Prague 
2007/10  Applied Algebra 2: Reducts of relational structures, CSP and local clones at TU Wien 
2007/06  The reducts of (N,=) at OAL2007 in Nashville, Tennessee (pdf) 
2007/06  Clones from ideals at the AAA 74 in Tampere (pdf) 
2007/05  Clones in universal algebra in the lecture series ``Wissenswertes aus der Mathematik'' held at TU Wien (pdf) 
2007/03  Cardinalities of intervals in the clone lattice at TU Wien 
2007/02  Local clones containing the permutations at the AAA 73 in Klagenfurt 
2007/01  The Constraint Satisfaction Problem and local clones at TU Wien 
2006/11  An introduction to clones at the HumboldtUniversität zu Berlin 
2006/06  Algebraische Verbände sind Unterverbände von Klonverbänden in the Wiener Algebra Seminar at TU Wien (pdf) 
2006/06  Algebraic lattices are complete sublattices of the clone lattice over an infinite set at the AAA 72 in Budapest (pdf) 
2006/02  Intervals of the clone lattice at the Warsaw University of Technology 
2006/02  The minimal clones above the permutations at the AAA 71 in Bedlewo, Poland (pdf) 
2005/08  Monoids above the permutations at the International Algebraic Conference in Ekaterinburg (pdf) 
2005/07  Lattices of order ideals as monoidal intervals at NSAC'05 in Novi Sad (pdf) 
2005/07  Monoids above the permutations at the conference on Universal Algebra and Lattice Theory in Szeged (pdf) 
2005/06  The clone generated by all binary twovalued operations: An application of infinite to finite clone theory at RIMS in Kyoto 
2005/06  A survey of clones on infinite sets at RIMS in Kyoto 
2005/06  The interval above the clone T2 at Meiji University Tokyo 
2005/01  The clone lattice: Introduction and partition at International Christian's University Tokyo 
Older Talks 