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


Erden in AI roundtab...

On Friday 4th September, philosopher and AISB member Dr Yasemin J Erden, participated in an AI roundtable at Second Home, hosted by Index Ventures and SwiftKey.   Joining her on the panel were colleagues from academia and indu...


AISB Convention 2016

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 2016 Convention will be held at the Uni...


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


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



AISB event Bulletin Item

2nd CALL FOR PAPERS: Coalgebraic Methods in Computer Science, 31 Mar - 1 April 2012, Tallinn, ESTONIA


The 11th International Workshop on Coalgebraic Methods in Computer Science (co-located with ETAPS 2012)

Aims and scope

In more than a decade of research, it has been established that a wide variety of state-based 
dynamical systems, like transition systems, automata (including weighted and probabilistic variants),
Markov chains, and game-based systems, can be treated uniformly as coalgebras. Coalgebra has 
developed into a field of its own interest presenting a deep mathematical foundation, a growing 
field of applications, and interactions with various other fields such as reactive and interactive 
system theory, object-oriented and concurrent programming, formal system specification, modal and 
description logics, artificial intelligence, dynamical systems, control systems, category theory, 
algebra, analysis, etc. The aim of the CMCS workshop series is to bring together researchers with 
a common interest in the theory of coalgebras, their logics, and their applications.

The topics of the workshop include, but are not limited to:

   * the theory of coalgebras (including set theoretic and categorical
   * coalgebras as computational and semantic models (for programming
     languages, dynamical systems, etc.);
   * coalgebras in (functional, object-oriented, concurrent) programming;
   * coalgebras and data types;
   * (coinductive) definition and proof principles for coalgebras (with
     bisimulations or invariants);
   * coalgebras and algebras;
   * coalgebraic specification and verification;
   * coalgebras and (modal) logic;
   * coalgebra and control theory (notably of discrete event and hybrid

Keynote Speaker

Samson Abramsky, Oxford University, UK

Invited Speakers

Marcello Bonsangue,  Leiden University, The Netherlands Pawel Sobocinski, University of Southampton, UK


Submission is electronic via the easychair system at


following the submission guidelines below. We solicit two types of

(a) Regular papers to be evaluated by the PC for publication in the

  They must have a length no greater than 20 pages, formatted in LNCS
  style (http://www.springer.de/comp/lncs/authors.html).  They must
  contain original contributions, be clearly written, and include
  appropriate reference to and comparison with related work.

(b) Short contributions:

  These will not be published in the proceedings but will be bundled in
  a technical report. They should be no more than two pages in LNCS
  format and may describe work in progress, summarise work submitted to
  a conference or workshop elsewhere, or in some other way appeal to
  the CMCS audience.

Proceedings Publication

The proceedings of CMCS 2012 will be published in Springer Lecture Notes in Computer Science. The 
final proceedings will be published post-conference and feature revised versions of the accepted 
regular papers. Preliminary proceedings will be made available at the conference in electronic form.

Depending on the number and quality of submissions, we will consider publishing extended and 
revised papers as a journal special issue, subject to the usual reviewing procedure. Previous 
special issues of CMCS have appeared in high-ranking journals including Information and Computation
and Theoretical Computer Science.

Important dates

( for regular papers )
* 4 January 2012: submission deadline (strict)
* 3 February 2012: author notification
* 7 February 2012: final version

( for short contributions )
* 27 February 2012: submission deadline (strict)
* 6 March 2010: author notification

( workshop )
* 31 March - 1 April 2012

Programme Committee

Luis Barbosa, University of Minho, Braga, Portugal Filippo Bonchi, LIP ENS-Lyon, France Josee 
Desharnais, Universit Laval, Canada Mai Gehrke, Radboud University Nijmegen, The Netherlands H. 
Peter Gumm, University of Marburg, Germany Ichiro Hasuo, University of Tokyo, Japan Patricia 
Johann, University of Strathclyde, Glasgow, Scotland, UK Ekaterina Komendantskaya, University of 
Dundee, Scotland, UK Dexter Kozen, Cornell University, Ithaca, NY, USA Dorel Lucanu,  Alexandru 
Ioan Cuza University, Iasi, Romania Stefan Milius, Technical University of Braunschweig, Germany 
Larry Moss, Indiana University, Bloomington, USA Prakash Panangaden, McGill University, Montreal,
Canada Dirk Pattinson, Imperial College London, UK (co-chair) Dusko Pavlovic, Royal Holloway, 
London, UK Daniela Petrisan, University of Leicester, UK Grigore Rosu, University of Illinois at 
Urbana-Champaign, USA Jan Rutten, CWI and Radboud University Nijmegen, The Netherlands Luigi 
Santocanale, University of Provence, Marseille, France Lutz Schrder, DFKI GmbH, Bremen, Germany 
(co-chair) Alexandra Silva, CWI, Amsterdam, The Netherlands Ana Sokolova, University of Salzburg,
Austria Sam Staton, University of Cambridge, UK Yde Venema, University of Amsterdam, The Netherlands

Steering Committee

Jiri Adamek, Technical University of Braunschweig, Germany Corina Cirstea, University of 
Southampton, UK H. Peter Gumm (chair), University of Marburg, Germany Bart Jacobs, Radboud 
University Nijmegen, The Netherlands Alexander Kurz, University of Leicester, UK Marina Lenisa, 
University of Udine, Italy Ugo Montanari, University of Pisa, Italy Larry Moss, Indiana University,
Bloomington, USA Dirk Pattinson, Imperial College London, UK John Power, University of Bath,
UK Horst Reichel, Technical University of Dresden, Germany Jan Rutten, CWI and Radboud University 
Nijmegen, The Netherlands Lutz Schrder, DFKI GmbH and University of Bremen, Germany .