Logic List Mailing Archive

LATA 2007: 1st International Conference on Language and Automata Theory and Applications, Tarragona (March-April 2007)

2nd Call for Papers

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

Tarragona, Spain, March 29 - April 4, 2007

http://www.grammars.grlmc.com/LATA2007/
---------------------------------------------------------------

AIMS:

LATA 2007 intends to become a major 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
- 2 invited tutorials
- refereed contributions
- open sessions for discussion in specific subfields
- young sessions on professional issues

INVITED SPEAKERS:

Volker Diekert (UStuttgart), Equations: From Words to Graph Products
(tutorial)

Nissim Francez & Michael Kaminski (Technion), Extensions of Pregroup
Grammars and Their Correlated Automata

Eric Graedel (RWTH Aachen), Infinite Games (tutorial)

Neil Immerman (UMass, Amherst), Nested Words

Helmut J?rgensen (UWestern Ontario), Synchronization and Codes (tentative
title)

PROGRAMME COMMITTEE:

Francine Blanchet-Sadri (Greensboro)
Paola Bonizzoni (Milan)
Henning Bordihn (Potsdam)
John Brzozowski (Waterloo)
Erzsebet Csuhaj-Varju (Budapest)
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 (Saint-Etienne)
Markus Holzer (Munich)
Lucian Ilie (London, Canada)
Masami Ito (Kyoto)
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 (Turku)
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. Submissions have to be sent
through the web page:

http://www.easychair.org/LATA2007/

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 in due time.

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

FUNDING:

Forty 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, 2006
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

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