Algorithmic Model Theory 2013

February 25 & 26, Berlin

AlMoTh is an annual workshop, see here for further information. In 2013, it will take place at the Technische Universität Berlin.

Contact

Stephan Kreutzer
Technische Universität Berlin
Institut für Softwaretechnik und Theoretische Informatik
Lehrstuhl für Logik und Semantik
Sekr TEL 7-3
Ernst-Reuter-Platz 7
10587 Berlin, Germany
Phone: +49 30 314 29088
stephan.kreutzer@tu-berlin.de