posted by user: grupocole || 4077 views || tracked by 4 users: [display]

AutoMathA 2015 : Jewels of Automata: from Mathematics to Applications

FacebookTwitterLinkedInGoogle

Link: http://www.automatha.uni-leipzig.de
 
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
www.automatha.uni-leipzig.de


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:
automatha@informatik.uni-leipzig.de

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


*Registration*

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:
automatha@informatik.uni-leipzig.de

Deadline for registration: March 15, 2015

Participants with few support from their institutions can apply
for limited support. Applications should be sent to
automatha@informatik.uni-leipzig.de

Deadline for applications for financial support: Feb 28, 2015


*Contact*

Manfred Droste: droste@informatik.uni-leipzig.de or
Werner Kuich: kuich@tuwien.ac.at or
Jean-Eric Pin: Jean-Eric.Pin@liafa.univ-paris-diderot.fr or
Wolfgang Thomas: thomas@automata.rwth-aachen.de

*Further information*

http://www.automatha.uni-leipzig.de

Related Resources

From Stage to State 2026   International Conference From Stage to State: Grassroots Culture, Arts, and Cultural Spaces for Political Participation and Expression in a Resilient Europe
COCOON 2026   The 32nd International Computing and Combinatorics Conference
WAML-HPC 2026   3rd Workshop on Applications of Machine Learning and Artificial Intelligence in High-Performance Computing
IJRAP 2026   International Journal of Recent advances in Physics
ACM CETA 2026   ACM--2026 5th International Conference on Computer Engineering, Technologies and Applications (CETA 2026)
ICTAC 2026   International Colloquium on Theoretical Aspects of Computing
CETA 2026   ACM--2026 5th International Conference on Computer Engineering, Technologies and Applications (CETA 2026)
Springer ISDEA 2026   Springer--2026 5th International Conference on Intelligent Systems Design and Engineering Applications (ISDEA 2026)
ISDEA 2026   Springer--2026 5th International Conference on Intelligent Systems Design and Engineering Applications (ISDEA 2026)
Submit to Sapere Aude 2026   Sapere Aude Call for Papers