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 al-Rifaie ( Tu...


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


Computerised Minds. ...

A video sponsored by the society discusses Searle's Chinese Room Argument (CRA) and the heated debates surrounding it. In this video, which is accessible to the general public and those with interest in AI, Olly's Philosophy Tube ...


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



AISB event Bulletin Item

CFP: LCC09, Logic and Computational Complexity


The Tenth International Workshop on Logic and Computational Complexity
(LCC'09, will be held in Los Angeles on
August 10, 2009, as an affiliated meeting of LiCS'09
and in conjunction with SAS'09 (

LCC meetings are aimed at the foundational interconnections between
logic and computational complexity, as present, for example, in implicit
computational complexity (descriptive and type-theoretic methods);
deductive formalisms as they relate to complexity (e.g. ramification,
weak comprehension, bounded arithmetic, linear logic and resource logics);
complexity aspects of finite model theory and databases;
complexity-mindful program derivation and verification;
computational complexity at higher type; and proof complexity.

The LCC'09 program consists of invited lectures by Andrei Bulatov,
Martin Hofmann, Phokion Kolaitis, Lars Kristiansen, and
Michel de Rougemont, as well as contributed papers.
The full program is available at

For additional information see,
or email inquiries to
Further information about previous LCC meetings can be found at


   * Patrick Baillot (CNRS-ENS Lyons, Co-chair)
   * Markus Lohrey (Leipzig, Co-Chair)
   * Albert Atserias (UP de Catalunya)
   * Pablo Barcelo (U de Chile)
   * Arnold Beckmann (Swansea)
   * Lauri Hella (Tampere)
   * Andrei Krokhin (Durham)
   * Chris Pollett (San Jose SU)

STEERING COMMITTEE: Michael Benedikt (Oxford, Co-chair),
Daniel Leivant (Indiana U, Co-chair), Robert Constable (Cornell),
Anuj Dawar (Cambridge), Fernando Ferreira (Lisbon),
Martin Hofmann (U Munich), Neil Immerman (U Mass. Amherst),
Neil Jones (Copenhagen), Bruce Kapron (U Victoria),
Jean-Yves Marion (LORIA Nancy), Luke Ong (Oxford),
Martin Otto (Darmstadt), James Royer (Syracuse),
Helmut Schwichtenberg (U Munich), and Pawel Urzyczyn (Warsaw)