[CPM-SPIRE-L] LATA 2016: 3rd call for papers

Fri Oct 2 13:41:31 PDT 2015

(We apologize if you receive multiple copies of this CfP.)

****************************************************************************************

10th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS

LATA 2016

Prague, Czech Republic

March 14-18, 2016

Organized by:

Department of Theoretical Computer Science

Faculty of Information Technology

CzechTechnicalUniversity in Prague

Research Group on Mathematical Linguistics (GRLMC)

Rovira i Virgili University

http://grammars.grlmc.com/lata2016/

****************************************************************************************

AIMS:

LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i VirgiliUniversity in Tarragona since 2002, LATA 2016 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.

VENUE:

LATA 2016 will take place in Prague, a city full of history and cultural attractions, and one of the political and economic cores of central Europe. The venue will be the campus of the CzechTechnicalUniversity in the Dejvice quarter.

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 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

mathematical and logical foundations of programming methodologies

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 2016 will consist of:

invited talks

invited tutorials

peer-reviewed contributions

INVITED SPEAKERS:

Avrim Blum (CarnegieMellonUniversity), Reconstructing Preferences from Opaque Transactions

Martin Grohe (RWTHAachenUniversity), Connectivity Systems, Decompositions, and Tangles

Giovanni Pighizzini (University of Milan), Restricted Turing Machines and Language Recognition (tutorial)

Jean-François Raskin (Free University of Brussels), Non-zero Sum Games for Reactive Synthesis

Frank Wolter (University of Liverpool), Automata for Ontologies

PROGRAMME COMMITTEE:

Amihood Amir (Bar-IlanUniversity, Ramat Gan, Israel)

Dana Angluin (YaleUniversity, New Haven, USA)

Franz Baader (Technical University of Dresden, Germany)

Christel Baier (Technical University of Dresden, Germany)

Hans L. Bodlaender (UtrechtUniversity, The Netherlands)

Jean-Marc Champarnaud (University of Rouen, France)

Bruno Courcelle (LaBRI, Bordeaux, France)

Rod Downey (VictoriaUniversity of Wellington, New Zealand)

Frank Drewes (Umeå University, Sweden)

Ding-Zhu Du (University of Texas, Dallas, USA)

Javier Esparza (Technical University of Munich, Germany)

Michael Fellows (CharlesDarwinUniversity, Darwin, Australia)

Mohammad Taghi Hajiaghayi (University of Maryland, College Park, USA)

Yo-Sub Han (YonseiUniversity, Seoul, South Korea)

Markus Holzer (University of Giessen, Germany)

Juraj Hromkovič (ETH Zurich, Switzerland)

Oscar H. Ibarra (University of California, Santa Barbara, USA)

Costas S. Iliopoulos (King's College London, UK)

Jan Janoušek (CzechTechnicalUniversity in Prague, Czech Republic)

Galina Jirásková (SlovakAcademy of Sciences, Košice, Slovakia)

Ming-Yang Kao (Northwestern University, Evanston, USA)

Juhani Karhumäki (University of Turku, Finland)

Joost-Pieter Katoen (RWTH Aachen University, Germany)

Martin Kutrib (University of Giessen, Germany)

Zhiwu Li (Xidian University, Xi'an, China)

Andreas Malcher (University of Giessen, Germany)

Oded Maler (VERIMAG, Gières, France)

Carlos Martín-Vide (Rovira i Virgili University, Tarragona, Spain, chair)

Bořivoj Melichar (CzechTechnicalUniversity in Prague, Czech Republic)

Ugo Montanari (University of Pisa, Italy)

František Mráz (CharlesUniversity in Prague, Czech Republic)

Mitsunori Ogihara (University of Miami, Coral Gables, USA)

Alexander Okhotin (University of Turku, Finland)

Doron A. Peled (Bar-IlanUniversity, Ramat Gan, Israel)

Martin Plátek (CharlesUniversity in Prague, Czech Republic)

Alberto Policriti (University of Udine, Italy)

Daniel Reidenbach (University of Loughborough, UK)

Antonio Restivo (University of Palermo, Italy)

Kai Salomaa (Queen’s University, Kingston, Canada)

Davide Sangiorgi (University of Bologna, Italy)

Uli Sattler (University of Manchester, UK)

Frits Vaandrager (RadboudUniversity, Nijmegen, The Netherlands)

Pierre Wolper (University of Liège, Belgium)

Zhilin Wu (Chinese Academy of Sciences, Beijing, China)

Mengchu Zhou (New Jersey Institute of Technology, Newark, USA)

ORGANIZING COMMITTEE:

Adrian Horia Dediu (Tarragona)

Jan Janoušek (Prague, co-chair)

Carlos Martín-Vide (Tarragona, co-chair)

Radomír Polách (Prague)

Eliška Šestáková (Prague)

Jan Trávníček (Prague)

Bianca Truthe (Giessen)

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, references, proofs, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).

Submissions have to be uploaded to:

https://www.easychair.org/conferences/?conf=lata2016

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 the journal Information and Computation (Elsevier, 2014 JCR impact factor: 0.830) will be later published containing peer-reviewed 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 August 28, 2015 to March 14, 2016. The registration form can be found at:

http://grammars.grlmc.com/lata2016/Registration.php

DEADLINES:

Paper submission: October 19, 2015 (23:59 CET)

Notification of paper acceptance or rejection: November 27, 2015

Final version of the paper for the LNCS proceedings: December 7, 2015

Early registration: December 7, 2015

Late registration: February 29, 2016

Submission to the journal special issue: June 18, 2016

QUESTIONS AND FURTHER INFORMATION:

florentinalilica.voicu (at) urv.cat

POSTAL ADDRESS:

LATA 2016

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:

České vysoké učení technické v Praze

Universitat Rovira i Virgili

-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://fenris.cs.ucr.edu/pipermail/cpm-spire-l/attachments/20151002/3c0421a6/attachment-0001.html 