AISB Convention 2015

The AISB Convention is an annual conference covering the range of AI and Cognitive Science, organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour. The 2015 Convention will be held at the Uni...


Read More...

Yasemin Erden on BBC

AISB Committee member, and Philosophy Programme Director and Lecturer, Dr Yasemin J. Erden interviewed for the BBC on 29 October 2013. Speaking on the Today programme for BBC Radio 4, as well as the Business Report for BBC world N...


Read More...

Mark Bishop on BBC ...

Mark Bishop, Chair of the Study of Artificial Intelligence and the Simulation of Behaviour, appeared on Newsnight to discuss the ethics of ‘killer robots’. He was approached to give his view on a report raising questions on the et...


Read More...

AISB YouTube Channel

The AISB has launched a YouTube channel: http://www.youtube.com/user/AISBTube (http://www.youtube.com/user/AISBTube). The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...


Read More...

Lighthill Debates

The Lighthill debates from 1973 are now available on YouTube. You need to a flashplayer enabled browser to view this YouTube video  


Read More...
01234

Notice

AISB event Bulletin Item

3rd CALL FOR PAPERS: 7th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, April 2-5, 2013, Bilbao, SPAIN

http://grammars.grlmc.com/LATA2013/

LATA 2013 - Organized by: Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University


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

Jol 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 Stlting Brodal (Aarhus)
John Case (Delaware)
Marek Chrobak (Riverside)
Mariangiola Dezani (Torino)
Rod Downey (Wellington)
Ding-Zhu Du (Dallas)
Ivo Dntsch (Brock)
E. Allen Emerson (Austin)
Javier Esparza (Technical University Munich)
Michael R. Fellows (Darwin)
Alain Finkel (ENS Cachan)
Dov M. Gabbay (King?s, London)
Jrgen 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-Jrg 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 Martn-Vide (Tarragona, chair)
Paliath Narendran (Albany)
Tobias Nipkow (Technical University Munich)
David A. Plaisted (Chapel Hill)
Jean-Franois Raskin (Brussels)
Wolfgang Reisig (Humboldt Berlin)
Michal 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 (Lige)
Louxin Zhang (Singapore)

ORGANIZING COMMITTEE:

Adrian Horia Dediu (Tarragona)
Peter Leupold (Tarragona)
Carlos Martn?Vide (Tarragona, co-chair)
Magaly Roldn (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).

Submissions have to be uploaded to:
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/

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