posted by user: grupocole || 1509 views || tracked by 3 users: [display]

AutoMathA 2015 : Jewels of Automata: from Mathematics to Applications


When May 6, 2015 - May 9, 2015
Where Leipzig, Germany
Submission Deadline Jan 31, 2015
Notification Due Feb 28, 2015
Categories    theoretical computer science   automata theory

Call For Papers

Apologies for multiple copies of this announcement

Announcement and Call for Survey Lectures

AutoMathA 2015
Jewels of Automata: from Mathematics to Applications

Leipzig, May 6--9, 2015

The conference AutoMathA 2015 will survey a wide picture of
research in automata theory and related mathematical fields.
It will consist of 24 invited lectures which will describe
significant progress over the past years, and will be a
meeting point for both young and senior researchers to learn
and to discuss about automata theory, its connections with
mathematics and its applications.

This event is a follow-up of the multidisciplinary programme
Automata: from Mathematics to Applications (AutoMathA, 2005--2010)
of the European Science Foundation and of its final conference
"Highlights of AutoMathA" in Vienna 2010.

*Invited speakers*

Mikolaj Bojanczyk (Warsaw)
Patricia Bouyer-Decitre (Cachan)
Thomas Brihaye (Mons)
Thomas Colcombet (Paris)
Volker Diekert (Stuttgart)
Michael Elberfeld (Aachen)
Paul Gastin (Cachan)
Artur Jez (Saarbruecken)
Markus Lohrey (Siegen)
Cyril Nicaud (Marne-la-Vallee)
Thomas Schwentick (Dortmund)
Marinella Sciortino (Palermo)
Moshe Vardi (Houston)
James Worrell (Oxford)

*Program Committee*

Jorge Almeida (Porto)
Veronique Bruyere (Mons)
Manfred Droste (Leipzig)
Soren Eilers (Copenhagen)
Zoltan Esik (Szeged)
Marcin Jurdzinski (Warwick)
Juhani Karhumaeki (Turku)
Werner Kuich (Wien)
Filippo Mignosi (Aquila)
Damian Niwinski (Warsaw)
Jean-Eric Pin (Paris)
Olivier Serre (Paris)
Jeffrey Shallit (Waterloo)
Wolfgang Thomas (Aachen)
Mikhail Volkov (Ekaterinburg)
Igor Walukiewicz (Bordeaux)
Thomas Wilke (Kiel)

*Call for Survey Lectures*

The conference intends to have 24 lectures.
Presently, there are 10 open slots, and applications
for surveys are invited.

All lectures will have the same length of about 50 minutes
and will deal with significant progress over the past years.
They will serve as surveys on such recent work, not necessarily
focusing only on work of the speaker. There will be only
informal proceedings (with slides or texts); so the results
presented are usually already published (or accepted) elsewhere.

Submissions can be short abstracts with references,
outlines of talks or pointers to papers to be covered
in a lecture.

Please send your submission to:

Deadline for submissions: Jan 31, 2015
Notification: Feb 28, 2015


Due to support by the German Research Foundation (DFG),
this conference is *fee-free*.

However, registration is mandatory for participation.
Please send your name, affiliation and intended length of stay to:

Deadline for registration: March 15, 2015

Participants with few support from their institutions can apply
for limited support. Applications should be sent to

Deadline for applications for financial support: Feb 28, 2015


Manfred Droste: or
Werner Kuich: or
Jean-Eric Pin: or
Wolfgang Thomas:

*Further information*

Related Resources

AURO-DR 2017   Autonomous Robots special issue on Distributed Robots: From Fundamentals to Applications
IJBES 2016   International journal of Biomedical Engineering and Science
SmartMedDev 2017   Special Session on Smart Medical Devices - From Lab to Clinical Practice - SmartMedDev 2017
CMVIT 2017   2017 International Conference on Machine Vision and Information Technology (CMVIT 2017)
SCSN 2017   Fifth International Workshop on Semantic Computing for Social Networks and Organization Sciences: from user information to social knowledge
BIOEJ 2016   Bioscience & Engineering: An International Journal
IEA/AIE 2017 PGM Track 2017   IEA/AIE 2017 - Special Track on Graphical Models: from Theory to Applications
LATA 2017   11th International Conference on Language and Automata Theory and Applications
PETRA 2017   10th International Conference on PErvasive Technologies Related to Assistive Environments
DCFS 2017   19th International Conference on Descriptional Complexity of Formal Systems