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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 816227FACB for ; Fri, 22 Aug 2014 21:18:39 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of grlmc@urv.cat) identity=pra; client-ip=193.144.16.75; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="grlmc@urv.cat"; x-sender="grlmc@urv.cat"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of grlmc@urv.cat designates 193.144.16.75 as permitted sender) identity=mailfrom; client-ip=193.144.16.75; receiver=mail2-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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mta03.urv.cat) identity=helo; client-ip=193.144.16.75; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="grlmc@urv.cat"; x-sender="postmaster@mta03.urv.cat"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiMKAPyW91PBkBBLnGdsb2JhbAA/GoNgTQEBCIJ8hCyBD6cSnQsKh0YBAQIBAYERFhABAQEBAQgLCQkUKYQKCAITBisaBQEWAgEEAwIeAgUhAhsCBBICJQEEEwsFAQsBBIglAQg2n3yPL5UJFwSBKIpxglcKLIMigVMFjwCCJgOEJoZ6gViGX4YXih5qAYEFgUkBAQE X-IPAS-Result: AiMKAPyW91PBkBBLnGdsb2JhbAA/GoNgTQEBCIJ8hCyBD6cSnQsKh0YBAQIBAYERFhABAQEBAQgLCQkUKYQKCAITBisaBQEWAgEEAwIeAgUhAhsCBBICJQEEEwsFAQsBBIglAQg2n3yPL5UJFwSBKIpxglcKLIMigVMFjwCCJgOEJoZ6gViGX4YXih5qAYEFgUkBAQE X-IronPort-AV: E=Sophos;i="5.04,382,1406584800"; d="scan'208";a="90667834" Received: from mta03.urv.cat ([193.144.16.75]) by mail2-smtp-roc.national.inria.fr with ESMTP; 22 Aug 2014 21:18:38 +0200 X-IronPort-AV: E=Sophos;i="5.04,382,1406584800"; d="scan'208";a="52622759" Received: from pmbox2.urv.cat ([193.144.16.41]) by mta.urv.cat with ESMTP; 22 Aug 2014 21:18:38 +0200 Received: from carlos2 (d51A4D84B.access.telenet.be [81.164.216.75]) (using TLSv1 with cipher RC4-MD5 (128/128 bits)) (No client certificate requested) by pmbox2.urv.cat (Postfix) with ESMTPSA id 6BC53DF75; Fri, 22 Aug 2014 21:18:29 +0200 (CEST) From: "GRLMC - URV" To: Date: Fri, 22 Aug 2014 21:20:59 +0200 Message-ID: <024f01cfbe3e$3b2c1bf0$6b00a8c0@GRLMC.local> MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook, Build 10.0.6863 X-MIMEOLE: Produced By Microsoft MimeOLE V6.00.2900.3664 Thread-index: Ac++PjP57KspShykRcSrzeQdi0HDOA== Importance: Normal X-Validation-by: grlmc@urv.cat Subject: [Caml-list] LATA 2015: 2nd call for papers *To be removed from our mailing list, please respond to this message with U= NSUBSCRIBE in the subject line* ***************************************************************************= ************* 9th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIO= NS LATA 2015 Nice, France March 2-6, 2015 Organized by: =09 CNRS, I3S, UMR 7271 Nice Sophia Antipolis University Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/lata2015/ ***************************************************************************= ************* AIMS: LATA is a conference series on theoretical computer science and its applica= tions. Following the tradition of the diverse PhD training events in the fi= eld developed at Rovira i Virgili University in Tarragona since 2002, LATA = 2015 will reserve significant room for young scholars at the beginning of t= heir career. It will aim at attracting contributions from classical theory = fields as well as application areas. VENUE: LATA 2015 will take place in Nice, the second largest French city on the Me= diterranean coast. The venue will be the University Castle at Parc Valrose. SCOPE: Topics of either theoretical or applied interest include, but are not limit= ed 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 networks automata, concurrency and Petri nets automatic structures cellular automata codes combinatorics on words computational complexity data and image compression descriptional complexity 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 parallel and regulated rewriting parsing patterns power series string and combinatorial issues in bioinformatics string processing algorithms symbolic dynamics term rewriting transducers trees, tree languages and tree automata unconventional models of computation weighted automata STRUCTURE: LATA 2015 will consist of: invited talks invited tutorials peer-reviewed contributions INVITED SPEAKERS: Paola Inverardi (L=E2=80=99Aquila), Synthesis of Protocol Adapters Johann A. Makowsky (Technion, Haifa), Hankel Matrices for Graph Parameters = and Graph Grammars Giancarlo Mauri (Milano Bicocca), tba Andreas Podelski (Freiburg), Automated Program Verification Antonio Restivo (Palermo), The Shuffle Product: New Research Directions PROGRAMME COMMITTEE: Andrew Adamatzky (West of England, Bristol, UK) Andris Ambainis (Latvia, Riga, LV) Franz Baader (Dresden Tech, DE) Rajesh Bhatt (Massachusetts, Amherst, US) Jos=C3=A9-Manuel Colom (Zaragoza, ES) Bruno Courcelle (Bordeaux, FR) Erzs=C3=A9bet Csuhaj-Varj=C3=BA (E=C3=B6tv=C3=B6s Lor=C3=A1nd, Budapest, HU) Aldo de Luca (Naples Federico II, IT) Susanna Donatelli (Turin, IT) Paola Flocchini (Ottawa, CA) Enrico Formenti (Nice, FR) Tero Harju (Turku, FI) Monika Heiner (Brandenburg Tech, Cottbus, DE) Yiguang Hong (Chinese Academy, Beijing, CN) Kazuo Iwama (Kyoto, JP) Sanjay Jain (National Singapore, SG) Maciej Koutny (Newcastle, UK) Anton=C3=ADn Ku=C4=8Dera (Masaryk, Brno, CZ) Thierry Lecroq (Rouen, FR) Salvador Lucas (Valencia Tech, ES) Veli M=C3=A4kinen (Helsinki, FI) Carlos Mart=C3=ADn-Vide (Rovira i Virgili, Tarragona, ES, chair) Filippo Mignosi (L=E2=80=99Aquila, IT) Victor Mitrana (Madrid Tech, ES) Ilan Newman (Haifa, IL) Joachim Niehren (INRIA, Lille, FR) Enno Ohlebusch (Ulm, DE) Arlindo Oliveira (Lisbon, PT) Jo=C3=ABl Ouaknine (Oxford, UK) Wojciech Penczek (Polish Academy, Warsaw, PL) Dominique Perrin (ESIEE, Paris, FR) Alberto Policriti (Udine, IT) Sanguthevar Rajasekaran (Connecticut, Storrs, US) J=C3=B6rg Rothe (D=C3=BCsseldorf, DE) Frank Ruskey (Victoria, CA) Helmut Seidl (Munich Tech, DE) Ayumi Shinohara (Tohoku, Sendai, JP) Bernhard Steffen (Dortmund, DE) Frank Stephan (National Singapore, SG) Paul Tarau (North Texas, Denton, US) Andrzej Tarlecki (Warsaw, PL) Jacobo Tor=C3=A1n (Ulm, DE) Frits Vaandrager (Nijmegen, NL) Jaco van de Pol (Twente, Enschede, NL) Pierre Wolper (Li=C3=A8ge, BE) Zhilin Wu (Chinese Academy, Beijing, CN) Slawomir Zadrozny (Polish Academy, Warsaw, PL) Hans Zantema (Eindhoven Tech, NL) ORGANIZING COMMITTEE: S=C3=A9bastien Autran (Nice) Adrian Horia Dediu (Tarragona) Enrico Formenti (Nice, co-chair) Sandrine Julia (Nice) Carlos Mart=C3=ADn-Vide (Tarragona, co-chair) Christophe Papazian (Nice) Julien Provillard (Nice) Pierre-Alain Scribot (Nice) Bianca Truthe (Giessen) Florentina Lilica Voicu (Tarragona) SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting o= riginal and unpublished research. Papers should not exceed 12 single-spaced= pages (including eventual appendices, references, etc.) and should be prep= ared according to the standard format for Springer Verlag's LNCS series (se= e http://www.springer.com/computer/lncs?SGWID=3D0-164-6-793341-0). Submissions have to be uploaded to: https://www.easychair.org/conferences/?conf=3Dlata2015 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 the Journal of Computer and System Sciences (Elsevier, 2= 013 JCR impact factor: 1.0) will be later published containing peer-reviewe= d substantially 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 21, 2014 to March 2, 2015. Th= e registration form can be found at: http://grammars.grlmc.com/lata2015/Registration.php DEADLINES: Paper submission: October 10, 2014 (23:59 CET) Notification of paper acceptance or rejection: November 18, 2014 Early registration: November 25, 2014 Final version of the paper for the LNCS proceedings: November 26, 2014 Late registration: February 16, 2015 Submission to the journal special issue: June 6, 2015 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu@urv.cat POSTAL ADDRESS: LATA 2015 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: Nice Sophia Antipolis University Rovira i Virgili University