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