posted by user: grupocole || 2361 views || tracked by 17 users: [display]

Lata 2016 : 10th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS

FacebookTwitterLinkedInGoogle


Conference Series : Language and Automata Theory and Applications
 
Link: http://grammars.grlmc.com/lata2016/
 
When Mar 14, 2016 - Mar 18, 2016
Where Prague, Czech Republic
Submission Deadline Oct 19, 2015
Notification Due Nov 27, 2015
Final Version Due Dec 7, 2015
Categories    theoretical computer science   formal languages
 

Call For Papers

*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

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

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:

 

tba

 

PROGRAMME COMMITTEE:

 

(to be completed)

 

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)

Rod Downey (VictoriaUniversity of Wellington, New Zealand)

Frank Drewes (Umeå University, Sweden)

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

Michael Fellows (CharlesDarwinUniversity, Darwin, Australia)

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

Yo-Sub Han (Yonsei University, Seoul, South Korea)

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

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)

Oded Maler (VERIMAG, Gières, France)

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

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 (BarIlanUniversity, Ramat Gan, Israel)

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

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)

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

 

 

Related Resources

VISAPP 2018   International Conference on Computer Vision Theory and Applications
FCST 2017   5th International Conference on Foundations of Computer Science & Technology
VISAPP 2018   13th International Conference on Computer Vision Theory and Applications
ICTCS 2017   18th Italian Conference on Theoretical Computer Science
VISIGRAPP 2018   13th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications
RP 2017   Reachability Problems
LOPAL 2018   International Conference on Learning and Optimization Algorithms: Theory and Applications
EXPRESS/SOS 2017   Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics
GandALF 2017   Symposium on Games, Automata, Logics, and Formal Verification
SBMF 2017   20th Brazilian Symposium on Formal Methods