Algorithmic Model Theory 2020

Algorithmic Model Theory 2020

The next annual meeting on Algorithmic Model Theory (AlMoTh) will take place on March 26/27 (Thu./Fri.), 2020, at TU Darmstadt.


AlMoTh will take place on the central campus, in Hochschulstraße 6.

Talks will take place in lecture hall S2|07-167 (Herzberg-Hörsaal), tea and coffee will be served in room S2|08-71.

The central campus is easily accessible by public transport, RMV, within 5 minutes walking distance of the bus/tram stops “Willy-Brandt-Platz”, “Schloss”, “Luisenplatz”, and “Alexanderstraße/TU”.

A printer-friendly map of TU premises in central Darmstadt can be downloaded here


We strongly recommend booking hotels well in advance, as Darmstadt hotels can become very crowded and expensive during trade fairs and other events in Frankfurt.

The following hotels are close to central campus:

Those hotels marked with (*) offer special discounts for guests of TU Darmstadt; just mention that you are here for a TU event.

Among hotels farther away from the city centre there are

Getting There

There is a convenient half-hourly bus connection from Frankfurt airport directly to the city centre, so it might be worthwhile to take a train to Frankfurt airport and then change to the bus (called “AirLiner”) to ”Convention Centre”.

From Darmstadt central station you can take trams 2, 3, and 5 or busses H, L, and K to Luisenplatz and walk from there. Information about local transport (including the AirLiner) can be found on the webpage of Rhein-Main-Verkehrsverbund (RMV). Note that a one-day pass is cheaper than two single rides.

The buildings are located in Hochschulstraße.