CFProposal AISB2018

  The Society for the Study of Artificial Intelligence and Simulation for Behaviour (AISB) is soliciting proposals for symposia to be held at the AISB 2018 convention.The longest running convention on Artificial Intelligence, A...


Insurance AI Analy...

Insurance AI Analytics Summit, October 9-10, London Join us for Europe’s only AI event dedicated to insurance where 300 attendees will unite from analytics, pricing, marketing, claims and underwriting. You’ll find out how advan...


AISB 2018 Convention

  The longest running convention on Artificial Intelligence, AISB 2018 will be held at the University of Liverpool, chaired by Floriana Grasso and Louise Dennis. As in the past years, AISB 2018 will provide a unique forum for p...


AI Summit London

     The AI Summit London: The World’s Number One AI Event for Business  Date: 9-10 May 2017 Venue: Business Design Centre, London. The AI Summit is the world’s first and largest/number one conference exhibition dedicated to t...


AISB Wired Health

    AISB and WIRED events have partnered to bring together inspirational high-profile speakers. Join hundreds of healthcare, pharmaceutical and technology influencers and leaders at the 4th Annual WIRED Health event, taking pl...


Hugh Gene Loebner

  The AISB were sad to learn last week of the passing of philanthropist and inventor Hugh Gene Loebner PhD, who died peacefully in his home in New York at the age of 74.  Hugh was founder and sponsor of The Loebner Prize, an an...


AI Europe 2016

  Partnership between AISB and AI Europe 2016: Next December 5th and 6th in London, AI Europe will bring together the European AI eco-system by gathering new tools and future technologies appearing in professional fields for th...


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


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



AISB opportunities Bulletin Item

FINAL CALL FOR PAPERS: Coalgebraic Methods in Computer Science, 31 Mar-1 Apr 2012, Tallin, ESTONIA

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

              *** Proceedings to be published in Springer LNCS ***

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 (  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 and University of 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