CHI-ANNOUNCEMENTS Archives

ACM SIGCHI General Interest Announcements (Mailing List)

CHI-ANNOUNCEMENTS@LISTSERV.ACM.ORG

Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Show All Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Subject:
From:
Reply To:
Date:
Sat, 1 Oct 2016 03:06:41 +0200
Content-Type:
text/plain
Parts/Attachments:
text/plain (384 lines)

LATA 2017: 3rd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*

 

*************************************************************************
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 &amp; 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:

 

Umeå universitet

Universitat Rovira i Virgili


    ---------------------------------------------------------------
    For news of CHI books, courses & software, join CHI-RESOURCES
     mailto: [log in to unmask]

    To unsubscribe from CHI-ANNOUNCEMENTS send an email to
     mailto:[log in to unmask]

    For further details of CHI lists see http://listserv.acm.org
    ---------------------------------------------------------------

ATOM RSS1 RSS2