Algorithmic Model Theory Meeting 2017


We have prepared a guide comprising directions, map excerpts, and the program in two variants: an electronic version and a print version.

Important Dates

 January, 31   Deadline for hotel reservations at special conference rate
February, 13
  Submission deadline for abstracts/talks
February, 25
  Registration deadline
March, 7/8   AlMoTh 2017


Date & Venue

The AlMoTh 2017 meeting will take place on March 7/8, 2017, just before STACS, at the Leibniz Universität Hannover.

 Time:   March 7/8, 2017
 Place:   Leibniz Universität Hannover, Appelstraße 4, Room 023
 Contact:   Christopher Spinrath Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein!


Directions to the meeting venue including a map may be found on the website of the Institute for Theoretical Computer Science. The talks will be held in room 023 of the institute's building.


Registration & Talks

  • If you plan to attend AlMoTh 2017, please send a short email with the term "AlMoTh 2017 Registration" in the subject to Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein! by February 25, 2017. Then we can prepare a name tag and reserve a seat for you at the AlMoTh dinner.
  • If you want to give a talk at AlMoTh 2017 (25 minutes), please send the title and a short abstract via email to Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein! by February 13, 2017.


On Tuesday, March, 7, at 8p.m. a joint dinner will take place at the Indian restaurant Himalaya.



A PDF version of the program including all abstracts can be downloaded here.

Program Tuesday, March 7


Julian Bitterlich

TU Darmstadt


Acyclicity, Simple Connectivity, and Unbranched Covers of Hypergraphs


Kord Eickmeyer

TU Darmstadt

FO model checking on map graphs


Nicole Schweikardt

Humboldt-Universität zu Berlin

First-order logic with counting: at least, weak Hanf normal forms always
exist and can be computed!


Coffee Break


Florian Bruse

Universität Kassel

The State of HFL Model-Checking


Felix Canavoi

TU Darmstadt

A Modal Characterisation Theorem for Common Knowledge Logic


Marco Voigt

Max-Planck-Institut für Informatik

A fine-grained hierarchy of complete problems in the separated
fragment of first-order logic


Coffee Break


Berit Grußien

Humboldt-Universität zu Berlin

Capturing Polynomial Time using Modular Decomposition


Roman Rabinovich

TU Berlin

Model-Checking for Successor-Invariant First-Order Formulas
on Graph Classes of Bounded Expansion


Sebastian Siebertz

TU Berlin

Polynomial Kernels and Wideness Properties of
Nowhere Dense Graph Classes


Coffee Break


Isolde Adler

University of Leeds

Property Testing for structures of bounded degree


Martin Ritzert

RWTH Aachen University

Learning first-order definable concepts over structures of small degree




Program Wednesday, March 8


Andre Frochaux

Humboldt-Universität zu Berlin 


Static Analysis of Monadic Datalog on Finite Labeled Trees


Erich Grädel

RWTH Aachen University

Provenance Analysis in Logic and Games


Matthias Niewerth

Universität Bayreuth

Enumeration of MSO Queries on Strings with Constant Delay
and Logarithmic Updates


Coffee Break


Christoph Berkholz

Humboldt-Universität zu Berlin

Answering Conjunctive Queries under Updates


Jens Keppeler

Humboldt-Universität zu Berlin

Answering FO+MOD queries under updates on bounded degree


Nils Vortmeier

TU Dortmund

Connecting AC1 and Dynamic Descriptive Complexity


Coffee Break


Martin Grohe

RWTH Aachen University

The Descriptive Complexity of Solving Linear Equation Systems and
its Applications


Daniel Neuen

RWTH Aachen University

An exponential lower bound for Individualization-Refinement
algorithms for Graph Isomorphism



You may book reserved rooms (shared with STACS) at a special conference rate until January 31, 2017, if you mention the keywords "STACS 2017". Please, note that you have to contact the hotel directly, either by email or using the contact form on the hotel's web page, and mention the keywords in order to receive the conference rate. We have reserved rooms at the following two hotels:


Mailing List

News about the AlMoTh 2017 meeting will appear on this website and announced on the las-almoth mailing list. If you are currently not on this mailing list, you may subscribe yourself here.



Arne Meier (Universität Hannover) and Christopher Spinrath (TU Dortmund)