[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

PAPER SUBMISSION DEADLINE EXTENDED TO

DECEMBER 7, 2006        !!!!!

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

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

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 (St. Andrews)
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:

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: December 7, 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:

[EMAIL PROTECTED]

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

Reply via email to