28-29 June 2009
Stuttgart, Germany
Workshop "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 Balder ten Cate (Amsterdam) on
Transitive closure logic, nested tree walking automata, and XPath,
- by Bakh Khoussainov (Auckland) on
Proving non-automaticity, and
- by Christof Loeding (Aachen) on
Definability questions for MSO
as well as contributed talks. For that purpose, we invite submissions on the
following topics (as well as related fields):
- effective presentations of infinite structures
(e.g., automatic structures, rewriting graphs, Caucal's hierarchy,
model-theoretic transformations)
- algorithmic techniques for monadic second order logic and its fragments
(e.g., modal logics, temporal logics, mu-calculus)
- semi-structured data and automata
- automata and logics for verification
- relation between games, automata, and logics
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 speakers;
additional funding for, e.g., PhD-students can be applied for.
For further information, see
http://www.informatik.uni-leipzig.de/~lohrey/AAL.html
important dates:
- submission by 21 April, 2009
- notification by 28 April, 2009
- registration by 12 May, 2009
- workshop 28-29 June, 2009
organisers:
Thomas Colcombet (thomas.colcombet@liafa.jussieu.fr)
Dietrich Kuske (kuske@informatik.uni-leipzig.de)
Markus Lohrey (lohrey@informatik.uni-leipzig.de)
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"
(http://www.versita.com/science/mathematics/cejm/authors/special_issue/),
edited by V. Goranko, D. Kuske, and W. Thomas.