[TYPES/announce] LATA 2007: paper submission deadline extended
carlos.martin@urv.cat
carlos.martin at urv.cat
Tue Nov 28 16:01:38 EST 2006
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:
carlos.martin at 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
More information about the Types-announce
mailing list