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 opportunities Bulletin Item

LAST CALL FOR REGISTRATION: "International Spring School in Formal Languages and Applications", 18-22 April 2011, SPAIN

http://grammars.grlmc.com/ssfla2011/
Contact: Carlos Martin-Vide: carlos.martin@urv.cat

SSFLA 2011, organized by: Research Group on Mathematical Linguistics Rovira i Virgili University - Tarragona, Spain

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

ADDRESSED TO:

Undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics.

All courses will be made compatible in terms of schedule.

COURSES AND PROFESSORS:

Franz Baader (Dresden), Automata and Logic [advanced, 4 hours] Markus Holzer (Giessen), Computational Complexity [introductory, 14 hours] Thierry Lecroq (Rouen), Text Searching and Indexing [introductory, 10 hours] Rupak Majumdar (Kaiserslautern), Software Model Checking [introductory, 10 hours] Bernhard Steffen (Dortmund), Automata Learning from Theory to Application [introductory/advanced, 18 hours] Wolfgang Thomas (Aachen), omega-Automata and Infinite Games [introductory/advanced, 6 hours] Sheng Yu (London ON), Finite Automata and Regular Languages [introductory/advanced, 8 hours]

SCHOOL PAPER:

On a voluntary basis, within 6 months after the end of the School, students will be expected to draft an individual or jointly-authored research paper on a topic covered during the classes under the guidance of the lecturing staff.

REGISTRATION:

It has to be done on line at

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

FEES:

They are variable, depending on the number of courses each student takes. The rule is:

1 hour = 

- 10 euros (for payments until November 30, 2010),
- 15 euros (for payments after November 30, 2010). 

The fees must be paid to the School's bank account: 

Uno-e Bank (Julian Camarillo 4 C, 28037 Madrid, Spain): IBAN: ES3902270001820201823142 - Swift code: UNOEESM1 (account holder: Carlos Martin-Vide GRLMC)

Please mention SSFLA 2011 and your full name in the subject. An invoice will be provided on site. Bank transfers should not involve any expense for the School.

People registering on site at the beginning of the School must pay in cash. For the sake of local organization, however, it is recommended to complete the registration and the payment earlier.

ACCOMMODATION:

Information about accommodation is provided on the website of the School.

CERTIFICATES:

Students will be delivered a diploma stating the courses attended, their contents, and their duration. Those participants who will choose to be involved in a research paper will receive an additional certificate at the end of the task, independently on whether the paper will finally get published or not.

IMPORTANT DATES:

Announcement of the programme: October 8, 2010 Starting of the registration: October 11, 2010 Early registration deadline: November 30, 2010 Starting of the School: April 18, 2011 End of the School: April 22, 2011 

QUESTIONS AND FURTHER INFORMATION:

Carlos Martin-Vide: carlos.martin@urv.cat 

WEBSITE:

http://grammars.grlmc.com/ssfla2011/ 

POSTAL ADDRESS:

SSFLA 2011
Research Group on Mathematical Linguistics Rovira i Virgili University Av. Catalunya, 35
43002 Tarragona, Spain

Phone: +34-977-559543
Fax: +34-977-558386