AutoMathA : from Mathematics to Applications
Topics of interest -- Sponsors -- Poster Download

The conference AutoMathA 2009 (Automata: from Mathematics to Applications) will be held in Liège, Belgium, on June 8-12, 2009. It follows the 2007 edition which was held in Mondello, Italy. We use the momentum of the conference to organise two joint events about automata: the week preceding this conference is dedicated to a school on "Combinatorics, Automata and Number Theory": CANT 2009.



AutoMathA 2009 is the main conference of the programme AutoMathA of the European Science Foundation. This five-year multidisciplinary programme (2005-2010), at the crossroads of mathematics, theoretical computer science and applications, gathers 14 European countries. The goal of AutoMathA is to propose a set of co-ordinated actions for advancing the theory of automata and for increasing its application to challenging scientific problems.

We will try to propose some grants to cover living expenses and/or travel expenses mainly for young researchers. Depending on the total number of applications, we should be able to cover totally or partially these expenses. But if the number of applications is too high, we will have to make a selection. If you are interested by such a grant, please contact us (write to "M (dot) Rigo (at) ulg (dot) ac (dot) be") and give us the following data: short cv, an estimate your travel expenses, estimated date of arrival and departure, are you still a Ph.D. student, or when did you get your Ph.D. ?, do you need full financial support or can your Institution help you partially ?

Topics of interest

The topics of the conference will range from the mathematical foundations of automata theory to the more recent applications. The programme will include a mix of invited and contributed papers. All areas covered by the AutoMathA programme are welcome:

• Automata models
• Automata on words, infinite words, traces, trees, graphs, etc.
• Extended automata (alternating, probabilistic, with counters, stacks, hybrid, Max-Plus, etc.)
• Automata with output, transducers
• Fundamental aspects of the theory of automata
• Mathematical foundations: semigroups and algebra, topology, etc.
• Logic, circuits, etc.
• Algorithms on automata and words
• Languages and formal grammars
• Symbolic dynamics and coding
• Applications
• System analysis and verification
• Natural language processing, text and hypertext processing, information retrieval, data compression
• Control and Discrete Event Systems
• New challenges for automata theory (biology, mobile computing, quantum computing, tomography, picture processing, multi-sensor integration).

Poster: If you click on the picture, you will open a high-resolution image (ready for printing)