**
Back & forth between malleable finite models**

Berkeley Logic Colloquium,
**Berkeley 2016**.

(extended material on slides to go with a blackboard talk)

**
Finite Global Realisations of Local Overlap Specifications
**

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**.

AlMoTh 18,

**
Cayley structures as generic epistemic models**

Logical Structures in Computation, Simons Institute reunion workshop,
**Berkeley 2017**.

**
Symmetry-preserving finite synthesis and amalgamation**

Workshop on Symmetry, Logic, Computation, Simons Institute,
**Berkeley 2016**.

**
Logics for bisimulation invariance**

Logical Structures Seminar, Simons Institute,
**Berkeley 2016**.

**
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 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*,
**Darmstadt 2004**.

** Back **
to my homepage

March 2018, M. Otto