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

AISB Convention 2014

AISB-50: a convention commemorating both 50 years since the founding of the society for the study of Artificial Intelligence and the Simulation of Behaviour (the AISB) and sixty years since the death of Alan Turing, founding fathe...


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

CALL FOR PAPERS: Language and Automata Theory and Applications, 10-14 Mar 2014, Madrid, SPAIN

http://grammars.grlmc.com/lata2014/

Organized by:

 Research Group on Implementation of Language-Driven Software and
 Applications (ILSA)
 Complutense University of Madrid

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

http://grammars.grlmc.com/lata2014/

 *********************************************************************


 AIMS:

 LATA is a yearly conference on theoretical computer science and its
 applications. Following the tradition of the diverse PhD training events in
 the field developed at Rovira i Virgili University in Tarragona since 2002,
 LATA 2014 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, language technology,
 artificial intelligence, etc.).

 VENUE:

 LATA 2014 will take place in Madrid, the capital of Spain. The venue will be
 the School of Informatics of Complutense University.

 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
 codes
 combinatorics on words
 compilers
 computability
 computational complexity
 data and image compression
 decidability issues on words and languages
 descriptional complexity
 DNA and other models of bio-inspired computing
 digital libraries and document engineering
 foundations of finite state technology
 foundations of XML
 fuzzy and rough languages
 grammars (Chomsky hierarchy, contextual, unification, categorial, etc.)
 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
 natural language and speech automatic processing
 parallel and regulated rewriting
 parsing
 patterns
 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 2014 will consist of:

 invited talks
 invited tutorials
 peer-reviewed contributions

 INVITED SPEAKERS:

 Javier Esparza (Munich Tech, DE)
 Leslie A. Goldberg (Oxford, UK)
 Oscar H. Ibarra (Santa Barbara, US)
 Sanjeev Khanna (Philadelphia, US)
 Helmut Seidl (Munich Tech, DE)

 PROGRAMME COMMITTEE:

 Dana Angluin (Yale, US)
 Eugene Asarin (Paris Diderot, FR)
 Jos Baeten (Amsterdam, NL)
 Christel Baier (Dresden, DE)
 Jan Bergstra (Amsterdam, NL)
 Jin-Yi Cai (Madison, US)
 Marek Chrobak (Riverside, US)
 Andrea Corradini (Pisa, IT)
 Mariangiola Dezani (Turin, IT)
 Ding-Zhu Du (Dallas, US)
 Michael R. Fellows (Darwin, AU)
 Jrg Flum (Freiburg, DE)
 Nissim Francez (Technion, IL)
 Jrgen Giesl (Aachen, DE)
 Annegret Habel (Oldenburg, DE)
 Kazuo Iwama (Kyoto, JP)
 Sampath Kannan (Philadelphia, US)
 Ming-Yang Kao (Northwestern, US)
 Deepak Kapur (Albuquerque, US)
 Joost-Pieter Katoen (Aachen, DE)
 S. Rao Kosaraju (Johns Hopkins, US)
 Evangelos Kranakis (Carleton, CA)
 Gad M. Landau (Haifa, IL)
 Andrzej Lingas (Lund, SE)
 Jack Lutz (Iowa State, US)
 Ian Mackie (cole Polytechnique, FR)
 Carlos Martn-Vide (Tarragona, ES, chair)
 Giancarlo Mauri (Milan, IT)
 Faron G. Moller (Swansea, UK)
 Paliath Narendran (Albany, US)
 Enno Ohlebusch (Ulm, DE)
 Helmut Prodinger (Stellenbosch, ZA)
 Jean-Franois Raskin (Brussels, BE)
 Wolfgang Reisig (Humboldt Berlin, DE)
 Marco Roveri (Bruno Kessler, Trento, IT)
 Michal Rusinowitch (LORIA, Nancy, FR)
 Yasubumi Sakakibara (Keio, JP)
 Davide Sangiorgi (Bologna, IT)
 Colin Stirling (Edinburgh, UK)
 Jianwen Su (Santa Barbara, US)
 Jean-Pierre Talpin (IRISA, Rennes, FR)
 Andrzej Tarlecki (Warsaw, PL)
 Rick Thomas (Leicester, UK)
 Sophie Tison (Lille, FR)
 Rob van Glabbeek (NICTA, Sydney, AU)
 Helmut Veith (Vienna Tech, AT)

 ORGANIZING COMMITTEE:

 Adrian Horia Dediu (Tarragona)
 Ana Fernndez-Pampilln (Madrid)
 Carlos Martn-Vide (Tarragona, co-chair)
 Antonio Sarasa (Madrid)
 Jos-Luis Sierra (Madrid, co-chair)
 Bianca Truthe (Magdeburg)
 Florentina Lilica Voicu (Tarragona)

 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) 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=lata2014

 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 July 15, 2013 to March 10, 2014.
 The registration form can be found at:

http://grammars.grlmc.com/lata2014/Registration.php

 DEADLINES:

 Paper submission: October 14, 2013 (23:59 CET)
 Notification of paper acceptance or rejection: November 25, 2013
 Final version of the paper for the LNCS proceedings: December 2, 2013
 Early registration: December 9, 2013
 Late registration: February 24, 2014
 Starting of the conference: March 10, 2014
 End of the conference: March 14, 2014
 Submission to the post-conference journal special issue: June 14, 2014

 QUESTIONS AND FURTHER INFORMATION:

 florentinalilica.voicu@urv.cat

 POSTAL ADDRESS:

 LATA 2014
 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:

 Departament d?Economia i Coneixement, Generalitat de Catalunya
 Universidad Complutense de Madrid
 Universitat Rovira i Virgili