From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id A5E037EE4C for ; Sat, 12 Oct 2013 11:48:05 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of grlmc@urv.cat) identity=pra; client-ip=193.144.16.78; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="grlmc@urv.cat"; x-sender="grlmc@urv.cat"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of grlmc@urv.cat designates 193.144.16.78 as permitted sender) identity=mailfrom; client-ip=193.144.16.78; receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mta01.urv.cat) identity=helo; client-ip=193.144.16.78; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="grlmc@urv.cat"; x-sender="postmaster@mta01.urv.cat"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvABAGgaWVLBkBBOnGdsb2JhbAA/GoM/RgEBwWyBGRYOAQEBAQEICwkJFCiCLAhGGgUBGAEEKj4CBBICJQEEEwgDDgMBBIdpCDabDJIVgVGNUQSOCgeBBw+DSIEEA4kEg1CBfWKKAYYEhROIYoFl X-IPAS-Result: AvABAGgaWVLBkBBOnGdsb2JhbAA/GoM/RgEBwWyBGRYOAQEBAQEICwkJFCiCLAhGGgUBGAEEKj4CBBICJQEEEwgDDgMBBIdpCDabDJIVgVGNUQSOCgeBBw+DSIEEA4kEg1CBfWKKAYYEhROIYoFl X-IronPort-AV: E=Sophos;i="4.93,480,1378850400"; d="scan'208";a="30060092" Received: from mta01.urv.cat ([193.144.16.78]) by mail3-smtp-sop.national.inria.fr with ESMTP; 12 Oct 2013 11:48:04 +0200 X-IronPort-AV: E=Sophos;i="4.93,480,1378850400"; d="scan'208";a="41605051" Received: from pmbox2.urv.cat ([193.144.16.41]) by mta.urv.cat with ESMTP; 12 Oct 2013 11:48:04 +0200 Received: from Carlos1 (84.Red-83-49-26.dynamicIP.rima-tde.net [83.49.26.84]) (using TLSv1 with cipher AES128-SHA (128/128 bits)) (No client certificate requested) by pmbox2.urv.cat (Postfix) with ESMTPSA id 656D7DFB0; Sat, 12 Oct 2013 11:47:58 +0200 (CEST) From: "GRLMC" To: "GRLMC" Date: Sat, 12 Oct 2013 11:47:58 +0200 Message-ID: <28F2EB3F25B6407DBA6FAD12B0175337@Carlos1> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable X-Mailer: Microsoft Office Outlook 11 X-MIMEOLE: Produced By Microsoft MimeOLE V6.0.6000.16669 Thread-index: Ac7HMCISf3SCVGZzSzeCRiqZtRs0DA== X-Validation-by: grlmc@urv.cat Subject: [Caml-list] LATA 2014: extended submission deadline 21 October *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ---------------------------------------------------------------------------- ***** SUBMISSION DEADLINE EXTENDED: October 21 ***** ---------------------------------------------------------------------------- ************************************************************************* 8th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS LATA 2014 Madrid, Spain March 10-14, 2014 Organized by: Research Group on Implementation of Language-Driven Software and Applications (ILSA) Complutense University of Madrid Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/lata2014/ ********************************************************************* AIMS: LATA is a yearly conference on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i Virgili University in Tarragona since 2002, LATA 2014 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, language technology, artificial intelligence, etc.). VENUE: LATA 2014 will take place in Madrid, the capital of Spain. The venue will be the School of Informatics of Complutense University. SCOPE: Topics of either theoretical or applied interest include, but are not limited to: algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata, concurrency and Petri nets automatic structures cellular automata codes combinatorics on words compilers computability computational complexity data and image compression decidability issues on words and languages descriptional complexity DNA and other models of bio-inspired computing digital libraries and document engineering foundations of finite state technology foundations of XML fuzzy and rough languages grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography language-theoretic foundations of artificial intelligence and artificial life natural language and speech automatic processing parallel and regulated rewriting parsing patterns power series quantum, chemical and optical computing semantics string and combinatorial issues in computational biology and bioinformatics string processing algorithms symbolic dynamics symbolic neural networks term rewriting transducers trees, tree languages and tree automata weighted automata STRUCTURE: LATA 2014 will consist of: invited talks invited tutorials peer-reviewed contributions INVITED SPEAKERS: Javier Esparza (Munich Tech, DE), On Trees and Fixed Point Equations (tutorial) Leslie A. Goldberg (Oxford, UK), The Complexity of Approximate Counting Oscar H. Ibarra (Santa Barbara, US), Some Computability and Complexity Problems Concerning FAs, PDAs, and Counter Machines Sanjeev Khanna (Philadelphia, US), tba Helmut Seidl (Munich Tech, DE), Interprocedural Information Flow Analysis of XML Processors PROGRAMME COMMITTEE: Dana Angluin (Yale, US) Eugene Asarin (Paris Diderot, FR) Jos Baeten (Amsterdam, NL) Christel Baier (Dresden, DE) Jan Bergstra (Amsterdam, NL) Jin-Yi Cai (Madison, US) Marek Chrobak (Riverside, US) Andrea Corradini (Pisa, IT) Mariangiola Dezani (Turin, IT) Ding-Zhu Du (Dallas, US) Michael R. Fellows (Darwin, AU) J=F6rg Flum (Freiburg, DE) Nissim Francez (Technion, IL) J=FCrgen Giesl (Aachen, DE) Annegret Habel (Oldenburg, DE) Kazuo Iwama (Kyoto, JP) Sampath Kannan (Philadelphia, US) Ming-Yang Kao (Northwestern, US) Deepak Kapur (Albuquerque, US) Joost-Pieter Katoen (Aachen, DE) S. Rao Kosaraju (Johns Hopkins, US) Evangelos Kranakis (Carleton, CA) Gad M. Landau (Haifa, IL) Andrzej Lingas (Lund, SE) Jack Lutz (Iowa State, US) Ian Mackie (=C9cole Polytechnique, FR) Carlos Mart=EDn-Vide (Tarragona, ES, chair) Giancarlo Mauri (Milan, IT) Faron G. Moller (Swansea, UK) Paliath Narendran (Albany, US) Enno Ohlebusch (Ulm, DE) Helmut Prodinger (Stellenbosch, ZA) Jean-Fran=E7ois Raskin (Brussels, BE) Wolfgang Reisig (Humboldt Berlin, DE) Marco Roveri (Bruno Kessler, Trento, IT) Micha=EBl Rusinowitch (LORIA, Nancy, FR) Yasubumi Sakakibara (Keio, JP) Davide Sangiorgi (Bologna, IT) Colin Stirling (Edinburgh, UK) Jianwen Su (Santa Barbara, US) Jean-Pierre Talpin (IRISA, Rennes, FR) Andrzej Tarlecki (Warsaw, PL) Rick Thomas (Leicester, UK) Sophie Tison (Lille, FR) Rob van Glabbeek (NICTA, Sydney, AU) Helmut Veith (Vienna Tech, AT) ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Ana Fern=E1ndez-Pampill=F3n (Madrid) Carlos Mart=EDn-Vide (Tarragona, co-chair) Antonio Sarasa (Madrid) Jos=E9-Luis Sierra (Madrid, co-chair) Bianca Truthe (Magdeburg) Florentina Lilica Voicu (Tarragona) SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices) and should be formatted according to the standard format 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=3Dlata2014 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference. A special issue of a major journal will be later published containing peer-reviewed extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. REGISTRATION: The period for registration is open from July 15, 2013 to March 10, 2014. The registration form can be found at: http://grammars.grlmc.com/lata2014/Registration.php DEADLINES: Paper submission: October 21, 2013 (23:59 CET) =96 EXTENDED =96 Notification of paper acceptance or rejection: November 25, 2013 Final version of the paper for the LNCS proceedings: December 2, 2013 Early registration: December 9, 2013 Late registration: February 24, 2014 Starting of the conference: March 10, 2014 End of the conference: March 14, 2014 Submission to the post-conference journal special issue: June 14, 2014 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu@urv.cat POSTAL ADDRESS: LATA 2014 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: Departament d=92Economia i Coneixement, Generalitat de Catalunya Universidad Complutense de Madrid Universitat Rovira i Virgili