Al-Rifaie on BBC

AISB Committee member and Research Fellow at Goldsmiths, University of London, Dr Mohammad Majid al-Rifaie was interviewed by the BBC (in Farsi) along with his colleague Mohammad Ali Javaheri Javid on the 6 November 2014. He was a...


Read More...

Rose wins the Loebne...

After 2 hours of judging at Bletchley Park, 'Rose' by Bruce Wilcox was declared the winner of the Loebner Prize 2014, held in conjunction with the AISB.  The event was well attended, film live by Sky News and the special guest jud...


Read More...

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

Notice

AISB event Bulletin Item

2nd CALL FOR PAPERS: Methods for Modalities, 9-12 Nov 2011, SPAIN

http://personal.us.es/hvd/m4m/

7th Workshop on Methods for Modalities (M4M-7), Osuna, Spain

The 7th Methods for Modalities workshop will take place at a University
of Sevilla college in Osuna, a provincial town in between Malaga and
Sevilla. Confirmed invited speakers for the workshop are:

     * Melving Fitting, City University of New York
     * David Gabelaia, Academy of Sciences, Georgia
     * Andreas Herzig, IRIT, Toulouse
     * Thomas Schwentick, Technical University of Dortmund

The M4M workshop will be preceded by a one-day course for doctorate
students and interested researchers, on 9 November 2011. The PhD school
will be organized at the University of Malaga. The lecturers at the
PhD school will be:

     * Alexandru Baltag, Oxford University & University of Amsterdam,
       and Sonja Smets, University of Groningen
     * Yde Venema, University of Amsterdam

Part of M4M will be a half-day workshop LAMAS (Logical Aspects of
Multi-Agent Systems), see http://icr.uni.lu/lamas2011/ and the M4M page.

The proceedings of M4M Osuna will appear as a volume in the
Electronic Notes in Theoretical Computer Science (ENTCS) series.

Scope
-----
The workshop METHODS FOR MODALITIES (M4M) aims to bring together
researchers interested in developing algorithms, verification methods
and tools based on modal logics. Here the term "modal logics" is
conceived broadly, including temporal logic, description logic,
guarded fragments, conditional logic, temporal and hybrid logic, etc.

We strongly encourage young researchers and students to submit papers,
also about experimental and prototypical software tools which are
related to modal logics.

Paper Submissions
------------------
Authors are invited to submit papers in the following three categories.

- Regular papers up to 15 pages, describing original research.

- System descriptions of up to 12 pages, describing new systems or
significant upgrades of existing ones.

- Presentation-only papers, describing work recently published or
submitted (with a 15 page limit). These will not be included in the
proceedings, but pre-prints or post-prints can be made available to
participants.

Papers should be prepared in ENTCS proceedings style, and should be
submitted as .pdf. Submissions should be made via EasyChair at the
following address:

            https://www.easychair.org/conferences/?conf=m4m2011

The submission chair is not yet open. It will open at least one month
before the submission deadline and further notifications will be sent.

Important dates
---------------
     Deadline for submissions: July 15, 2011
     Notification: September 1, 2011
     Camera ready versions: September 15, 2011
     Workshop dates: November 9-12, 2011

==================================================================