Bibliographie
11th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND
APPLICATIONS
LATA 2017
Umeå, Sweden
March 6-10, 2017
Organized by :
Department of Computing Science
Umeå University
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
http://grammars.grlmc.com/LATA2017/
******************************
*******************************************
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 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.
VENUE :
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.
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
automatic structures
codes
combinatorics on words
computational complexity
concurrency and Petri nets
data and image compression
descriptional complexity
foundations of finite state technology
foundations of XML
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 processing algorithms
symbolic dynamics
term rewriting
transducers
trees, tree languages and tree automata
weighted automata
STRUCTURE :
LATA 2017 will consist of :
invited talks
peer-reviewed contributions
INVITED SPEAKERS :
Franz Baader (Technical University of Dresden), Approximately
Description Logics
Thomas Eiter (Technical University of Vienna), Stream Reasoning : Issues
and Some Results
Michael R. Fellows (University of Bergen), On Some Finiteness Theorems
about Formal Languages
Georg Gottlob (University of Oxford), Logic, Languages, and Rules for
Web Data Extraction and Reasoning over Data
Thomas Wilke (University of Kiel), Backward Deterministic omega-Automata
PROGRAMME COMMITTEE :
Eric Allender (Rutgers University, Piscataway, US)
Amihood Amir (Bar-Ilan University, Ramat Gan, IL)
Christel Baier (Technical University of Dresden, DE)
Armin Biere (Johannes Kepler University Linz, AT)
Avrim Blum (Carnegie Mellon University, Pittsburgh, US)
Ondřej Bojar (Charles University in Prague, CZ)
Jin-Yi Cai (University of Wisconsin, Madison, US)
Liming Cai (University of Georgia, Athens, US)
Alessandro Cimatti (Bruno Kessler Foundation, Trento, IT)
Rocco De Nicola (IMT School for Advanced Studies Lucca, IT)
Rod Downey (Victoria University of Wellington, NZ)
Frank Drewes (Umeå University, SE)
ZoltÁn Fülöp (University of Szeged, HU)
Gregory Z. Gutin (Royal Holloway, University of London, UK)
Lane A. Hemaspaandra (University of Rochester, US)
Dorit S. Hochbaum (University of California, Berkeley, US)
Deepak Kapur (University of New Mexico, Albuquerque, US)
Marek Karpinski (University of Bonn, DE)
Joost-Pieter Katoen (RWTH Aachen University, DE)
Evangelos Kranakis (Carleton University, Ottawa, CA)
Lars M. Kristensen (Bergen University College, NO)
Kim G. Larsen (Aalborg University, DK)
Axel Legay (INRIA, Rennes, FR)
Leonid Libkin (University of Edinburgh, UK)
Carsten Lutz (University of Bremen, DE)
Joào Marques Silva (University of Lisbon, PT)
Carlos Martín-Vide (Rovira i Virgili University, Tarragona, ES, chair)
Mitsunori Ogihara (University of Miami, Coral Gables, US)
Arlindo Oliveira (Instituto Superior Técnico, Lisbon, PT)
David Parker (University of Birmingham, UK)
Madhusudan Parthasarathy (University of Illinois, Urbana-Champaign, US)
Doron A. Peled (Bar-Ilan University, Ramat Gan, IL)
Dominique Perrin (Paris-Est Marne-la-Vallée University, FR)
Jean-éric Pin (Paris Diderot University, FR)
Sanguthevar Rajasekaran (University of Connecticut, Storrs, US)
Bruce Reed (McGill University, Montréal, CA)
Wojciech Rytter (University of Warsaw, PL)
Kunihiko Sadakane (University of Tokyo, JP)
Davide Sangiorgi (University of Bologna, IT)
Helmut Seidl (Technical University of Munich, DE)
Jens Stoye (Bielefeld University, DE)
Wing-Kin Sung (National University of Singapore, SG)
Dimitrios M. Thilikos (CNRS, LIRMM, FR & National and Kapodistrian University of Athens, GR)
Ioannis G. Tollis (University of Crete, Heraklion, GR)
Bianca Truthe (University of Giessen, DE)
Frits Vaandrager (Radboud University, Nijmegen, NL)
Rob van Glabbeek (CSIRO, Sydney, AU)
ORGANIZING COMMITTEE :
Yonas Demeke (Umeå)
Frank Drewes (Umeå, co-chair)
Petter Ericson (Umeå)
Anna Jonsson (Umeå)
Carlos Martín-Vide (Tarragona, co-chair)
Manuel Jesús Parra Royón (Granada)
Bianca Truthe (Giessen)
Florentina Lilica Voicu (Tarragona)
Niklas Zechner (Umeå)
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://easychair.org/conferences/?conf=lata2017
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,
2015 JCR impact factor : 0.873) 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 registration form can be found at :
http://grammars.grlmc.com/LATA2017/Registration.php
DEADLINES (all at 23:59 CET) :
Paper submission : October 21, 2016
Notification of paper acceptance or rejection : November 25, 2016
Final version of the paper for the LNCS proceedings : December 5, 2016
Early registration : December 5, 2016
Late registration : February 20, 2017
Submission to the journal special issue : June 10, 2017
QUESTIONS AND FURTHER INFORMATION :
florentinalilica.voicu (at) urv.cat
POSTAL ADDRESS :
LATA 2017
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 :
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 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.
VENUE :
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.
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
automatic structures
codes
combinatorics on words
computational complexity
concurrency and Petri nets
data and image compression
descriptional complexity
foundations of finite state technology
foundations of XML
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 processing algorithms
symbolic dynamics
term rewriting
transducers
trees, tree languages and tree automata
weighted automata
STRUCTURE :
LATA 2017 will consist of :
invited talks
peer-reviewed contributions
INVITED SPEAKERS :
Franz Baader (Technical University of Dresden), Approximately
Description Logics
Thomas Eiter (Technical University of Vienna), Stream Reasoning : Issues
and Some Results
Michael R. Fellows (University of Bergen), On Some Finiteness Theorems
about Formal Languages
Georg Gottlob (University of Oxford), Logic, Languages, and Rules for
Web Data Extraction and Reasoning over Data
Thomas Wilke (University of Kiel), Backward Deterministic omega-Automata
PROGRAMME COMMITTEE :
Eric Allender (Rutgers University, Piscataway, US)
Amihood Amir (Bar-Ilan University, Ramat Gan, IL)
Christel Baier (Technical University of Dresden, DE)
Armin Biere (Johannes Kepler University Linz, AT)
Avrim Blum (Carnegie Mellon University, Pittsburgh, US)
Ondřej Bojar (Charles University in Prague, CZ)
Jin-Yi Cai (University of Wisconsin, Madison, US)
Liming Cai (University of Georgia, Athens, US)
Alessandro Cimatti (Bruno Kessler Foundation, Trento, IT)
Rocco De Nicola (IMT School for Advanced Studies Lucca, IT)
Rod Downey (Victoria University of Wellington, NZ)
Frank Drewes (Umeå University, SE)
ZoltÁn Fülöp (University of Szeged, HU)
Gregory Z. Gutin (Royal Holloway, University of London, UK)
Lane A. Hemaspaandra (University of Rochester, US)
Dorit S. Hochbaum (University of California, Berkeley, US)
Deepak Kapur (University of New Mexico, Albuquerque, US)
Marek Karpinski (University of Bonn, DE)
Joost-Pieter Katoen (RWTH Aachen University, DE)
Evangelos Kranakis (Carleton University, Ottawa, CA)
Lars M. Kristensen (Bergen University College, NO)
Kim G. Larsen (Aalborg University, DK)
Axel Legay (INRIA, Rennes, FR)
Leonid Libkin (University of Edinburgh, UK)
Carsten Lutz (University of Bremen, DE)
Joào Marques Silva (University of Lisbon, PT)
Carlos Martín-Vide (Rovira i Virgili University, Tarragona, ES, chair)
Mitsunori Ogihara (University of Miami, Coral Gables, US)
Arlindo Oliveira (Instituto Superior Técnico, Lisbon, PT)
David Parker (University of Birmingham, UK)
Madhusudan Parthasarathy (University of Illinois, Urbana-Champaign, US)
Doron A. Peled (Bar-Ilan University, Ramat Gan, IL)
Dominique Perrin (Paris-Est Marne-la-Vallée University, FR)
Jean-éric Pin (Paris Diderot University, FR)
Sanguthevar Rajasekaran (University of Connecticut, Storrs, US)
Bruce Reed (McGill University, Montréal, CA)
Wojciech Rytter (University of Warsaw, PL)
Kunihiko Sadakane (University of Tokyo, JP)
Davide Sangiorgi (University of Bologna, IT)
Helmut Seidl (Technical University of Munich, DE)
Jens Stoye (Bielefeld University, DE)
Wing-Kin Sung (National University of Singapore, SG)
Dimitrios M. Thilikos (CNRS, LIRMM, FR & National and Kapodistrian University of Athens, GR)
Ioannis G. Tollis (University of Crete, Heraklion, GR)
Bianca Truthe (University of Giessen, DE)
Frits Vaandrager (Radboud University, Nijmegen, NL)
Rob van Glabbeek (CSIRO, Sydney, AU)
ORGANIZING COMMITTEE :
Yonas Demeke (Umeå)
Frank Drewes (Umeå, co-chair)
Petter Ericson (Umeå)
Anna Jonsson (Umeå)
Carlos Martín-Vide (Tarragona, co-chair)
Manuel Jesús Parra Royón (Granada)
Bianca Truthe (Giessen)
Florentina Lilica Voicu (Tarragona)
Niklas Zechner (Umeå)
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://easychair.org/conferences/?conf=lata2017
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,
2015 JCR impact factor : 0.873) 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 registration form can be found at :
http://grammars.grlmc.com/LATA2017/Registration.php
DEADLINES (all at 23:59 CET) :
Paper submission : October 21, 2016
Notification of paper acceptance or rejection : November 25, 2016
Final version of the paper for the LNCS proceedings : December 5, 2016
Early registration : December 5, 2016
Late registration : February 20, 2017
Submission to the journal special issue : June 10, 2017
QUESTIONS AND FURTHER INFORMATION :
florentinalilica.voicu (at) urv.cat
POSTAL ADDRESS :
LATA 2017
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 :