Special Session on Computational Logic, DMV-PTM meeting, Poznan 2014.

**
Bisimulation and Coverings for Graphs and Hypergraphs**

5th Indian Conference on Logic and Its Applications, ICLA 2013,
Chennai 2013.

**
The Freedoms of Guarded Bisimulation**

Computer Science Logic ,
Bergen 2011.

**
Tractable Finite Models**

Logic Colloquium, Barcelona 2011.

**
Expressive Completeness**

Advances in Modal Logic 2010, Moscow 2010.

**
Bisimulation Invariance and Instances of Expressive Completeness**

12th International Congress of Logic,
Methodology and Philosophy of Science, LMPS, Oviedo 2003.

**
Invariances, Games, Models,
and (Finite) Model Theory in Tractable Fragments of FO**

**Colloquium Logicum**, Muenster 2002.

**
Bisimulation and Games: Model-Theoretic Aspects
Tutorial at PhDs in Logic VIII, Darmstadt 2016.
**

**
Bisimulation and Games for Graphs and Hypergraphs
Tutorial at
Games Winter School, Champery 2013.
**

**
Finite model constructions for guarded logics**

Finite and Algorithmic Model Theory 2012,
Les Houches 2012.

**
Games and Fragments of
FO over Special Classes of (Finite) Structures**

mini-course at
MATHLOGAPS summer school, Aussois 2007.

**
Model Theoretic Methods for Special Classes
of (Finite) Structures**

4 lecture tutorial,
*
Newton Institute Programme on Logic and Algorithms 2006*,

Workshop on Finite and Algorithmic Model Theory
, Durham 2006.

**
Logics - Invariances - Games :
domain specific algorithmic model theory**

Edinburgh 2001.

**
**

**
Amalgamation and symmetries in the finite**

Workshop on Model Theory of Finite and Pseudofinite Structures,
Leeds 2016.

**
Amalgamation and local-to-global in the finite with suitable groupoids**

New Pathways between Group Theory and Model Theory,
Mülheim 2016.

**
Up to bisimulation -- but keep it finite!**

Amsterdam 2015.

**
Local to Global: Amalgamation and Symmetries in Finite Structures**

Leeds Logic Seminar &
Algebra, Logic and Algorithms Seminar, Leeds 2015.

**
Groupoids, Hypergraphs, Symmetries**

AlMoTh~2013, TU Berlin 2013.

**
Tree unfoldings and their finite counterparts**

AlMoTh 2012,
Ilmenau 2012.

**
Methods For Deciding Boundedness of Least Fixed Points**

Fachgruppentreffen Logik in der Informatik, Frankfurt 2009;

and (edited) Computer Laboratory, Oxford 2009.

**
Bisimulation Invariance over Transitive Frames**

IMCS workshop on Logic and Algorithms, Edinburgh, July 2008.

**
Extensions of Partial Automorphisms;
Hypergraphs and Guarded Logics
**

Euresco Conference
on
Symmetries, Ordered Structures, Model Theory and
Combinatorics, Hattingen 2003.

**
Groupoids, Hypergraphs, and Symmetries of Finite Structures
LICS~2013, New Orleans 2013.
**

**
Highly Acyclic Groups, Hypergraph Covers and GF**

LICS 2010, Edinburgh 2010.

**
Boundedness in Universal First-Order Logic**

LICS 2006, Seattle 2006.

**
Unendlich? ∞ infinite?**

Fachvortrag zur
Hobit 2015, TU Darmstadt 2015.

**
Controlling Cycles in Finite Hypergraphs**

Monday Lecture: Methods for Discrete Structures,
Berlin 2011.

**
Diagonalen, die den Rahmen sprengen**

Begleitprogramm zur hessischen Mathe-Olympiade 2010, TU Darmstadt 2010.

**
Logik und Spiele**

*Mathematisches Kolloquium TU Darmstadt*,
February 2004 (in German).
** Back **
to my homepage

April 2016, M. Otto