CFProposal AISB2018

  The Society for the Study of Artificial Intelligence and Simulation for Behaviour (AISB) is soliciting proposals for symposia to be held at the AISB 2018 convention.The longest running convention on Artificial Intelligence, A...


Insurance AI Analy...

Insurance AI Analytics Summit, October 9-10, London Join us for Europe’s only AI event dedicated to insurance where 300 attendees will unite from analytics, pricing, marketing, claims and underwriting. You’ll find out how advan...


AISB 2018 Convention

  The longest running convention on Artificial Intelligence, AISB 2018 will be held at the University of Liverpool, chaired by Floriana Grasso and Louise Dennis. As in the past years, AISB 2018 will provide a unique forum for p...


AI Summit London

     The AI Summit London: The World’s Number One AI Event for Business  Date: 9-10 May 2017 Venue: Business Design Centre, London. The AI Summit is the world’s first and largest/number one conference exhibition dedicated to t...


AISB Wired Health

    AISB and WIRED events have partnered to bring together inspirational high-profile speakers. Join hundreds of healthcare, pharmaceutical and technology influencers and leaders at the 4th Annual WIRED Health event, taking pl...


Hugh Gene Loebner

  The AISB were sad to learn last week of the passing of philanthropist and inventor Hugh Gene Loebner PhD, who died peacefully in his home in New York at the age of 74.  Hugh was founder and sponsor of The Loebner Prize, an an...


AI Europe 2016

  Partnership between AISB and AI Europe 2016: Next December 5th and 6th in London, AI Europe will bring together the European AI eco-system by gathering new tools and future technologies appearing in professional fields for th...


AISB convention 2017

  In the run up to AISB2017 convention (, I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...



AISB event Bulletin Item


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


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.).


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).


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


LATA 2013 will consist of:

? invited talks
? invited tutorials
? peer?reviewed contributions


Jin-Yi Cai (Madison), Complexity Dichotomy for Counting Problems Kousha Etessami (Edinburgh), 
Algorithms for Analyzing Infinite-state Recursive Probabilistic Systems 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


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)


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)


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

Submissions have to be uploaded to:


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 


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:


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.


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


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


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



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


Basque Center for Applied Mathematics
Diputaci de Tarragona
Universitat Rovira i Virgili