Automata and Algorithmic Logic

Stuttgart, 28-29 June, 2009 (satellite workshop of DLT09)

The workshop provides the opportunity to assess recent scientific advances and exchange ideas regarding the interplay of automata and logic. More specifically, the meeting will focus on recent developments in the inter-relation of monadic second order logic and automata, in automatic structures, and in the application of automata to semi-structured data.

The programme consists of invited talks by

as well as contributed talks. For that purpose, we invite submissions on the following topics (as well as related fields): Submissions in the form of an abstract of at most two pages should be sent to the organizers.

The workshop is supported by the ESF-programme AutoMathA. Therefore, we will provide funding for participants. There is no registration fee.

Important dates:


Workshop venue:

The workshop will take place at the Institut für Informatik (Computer Science Department) on the Vaihingen Campus, room 0.463 (ground floor) see the travel information on the DLT-webpage.


Send an email to Dietrich Kuske (second name at with your arrival and departure date.


We have reserved a limited number of rooms at the Telekom Tagungshotel Stuttgart, which is located only 200 meters from the workshop venue. A reservation form will be sent to all registered participants soon.

Travel information:

See the DLT-webpage.



Vereinigung von Förderern und Freunden der Universität Leipzig

PS: We do not plan to publish proceedings, but you might be interested in submitting to the special issue of the Central European Journal of Mathematics on Algorithmic model theory, edited by V. Goranko, D. Kuske, and W. Thomas.