From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 1A16B7ED88 for ; Tue, 11 Sep 2012 14:59:36 +0200 (CEST) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of grlmc@urv.cat) identity=pra; client-ip=193.144.16.77; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="grlmc@urv.cat"; x-sender="grlmc@urv.cat"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of grlmc@urv.cat designates 193.144.16.77 as permitted sender) identity=mailfrom; client-ip=193.144.16.77; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="grlmc@urv.cat"; x-sender="grlmc@urv.cat"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mta02.urv.cat) identity=helo; client-ip=193.144.16.77; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="grlmc@urv.cat"; x-sender="postmaster@mta02.urv.cat"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApcCAMY0T1DBkBBNa2dsb2JhbAAvFoUtWrVJIg0KDAcTBiKCGwEGEREGNQ8BBRoLHAIFCgIVAhEMBEgJGYUwSIFjIAeaJI5BgX6ROQSBHYRhhQ4DEQQDgmCCGYESA40diVSES40mgVgJ X-IronPort-AV: E=Sophos;i="4.80,404,1344204000"; d="scan'208";a="172683817" Received: from mta02.urv.cat ([193.144.16.77]) by mail1-smtp-roc.national.inria.fr with ESMTP; 11 Sep 2012 14:59:35 +0200 X-IronPort-AV: E=Sophos;i="4.80,404,1344204000"; d="scan'208";a="30623725" Received: from pmbox1.urv.cat ([193.144.16.40]) by mta.urv.cat with ESMTP; 11 Sep 2012 14:59:34 +0200 Received: from urv.cat (backend1.urv.cat [193.147.216.82]) by pmbox1.urv.cat (Postfix) with ESMTP id 17F0A1C04E; Tue, 11 Sep 2012 14:59:34 +0200 (CEST) Received: from [193.144.16.41] (Forwarded-For: [193.144.16.41]) by mbox1.urv.cat (mshttpd); Tue, 11 Sep 2012 14:59:34 +0200 From: URV - RESEARCH GROUP ON MATHEMATICAL LINGUISTICS To: grlmc@urv.cat Message-ID: Date: Tue, 11 Sep 2012 14:59:34 +0200 X-Mailer: Sun Java(tm) System Messenger Express 6.3-13.01 (built Sep 22 2010; 32bit) MIME-Version: 1.0 Content-Language: ca X-Accept-Language: ca Priority: normal Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable X-Validation-by: grlmc@urv.cat Subject: [Caml-list] LATA 2013: 2nd call for papers 7th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIO= NS LATA 2013 Bilbao, Spain April 2-5, 2013 Organized by: Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/LATA2013/ AIMS: LATA is a yearly conference in theoretical computer science and its applica= tions. Following the tradition of the International Schools in Formal Langu= ages and Applications developed at Rovira i Virgili University in Tarragona= since 2002, LATA 2013 will reserve significant room for young scholars at = the beginning of their career. It will aim at attracting contributions from= both classical theory fields and application areas (bioinformatics, system= s biology, language technology, artificial intelligence, etc.). VENUE: LATA 2013 will take place in Bilbao, at the Basque Country in Northern Spai= n. The venue will be the Basque Center for Applied Mathematics (BCAM). SCOPE: Topics of either theoretical or applied interest include, but are not limit= ed to: =E2=80=90 algebraic language theory =E2=80=90 algorithms for semi=E2=80=90structured data mining =E2=80=90 algorithms on automata and words =E2=80=90 automata and logic =E2=80=90 automata for system analysis and programme verification =E2=80=90 automata, concurrency and Petri nets =E2=80=90 automatic structures =E2=80=90 cellular automata =E2=80=90 combinatorics on words =E2=80=90 computability =E2=80=90 computational complexity =E2=80=90 computational linguistics =E2=80=90 data and image compression =E2=80=90 decidability questions on words and languages =E2=80=90 descriptional complexity =E2=80=90 DNA and other models of bio=E2=80=90inspired computing =E2=80=90 document engineering =E2=80=90 foundations of finite state technology =E2=80=90 foundations of XML =E2=80=90 fuzzy and rough languages =E2=80=90 grammars (Chomsky hierarchy, contextual, multidimensional, unific= ation, categorial, etc.) =E2=80=90 grammars and automata architectures =E2=80=90 grammatical inference and algorithmic learning =E2=80=90 graphs and graph transformation =E2=80=90 language varieties and semigroups =E2=80=90 language=E2=80=90based cryptography =E2=80=90 language=E2=80=90theoretic foundations of artificial intelligence= and artificial life =E2=80=90 parallel and regulated rewriting =E2=80=90 parsing =E2=80=90 pattern recognition =E2=80=90 patterns and codes =E2=80=90 power series =E2=80=90 quantum, chemical and optical computing =E2=80=90 semantics =E2=80=90 string and combinatorial issues in computational biology and bioi= nformatics =E2=80=90 string processing algorithms =E2=80=90 symbolic dynamics =E2=80=90 symbolic neural networks =E2=80=90 term rewriting =E2=80=90 transducers =E2=80=90 trees, tree languages and tree automata =E2=80=90 weighted automata STRUCTURE: LATA 2013 will consist of: =E2=80=90 invited talks =E2=80=90 invited tutorials =E2=80=90 peer=E2=80=90reviewed contributions INVITED SPEAKERS: Jin-Yi Cai (Madison), Complexity Dichotomy for Counting Problems Kousha Etessami (Edinburgh), Algorithms for Analyzing Infinite-state Recurs= ive Probabilistic Systems Jo=C3=ABl Ouaknine (Oxford), tutorial Discrete Linear Dynamical Systems Thomas Schwentick (Dortmund), Applications of Automata in Database Theory -= - Challenges to Automata Theory from Databases Andrei Voronkov (Manchester), The Lazy Reviewer Assignment Problem in EasyC= hair PROGRAMME COMMITTEE: Parosh Aziz Abdulla (Uppsala) Franz Baader (Dresden) Jos Baeten (CWI, Amsterdam) Christel Baier (Dresden) Gerth St=C3=B8lting Brodal (Aarhus) John Case (Delaware) Marek Chrobak (Riverside) Mariangiola Dezani (Torino) Rod Downey (Wellington) Ding-Zhu Du (Dallas) Ivo D=C3=BCntsch (Brock) E. Allen Emerson (Austin) Javier Esparza (Technical University Munich) Michael R. Fellows (Darwin) Alain Finkel (ENS Cachan) Dov M. Gabbay (King=E2=80=99s, London) J=C3=BCrgen Giesl (Aachen) Rob van Glabbeek (NICTA, Sydney) Georg Gottlob (Oxford) Annegret Habel (Oldenburg) Reiko Heckel (Leicester) Sanjay Jain (Singapore) Charanjit S. Jutla (IBM Thomas J. Watson) Ming-Yang Kao (Northwestern) Deepak Kapur (Albuquerque) Joost-Pieter Katoen (Aachen) S. Rao Kosaraju (Johns Hopkins) Evangelos Kranakis (Carleton) Hans-J=C3=B6rg Kreowski (Bremen) Tak-Wah Lam (Hong Kong) Gad M. Landau (Haifa) Kim G. Larsen (Aalborg) Richard Lipton (Georgia Tech) Jack Lutz (Iowa State) Ian Mackie (=C3=89cole Polytechnique, Palaiseau) Rupak Majumdar (Max Planck, Kaiserslautern) Carlos Mart=C3=ADn-Vide (Tarragona, chair) Paliath Narendran (Albany) Tobias Nipkow (Technical University Munich) David A. Plaisted (Chapel Hill) Jean-Fran=C3=A7ois Raskin (Brussels) Wolfgang Reisig (Humboldt Berlin) Micha=C3=ABl Rusinowitch (LORIA, Nancy) Davide Sangiorgi (Bologna) Bernhard Steffen (Dortmund) Colin Stirling (Edinburgh) Alfonso Valencia (CNIO, Madrid) Helmut Veith (Vienna Tech) Heribert Vollmer (Hannover) Osamu Watanabe (Tokyo Tech) Pierre Wolper (Li=C3=A8ge) Louxin Zhang (Singapore) ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Peter Leupold (Tarragona) Carlos Mart=C3=ADn=E2=80=90Vide (Tarragona, co-chair) Magaly Rold=C3=A1n (Bilbao) Bianca Truthe (Magdeburg) Florentina Lilica Voicu (Tarragona) Enrique Zuazua (Bilbao, co-chair) SUBMISSIONS: Authors are invited to submit papers presenting original and unpublished re= search. Papers should not exceed 12 single=E2=80=90spaced pages (including = eventual appendices) and should be formatted according to the standard form= at for Springer Verlag's LNCS series (see http://www.springer.com/computer/= lncs?SGWID=3D0-164-6-793341-0). Submissions have to be uploaded to: https://www.easychair.org/conferences/?conf=3Dlata2013 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS series will be av= ailable by the time of the conference. A special issue of a major journal will be later published containing peer= =E2=80=90reviewed extended versions of some of the papers contributed to th= e conference. Submissions to it will be by invitation. REGISTRATION: The period for registration is open from August 6, 2012 to April 2, 2013. T= he registration form can be found at the website of the conference: http://grammars.grlmc.com/LATA2013/ FEES: Early registration fees: 500 Euro Early registration fees (PhD students): 400 Euro Late registration fees: 540 Euro Late registration fees (PhD students): 440 Euro On=E2=80=90site registration fees: 580 Euro On=E2=80=90site registration fees (PhD students): 480 Euro At least one author per paper should register. Papers that do not have a re= gistered author who paid the fees by January 2, 2013 will be excluded from = the proceedings. One registration gives the right to present only one paper. Fees comprise access to all sessions, one copy of the proceedings volume, c= offee breaks and lunches. PAYMENT: Early (resp. late) registration fees must be paid by bank transfer before J= anuary 2, 2013 (resp. March 23, 2013) to the conference bank account: Uno-e Bank bank=E2=80=99s address: Julian Camarillo 4 C, 28037 Madrid, Spain IBAN: ES3902270001820201823142 BIC/SWIFT: UNOEESM1 account holder: C. Martin =E2=80=93 GRLMC account holder=E2=80=99s address: Av. Catalunya 35, 43002 Tarragona, Spain Please mention LATA 2013 and your name in the subject. A receipt will be pr= ovided on site. Remarks: - Bank transfers should not involve any expense for the conference. - People claiming early registration will be requested to prove that the ba= nk transfer order was carried out by the deadline. - PhD students will need to provide evidence of their status on site. People registering on site must pay in cash. For the sake of local organiza= tion, however, it is much recommended to do it earlier. DEADLINES: Paper submission: November 9, 2012 (23:59h, CET) Notification of paper acceptance or rejection: December 16, 2012 Final version of the paper for the LNCS proceedings: December 25, 2012 Early registration: January 2, 2013 Late registration: March 23, 2013 Starting of the conference: April 2, 2013 End of the conference: April 5, 2013 Submission to the post=E2=80=90conference journal special issue: July 5, 20= 13 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu@urv.cat POSTAL ADDRESS: LATA 2013 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34=E2=80=90977=E2=80=90559543 Fax: +34=E2=80=90977=E2=80=90558386 ACKNOWLEDGEMENTS: Basque Center for Applied Mathematics Diputaci=C3=B3 de Tarragona Universitat Rovira i Virgili