Algorithmic Model Theory Meeting 2015
February 26-27, Bayreuth
The Algorithmic Model Theory Meeting (AlMoTh) takes place on an annual basis and offers an opportunity for researchers to present and exchange thoughts about logic, finite structures, finite model theory, and related fields. The 2015 edition is organised in Bayreuth, in the building shown below. The picture is taken from the perspective of the nearest bus stop.
The workshop takes place
- - Thursday, February 26th, 14:00 - 18:00, Room H33, building "Angewandte Informatik"
- - Friday, February 27th, 9:00 - 12:30, Room H33, building "Angewandte Informatik"
On Friday, we are planning early-bird coffee & tea from 8:30 until 9:00.
More details can be found in our program.
Reaching us / Public Transport
Unfortunately, there is no direct bus connection from the main train station to the university. Direct connections are by taxi only.
In order to reach us by bus, you should try to reach the central bus station "ZOH" first (< 1 km from Bayreuth Hbf) and then bus 304 or 306 to the university and exit at bus stop Uni-Verwaltung. This information is also covered in the AlMoTh Survival Guide.
You can check connections at vgn.de/en. Just use "Bayreuth, Hauptbahnhof" and "Bayreuth, Uni-Verwaltung" as start and destination
In Bayreuth Mensa, the only supported payment method is using Uni Bayreuth cards. If you want to go to Mensa on Thursday, please meet us on 13:00 at the entrance of the computer science building. We will go there as a group. You can use our cards and reimburse us.
If you plan to attend AlMoTh 2015, please register by sending an email to
with "AlMoTh 2015 Registration" in the subject.
If you register, we know that we should prepare a name tag for you and reserve a seat for you at the AlMoTh dinner.
We compiled a list of suitable hotels for AlMoTh. You'll find the hotels and the prices for single rooms at the AlMoTh'15 Google Map.
Some of the hotels offer you to do a reservation under "Uni-Konditionen". Please click the yellow pointers on the map for more information.
The annual AlMoTh dinner will take place at restaurant "Oskar's" in the city center (see hotel map).
News about the 2015 meeting will appear on this web site and announced on a mailing list.
If you are currently not on the las-almoth mailing list, you can find general information here.
Questions about AlMoTh 2015 can be directed to Wim Martens.