Logic List Mailing Archive

AutoMathA 2007, June 18-22, 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 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.

See http://www.esf.org/automatha for more details.


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:
  (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 research 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 the 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 your 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 enclosed by mounts Gallo and Pellegrino. The town began life
as a village of fishermen most engaged in the local tuna fishery. Mondello
shore is most attractive, characterized by crystal-like waters and
uncontaminated sea-floors with richest underwater vegetation and caves.


Contacts: e-mail: ama07@math.unipa.it