<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd">
<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"><title>LATA 2017: 1st call for papers</title></head><body>*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*<br>
<br>
*************************************************************************<br><strong>11th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS</strong><br>
<br><strong>LATA 2017</strong><br>
<br><strong>Umeå</strong><strong>, Sweden</strong><br>
<br><strong>March 6-10, 2017</strong><br>
<br>
Organized by:<br>
<br>
Department of Computing Science<br>
Umeå University<br>
<br>
Research Group on Mathematical Linguistics (GRLMC)<br>
Rovira i Virgili University<br>
<br>
http://grammars.grlmc.com/LATA2017/<br>
*************************************************************************<br>
<br><strong>AIMS:</strong><br>
<br>
LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field organized by Rovira i Virgili University since 2002, LATA 2017 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.<br>
<br><strong>VENUE:</strong><br>
<br>
LATA 2017 will take place in Umeå, a university town in North Sweden which was European Capital of Culture in 2014. The venue will be the Faculty of Science and Technology.<br>
<br><strong>SCOPE:</strong><br>
<br>
Topics of either theoretical or applied interest include, but are not limited to:<br>
<br>
algebraic language theory<br>
algorithms for semi-structured data mining<br>
algorithms on automata and words<br>
automata and logic<br>
automata for system analysis and programme verification<br>
automata networks<br>
automatic structures<br>
codes<br>
combinatorics on words<br>
computational complexity<br>
concurrency and Petri nets<br>
data and image compression<br>
descriptional complexity<br>
foundations of finite state technology<br>
foundations of XML<br>
grammars (Chomsky hierarchy, contextual, unification, categorial, etc.)<br>
grammatical inference and algorithmic learning<br>
graphs and graph transformation<br>
language varieties and semigroups<br>
language-based cryptography<br>
mathematical and logical foundations of programming methodologies<br>
parallel and regulated rewriting<br>
parsing<br>
patterns<br>
power series<br>
string processing algorithms<br>
symbolic dynamics<br>
term rewriting<br>
transducers<br>
trees, tree languages and tree automata<br>
weighted automata<br>
<br><strong>STRUCTURE:</strong><br>
<br>
LATA 2017 will consist of:<br>
<br>
invited talks<br>
invited tutorials<br>
peer-reviewed contributions<br>
<br><strong>INVITED SPEAKERS:</strong><br>
<br>
tba<br>
<br><strong>PROGRAMME COMMITTEE </strong>(to be completed)<strong>:</strong><br>
<br>
Eric Allender (Rutgers University, Piscataway, US)<br>
Christel Baier (Technical University of Dresden, DE)<br>
Armin Biere (Johannes Kepler University Linz, AT)<br>
Avrim Blum (Carnegie Mellon University, Pittsburgh, US)<br>
Liming Cai (University of Georgia, Athens, US)<br>
Alessandro Cimatti (Bruno Kessler Foundation, Trento, IT)<br>
Rocco De Nicola (IMT School for Advanced Studies Lucca, IT)<br>
Rodney Downey (Victoria University of Wellington, NZ)<br>
Frank Drewes (Umeå University, SE)<br>
Zoltán Fülöp (University of Szeged, HU)<br>
Gregory Z. Gutin (Royal Holloway, University of London, UK)<br>
Lane A. Hemaspaandra (University of Rochester, US)<br>
Dorit S. Hochbaum (University of California, Berkeley, US)<br>
Marek Karpinski (University of Bonn, DE)<br>
Joost-Pieter Katoen (RWTH Aachen University, DE)<br>
Evangelos Kranakis (Carleton University, Ottawa, CA)<br>
Lars M. Kristensen (Bergen University College, NO)<br>
Kim G. Larsen (Aalborg University, DK)<br>
Axel Legay (INRIA, Rennes, FR)<br>
Leonid Libkin (University of Edinburgh, UK)<br>
Carsten Lutz (University of Bremen, DE)<br>
João Marques Silva (University of Lisbon, PT)<br>
Carlos Martín-Vide (Rovira i Virgili University, Tarragona, ES, chair)<br>
Mitsunori Ogihara (University of Miami, Coral Gables, US)<br>
Arlindo Oliveira (Instituto Superior Técnico, Lisbon, PT)<br>
David Parker (University of Birmingham, UK)<br>
Madhusudan Parthasarathy (University of Illinois, Urbana-Champaign, US)<br>
Doron A. Peled (Bar-Ilan University, Ramat Gan, IL)<br>
Jean-Éric Pin (Paris Diderot University, FR)<br>
Wojciech Rytter (University of Warsaw, PL)<br>
Kunihiko Sadakane (University of Tokyo, JP)<br>
Jens Stoye (Bielefeld University, DE)<br>
Wing-Kin Sung (National University of Singapore, SG)<br>
Dimitrios M. Thilikos (National and Kapodistrian University of Athens, GR)<br>
Ioannis G. Tollis (University of Crete, Heraklion, GR)<br>
Bianca Truthe (University of Giessen, DE)<br>
Frits Vaandrager (Radboud University, Nijmegen, NL)<br>
<br><strong>ORGANIZING COMMITTEE:</strong><br>
<br>
Yonas Demeke (Umeå)<br>
Frank Drewes (Umeå, co-chair)<br>
Petter Ericson (Umeå)<br>
Anna Jonsson (Umeå)<br>
Carlos Martín-Vide (Tarragona, co-chair)<br>
Manuel Jesús Parra Royón (Granada)<br>
Bianca Truthe (Giessen)<br>
Florentina Lilica Voicu (Tarragona)<br>
Niklas Zechner (Umeå)<br>
<br><strong>SUBMISSIONS:</strong><br>
<br>
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).<br>
<br>
Submissions have to be uploaded to:<br>
<br>
https://easychair.org/conferences/?conf=lata2017<br>
<br><strong>PUBLICATIONS:</strong><br>
<br>
A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.<br>
<br>
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.<br>
<br><strong>REGISTRATION:</strong><br>
<br>
The registration form can be found at:<br>
<br>
http://grammars.grlmc.com/LATA2017/Registration.php<br>
<br><strong>DEADLINES </strong>(all at 23:59 CET)<strong>:</strong><br>
<br>
Paper submission: October 21, 2016<br>
Notification of paper acceptance or rejection: November 25, 2016<br>
Final version of the paper for the LNCS proceedings: December 5, 2016<br>
Early registration: December 5, 2016<br>
Late registration: February 20, 2017<br>
Submission to the journal special issue: June 10, 2017<br>
<br><strong>QUESTIONS AND FURTHER INFORMATION:</strong><br>
<br>
florentinalilica.voicu (at) urv.cat<br>
<br><strong>POSTAL ADDRESS:</strong><br>
<br>
LATA 2017<br>
Research Group on Mathematical Linguistics (GRLMC)<br>
Rovira i Virgili University<br>
Av. Catalunya, 35<br>
43002 Tarragona, Spain<br>
<br>
Phone: +34 977 559 543<br>
Fax: +34 977 558 386<br>
<br><strong>ACKNOWLEDGEMENTS:</strong><br>
<br>
Umeå universitet<br>
Universitat Rovira i Virgili</body></html>