Logic List Mailing Archive

LATA 2007: Language and Automata Theoy and Applications, Tarragona, Spain, Mar/Apr 2007

*******************************************************************************

Call for papers

1st INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND
APPLICATIONS (LATA 2007)

Tarragona, Spain, March 29 - April 4, 2007

http://www.grlmc.com

*******************************************************************************

AIMS:

LATA 2007 intends to become a major yearly conference in theoretical
computer science and its applications. As linked to the International PhD
School in Formal Languages and Applications that is being developed at the
host institute since 2001, it will reserve significant room for young
computer scientists at the beginning of their career. LATA 2007 will aim
at attracting scholars from both classical theory fields and application
areas (bioinformatics, systems biology, language technology, artificial
intelligence, etc.).

SCOPE:

Topics of either theoretical or applied interest include, but are not
limited to:

- words, languages and automata
- grammars (Chomsky hierarchy, contextual, multidimensional, unification,
  categorial, etc.)
- grammars and automata architectures
- combinatorics on words
- language varieties and semigroups
- algebraic language theory
- computability
- computational, descriptional, communication and parameterized complexity
- patterns and codes
- regulated rewriting
- trees, tree languages and tree machines
- term rewriting
- graphs and graph transformation
- power series
- fuzzy and rough languages
- cellular automata
- DNA and other models of bio-inspired computing
- quantum, chemical and optical computing
- biomolecular nanotechnology
- automata and logic
- automata for verification
- automata, concurrency and Petri nets
- parsing
- weighted machines
- foundations of finite state technology
- grammatical inference and learning
- symbolic neural networks
- text retrieval and pattern recognition
- string and combinatorial issues in computational biology and bioinformatics
- mathematical evolutionary genomics
- language-based cryptography
- compression
- circuit theory and applications
- language theoretic foundations of artificial intelligence and artificial
  life

STRUCTURE:

LATA 2007 will consist of:

- 3 invited talks (to be announced in the second call for papers)
- 2 tutorials (to be announced in the second call for papers)
- refereed contributions
- open sessions for discussion in specific subfields
- young sessions on professional issues

PROGRAMME COMMITTEE:

Francine Blanchet-Sadri (Greensboro)
Paola Bonizzoni (Milan)
Henning Bordihn (Potsdam)
John Brzozowski (Waterloo)
Carsten Damm (Goettingen)
Nachum Dershowitz (Tel Aviv)
Pal Domosi (Debrecen)
Manfred Droste (Leipzig)
Zoltan Esik (Tarragona, co-chair)
Joerg Flum (Freiburg, Germany)
Jozef Gruska (Brno)
Tero Harju (Turku)
Colin de la Higuera (St. Etienne)
Markus Holzer (Munich)
Lucian Ilie (London, Canada)
Jarkko Kari (Turku)
Andre Kempe (Grenoble)
Jetty Kleijn (Leiden)
Satoshi Kobayashi (Tokyo)
Martin Kutrib (Giessen)
Thierry Lecroq (Rouen)
Stuart Margolis (Ramat Gan)
Carlos Martin-Vide (Tarragona, co-chair)
Risto Miikkulainen (Austin)
Victor Mitrana (Tarragona, co-chair)
Claudio Moraga (Dortmund)
Kenichi Morita (Hiroshima)
Mark-Jan Nederhof (Groningen)
Mitsunori Ogihara (Rochester)
Alexander Okhotin (Tarragona)
Friedrich Otto (Kassel)
Holger Petersen (Stuttgart)
Wojciech Rytter (Warsaw)
Kai Salomaa (Kingston, Canada)
Magnus Steinby (Turku)
Shuly Wintner (Haifa)
Detlef Wotschke (Frankfurt)
Hsu-Chun Yen (Taipei)
Sheng Yu (London, Canada)

ORGANIZING COMMITTEE:

Madalina Barbaiani
Gemma Bel-Enguix
Cristina Bibire
Carlos Cruz Reyes
Adrian Horia Dediu
Szilard Zsolt Fazekas
Maria Adela Grando
Mihai Ionescu
M. Dolores Jimenez-Lopez
Alexander Krassovitskiy
Guangwu Liu
Remco Loos
Carlos Martin-Vide (chair)
Tsetsegkhand Namsrai
Anthonath Roslin Sagaya Mary
Sherzod Turaev

SUBMISSIONS:

Authors are invited to submit papers presenting original and unpublished
research. Papers should not exceed 12 pages and should be formatted
according to the usual LNCS article style. One .pdf or postscript file
containing the submission is what the organizers expect to receive at
carlos.martin@urv.cat (with 'LATA 2007 submission' at the subject box).

PUBLICATION:

A volume of pre-proceedings will be available by the time of the
conference. It is expected that a refereed volume of selected proceedings
will be published soon after it in the LNCS Springer series.

REGISTRATION:

The period for registration will be since January 9 to March 29, 2007.
Details about how to register will be provided through the website of the
conference.

Early registration fees: 200 euros
Early registration fees (PhD students): 50 euros
Registration fees: 300 euros
Registration fees (PhD students): 75 euros

FUNDING:

40 grants covering partial-board accommodation in the university hostel will be available for nonlocal PhD students. To apply, the candidate must e-mail her/his CV together with a copy of the document proving her/his condition as a PhD student.

IMPORTANT DATES:

Paper submission: November 30, 2006
Application for funding (PhD students): December 15, 2006
Notification of funding acceptance or rejection: December 31, 2007
Notification of paper acceptance or rejection: January 31, 2007
Early registration: February 15, 2007
Final version of the paper for the pre-proceedings: February 28, 2007 
Starting of the conference: March 29, 2007
Submission to the proceedings volume: May 15, 2007

FURTHER INFORMATION:

carlos.martin@urv.cat

http://www.grlmc.com

ADDRESS:

LATA 2007
Research Group on Mathematical Linguistics
Rovira i Virgili University
Plaza Imperial Tarraco, 1
43005 Tarragona, Spain
Phone: +34-977-559543
Fax: +34-977-559597