Martin Otto
Logic Group
Department of Mathematics
TU Darmstadt

back to homepage


Invited Talks (Conferences):

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.

Tutorials and Survey Talks:

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.

Seminar/Workshop Talks:

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.

Conference Talks:

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.

General Interest Talks:

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