Bishop and AI news

Stephen Hawking thinks computers may surpass human intelligence and take over the world. This view is based on the ideology that all aspects of human mentality will eventually be realised by a program running on a suitable compu...


Connection Science

All individual members of The Society for the Study of Artificial Intelligence and Simulation of Behaviour have a personal subscription to the Taylor Francis journal Connection Science as part of their membership. How to Acce...


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


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


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


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


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


AISB YouTube Channel

The AISB has launched a YouTube channel: ( The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...



AISB miscellaneous Bulletin Item

CFP: Special issue: Intuitionistic Modal Logics and Applications (IMLA)

Call for Papers

Special Issue of Information and Computation on
Intuitionistic Modal Logics and Applications (IMLA)

Guest Editors: Valeria de Paiva, Brigitte  Pientka and Aleks Nanevski

Submission deadline: 31. May, 2009

Constructive modal logics and type theories are of increasing
foundational and practical relevance in computer science. Applications
are in type disciplines for programming languages, and meta-logics for
reasoning about a variety of computational phenomena.
Theoretical and methodological issues center around the question of
how the proof-theoretic strengths of constructive logics can best be
combined with the model-theoretic strengths of modal logics. Practical
issues center around the question of which modal connectives with
associated laws or proof rules capture computational phenomena
accurately and at the right level of abstraction and how to implement
these efficiently.

There have been a series of   LICS-affiliated workshops devoted to the
theme. The first one was held as part of FLoC1999, Trento, Italy, the
second was part  of FLoC2002, Copenhagen, Denmark, the third was
associated with LiCS2005, Chicago, USA and the last one was associated
with LICS 2008 in Pittsburgh, PA, USA. Two special issues of journals
on the theme have already appeared,  a Mathematical Structures in
Computer Science volume edited by Matt Fairtlough, Michael Mendler and
  Eugenio Moggi ( Modalities in type theory) in 2001, and a special
issue of  the Journal of Logic and Computation  in 2004
(Intuitionistic Modal Logics and Application, eds. Valeria de Paiva,
R. Gore ad M. Mendler).

We are hereby soliciting papers for a further special volume
  of Information and Computation, devoted to Intuitionistic Modal
Logics and Applications. We hope to cover the novel applications
presented in the last two workshops, especially applications to
computer security, automated deduction and  computational linguistics,
but also to include work not presented at the workshops. The proposed
timeline  of events is as follows:
* Papers (preferably under 20 pages long) should be submitted by 31st
May  2009
* Reviews will be provided until the end of August 2009 and the volume
should be ready by the end of the Fall.

Topics  of interest include, but are not limited to:

* applications of intuitionistic necessity and possibility
* monads and strong monads
* constructive belief logics and type theories
* applications of constructive modal logic and modal type theory to
formal verification, foundations of security, abstract interpretation,
and program analysis and optimization
* modal types for integration of inductive and co-inductive types,
higher-order abstract syntax, strong functional programming
* models of constructive modal logics such as algebraic, categorical,
Kripke, topological, and realizability interpretations
* notions of proof for constructive modal logics
* extraction of constraints or programs from modal proofs
* proof search methods for constructive modal logics and their implementations.

Please contact one of the editors (Valeria de Paiva or  Brigitte Pientka if
you're not sure that your paper is within the scope of this special
volume. Submissions should be 10 to 20  pages  long and sent in
PostScript or PDF format to one of the editors, before the 31st
May 2009.