18-22 June 2007
Palermo, Italy
=09=09-- Conference AutoMathA 2007 - Call for Papers --
=09=09=09Conference AutoMathA 2007
=09=09Automata: from Mathematics to Applications
=09=09June 18-22, 2007 - Hotel La Torre, Mondello
=09=09=09 =09Palermo, ITALY
=09=09=09http://www.math.unipa.it/~ama07
Program Committee:
Jean Berstel
Mikolaj Bojanczyk
Stefano Crespi Reghizzi (co-chair)
Javier Esparza
Zoltan F?l?p
Hendrik Jan Hoogeboom
Juraj Hromkovic
Jarkko J. Kari
Nils Klarlund
Michal Kunc
Markus Lohrey
Mark-Jan Nederhof
Jean-Eric Pin (co-chair)
Alexander Rabinovich
Antonio Restivo (chair)
Michel Rigo
G?raud S?nizergues
Pedro Ventura Silva
Benjamin Steinberg
Mikhail Volkov
Thomas Wilke
Pierre Wolper
Organizing Committee:
G. Castiglione
C. Epifanio
A. Gabriele
S. Mantaci
A. Restivo (chair)
M. Sciortino
---------------------------------------------------------------------------
----
Important Dates:
Submission: January 25th, 2007
Notification: March 25th, 2007
---------------------------------------------------------------------------
----
The conference AutoMathA 2007 (Automata: from Mathematics to Applications)
will
be held in Mondello, near Palermo, Italy, on June 18-22, 2007.
AutoMathA 2007 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 comput
er
science and applications, gathers 14 European countries.
The goal of AutoMathA is to propose a set of co-ordinated actions for advan
cing
the theory of automata and for increasing its application to challenging
scientific problems.
See http://www.esf.org/automatha for more details.
Topics of interest:
The topics of the conference will range from the mathematical foundations o
f
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:
(A) 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
(B) 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
(C) 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.
We particularly welcome contributions from the areas of the workshops
and exchanges sponsored by AutoMathA (see http://www.esf.org/automatha
for more details).
Presentations describing applications in compilation, natural language
processing, software and system security and verification, biology,
image processing, and others are welcome, provided they feature
original theoretical aspects or new uses of theory.
A partial financial support might be available for some participants,
in particular for PhD students. More details will be given in due time
on the web page of the conference.
Submissions:
Authors are invited to submit an extended abstract presenting original rese
arch
concerning the topics of the conference. Notice that simultaneous
submission to other conferences or journals is permitted.
The extended abstract should not exceed 12 single-spaced pages
(including all tables, figures and references) on
A4 paper. If appropriate, proofs should be attached in an appendix.
Please, submit your extended abstract as a postscript (.ps) or a pdf (.pdf)
file by email (write in the subject-line "AutoMathA 2007 submission" ) to t
he
following address:
=09=09=09ama07@math.unipa.it
Name your file as NameKeyword.ps or NameKeyword.pdf where Name is the last
name
of the corresponding author, and the Keyword is a significant word from you
r
extended abstract title. Once the submission is received, an e-mail
acknowledgment will be sent to the author within 24 hours.
The conference will only distribute to participants the extended
abstracts of contributed and invited papers. Notice that in the future
AutoMathA may decide to publish an edited book, with selected papers from
the conference.
Detailed information about every aspect related to AutoMathA 2007 will be
published soon on the conference web site
=09=09http://www.math.unipa.it/~ama07
Conference site:
The conference will be held in Mondello, a pretty beach resort only a few
kilometres up the coast from Palermo. It extends around the small bay enclo
sed
by mounts Gallo and Pellegrino. The town began life as a village of fisherm
en
most engaged in the local tuna fishery. Mondello shore is most attractive,
characterized by crystal-like waters and uncontaminated sea-floors with ric
hest
underwater vegetation and caves.
Contacts:
e-mail: ama07@math.unipa.it