Dear Colleague, I would like to inform you that the deadline for the submission to the conference AutoMathA 2007, has been extended to February 9, 2007. Please, note that, in addition to original contribution not submitted or published elsewhere, the Program Committee will consider for acceptance papers which offer new perspectives on already published or submitted results. Also papers offering a systematization or critical survey of contemporary research are welcome. The goal of the conference is to provide the opportunity of exchange of information and discussion about developments of the theory of automata and its application to scientific problems. As you can see in the attached call for papers, the topics of the conference will range from the mathematical foundations of automata theory to the more recent applications. Best Regards, Antonio Restivo --------------------------------------------------------------------------------------- -- Conference AutoMathA 2007 - Call for Papers -- Conference AutoMathA 2007 Automata: from Mathematics to Applications June 18-22, 2007 - Hotel La Torre, Mondello Palermo, ITALY http://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: February 9th, 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. Submissions: Authors are invited to submit an extended abstract presenting original research concerning the topics of the conference. In addition to original contribution not submitted or published elsewhere, the Program Committee will consider for acceptance papers which offer new perspectives on already published or submitted results. Also papers offering a systematization or critical survey of contemporary research are welcome. 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: ama07@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 deadline for the submissions has been extended to February 9, 2007. 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 http://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