[Om-announce] LATA 2016: 3rd call for papers

GRLMC grlmc at grlmc.com
Sat Oct 3 11:28:42 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: 

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

 

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/20151003/cbddbc93/attachment.html>


More information about the Om-announce mailing list