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)