[Om-announce] LATA 2016: 2nd call for papers

Sat Sep 19 17:16:39 CEST 2015

*To be removed from our mailing list, please respond to this message
with UNSUBSCRIBE in the subject line*

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

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: 

(to be
completed) 

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

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 [1]).

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 a major journal 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 

Links:
------
[1]
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://openmath.org/pipermail/om-announce/attachments/20150919/e0d382c5/attachment.html>