[FOM] LATA 2013: 2nd call for papers
GRLMC
martin at eipye.com
Sat Sep 15 13:18:02 EDT 2012
7th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA
THEORY AND APPLICATIONS
LATA 2013
Bilbao, Spain
April 2-5, 2013
Organized by:
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
<http://grammars.grlmc.com/LATA2013/>http://grammars.grlmc.com/LATA2013/
AIMS:
LATA is a yearly conference in theoretical
computer science and its applications. Following
the tradition of the International Schools in
Formal Languages and Applications developed at
Rovira i Virgili University in Tarragona since
2002, LATA 2013 will reserve significant room for
young scholars at the beginning of their career.
It will aim at attracting contributions from both
classical theory fields and application areas
(bioinformatics, systems biology, language
technology, artificial intelligence, etc.).
VENUE:
LATA 2013 will take place in Bilbao, at the
Basque Country in Northern Spain. The venue will
be the Basque Center for Applied Mathematics (BCAM).
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, concurrency and Petri nets
â automatic structures
â cellular automata
â combinatorics on words
â computability
â computational complexity
â computational linguistics
â data and image compression
â decidability questions on words and languages
â descriptional complexity
â DNA and other models of bioâinspired computing
â document engineering
â foundations of finite state technology
â foundations of XML
â fuzzy and rough languages
â grammars (Chomsky hierarchy, contextual,
multidimensional, unification, categorial, etc.)
â grammars and automata architectures
â grammatical inference and algorithmic learning
â graphs and graph transformation
â language varieties and semigroups
â languageâbased cryptography
â languageâtheoretic foundations of
artificial intelligence and artificial life
â parallel and regulated rewriting
â parsing
â pattern recognition
â patterns and codes
â power series
â quantum, chemical and optical computing
â semantics
â string and combinatorial issues in computational biology and bioinformatics
â string processing algorithms
â symbolic dynamics
â symbolic neural networks
â term rewriting
â transducers
â trees, tree languages and tree automata
â weighted automata
STRUCTURE:
LATA 2013 will consist of:
â invited talks
â invited tutorials
â peerâreviewed contributions
INVITED SPEAKERS:
Jin-Yi Cai (Madison), Complexity Dichotomy for Counting Problems
Kousha Etessami (Edinburgh), Algorithms for
Analyzing Infinite-state Recursive Probabilistic Systems
Luke Ong (Oxford), tutorial Languages and
Automata for Higher-order Model Checking
Joël Ouaknine (Oxford), tutorial Discrete Linear Dynamical Systems
Thomas Schwentick (Dortmund), Applications of
Automata in Database Theory -- Challenges to Automata Theory from Databases
Andrei Voronkov (Manchester), The Lazy Reviewer Assignment Problem in EasyChair
PROGRAMME COMMITTEE:
Parosh Aziz Abdulla (Uppsala)
Franz Baader (Dresden)
Jos Baeten (CWI, Amsterdam)
Christel Baier (Dresden)
Gerth Stølting Brodal (Aarhus)
John Case (Delaware)
Marek Chrobak (Riverside)
Mariangiola Dezani (Torino)
Rod Downey (Wellington)
Ding-Zhu Du (Dallas)
Ivo Düntsch (Brock)
E. Allen Emerson (Austin)
Javier Esparza (Technical University Munich)
Michael R. Fellows (Darwin)
Alain Finkel (ENS Cachan)
Dov M. Gabbay (Kingâs, London)
Jürgen Giesl (Aachen)
Rob van Glabbeek (NICTA, Sydney)
Georg Gottlob (Oxford)
Annegret Habel (Oldenburg)
Reiko Heckel (Leicester)
Sanjay Jain (Singapore)
Charanjit S. Jutla (IBM Thomas J. Watson)
Ming-Yang Kao (Northwestern)
Deepak Kapur (Albuquerque)
Joost-Pieter Katoen (Aachen)
S. Rao Kosaraju (Johns Hopkins)
Evangelos Kranakis (Carleton)
Hans-Jörg Kreowski (Bremen)
Tak-Wah Lam (Hong Kong)
Gad M. Landau (Haifa)
Kim G. Larsen (Aalborg)
Richard Lipton (Georgia Tech)
Jack Lutz (Iowa State)
Ian Mackie (Ãcole Polytechnique, Palaiseau)
Rupak Majumdar (Max Planck, Kaiserslautern)
Carlos MartÃn-Vide (Tarragona, chair)
Paliath Narendran (Albany)
Tobias Nipkow (Technical University Munich)
David A. Plaisted (Chapel Hill)
Jean-François Raskin (Brussels)
Wolfgang Reisig (Humboldt Berlin)
Michaël Rusinowitch (LORIA, Nancy)
Davide Sangiorgi (Bologna)
Bernhard Steffen (Dortmund)
Colin Stirling (Edinburgh)
Alfonso Valencia (CNIO, Madrid)
Helmut Veith (Vienna Tech)
Heribert Vollmer (Hannover)
Osamu Watanabe (Tokyo Tech)
Pierre Wolper (Liège)
Louxin Zhang (Singapore)
ORGANIZING COMMITTEE:
Adrian Horia Dediu (Tarragona)
Peter Leupold (Tarragona)
Carlos MartÃnâVide (Tarragona, co-chair)
Magaly Roldán (Bilbao)
Bianca Truthe (Magdeburg)
Florentina Lilica Voicu (Tarragona)
Enrique Zuazua (Bilbao, co-chair)
SUBMISSIONS:
Authors are invited to submit papers presenting
original and unpublished research. Papers should
not exceed 12 singleâspaced pages (including
eventual appendices) and should be formatted
according to the standard format for Springer
Verlag's LNCS series (see
<http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0>http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).
Submissions have to be uploaded to:
<https://www.easychair.org/conferences/?conf=lata2013>https://www.easychair.org/conferences/?conf=lata2013
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 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
6, 2012 to April 2, 2013. The registration form
can be found at the website of the conference:
<http://grammars.grlmc.com/LATA2013/>http://grammars.grlmc.com/LATA2013/
FEES:
Early registration fees: 500 Euro
Early registration fees (PhD students): 400 Euro
Late registration fees: 540 Euro
Late registration fees (PhD students): 440 Euro
Onâsite registration fees: 580 Euro
Onâsite registration fees (PhD students): 480 Euro
At least one author per paper should register.
Papers that do not have a registered author who
paid the fees by January 2, 2013 will be excluded from the proceedings.
One registration gives the right to present only one paper.
Fees comprise access to all sessions, one copy of
the proceedings volume, coffee breaks and lunches.
PAYMENT:
Early (resp. late) registration fees must be paid
by bank transfer before January 2, 2013 (resp.
March 23, 2013) to the conference bank account:
Uno-e Bank
bankâs address: Julian Camarillo 4 C, 28037 Madrid, Spain
IBAN: ES3902270001820201823142
BIC/SWIFT: UNOEESM1
account holder: C. Martin GRLMC
account holderâs address: Av. Catalunya 35, 43002 Tarragona, Spain
Please mention LATA 2013 and your name in the
subject. A receipt will be provided on site.
Remarks:
- Bank transfers should not involve any expense for the conference.
- People claiming early registration will be
requested to prove that the bank transfer order
was carried out by the deadline.
- PhD students will need to provide evidence of their status on site.
People registering on site must pay in cash. For
the sake of local organization, however, it is
much recommended to do it earlier.
DEADLINES:
Paper submission: November 9, 2012 (23:59h, CET)
Notification of paper acceptance or rejection: December 16, 2012
Final version of the paper for the LNCS proceedings: December 25, 2012
Early registration: January 2, 2013
Late registration: March 23, 2013
Starting of the conference: April 2, 2013
End of the conference: April 5, 2013
Submission to the postâconference journal special issue: July 5, 2013
QUESTIONS AND FURTHER INFORMATION:
florentinalilica.voicu at urv.cat
POSTAL ADDRESS:
LATA 2013
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain
Phone: +34â977â559543
Fax: +34â977â558386
ACKNOWLEDGEMENTS:
Basque Center for Applied Mathematics
Diputació de Tarragona
Universitat Rovira i Virgili
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20120915/48a62f32/attachment.html>
More information about the FOM
mailing list