[fg-arc] LATA 2016: 2nd call for papers
GRLMC
grlmc at grlmc.com
Sat Sep 19 09:46:55 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://lists.uni-paderborn.de/pipermail/fg-arc/attachments/20150919/508f84e6/attachment.html>
More information about the fg-arc
mailing list