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

CALL FOR PAPERS: 7th IFIP Conference on Theoretical Computer Science, 26-28 Sep 2012, Amsterdam, THE NETHERLANDS

TCS 2012

===== General Info =====

The conference Theoretical Computer Science, which is held every two years, either in conjunction 
or in the framework of the IFIP World Computing Congress, is the meeting place of the TC1 community
where new results of computation theory are presented and more broadly experts in theoretical 
computer science meet to share insights and ask questions about the future directions of the field.

TCS Website:

TCS 2012 is associated with The Alan Turing Year 2012 (

Previous conferences of this series were held in Sendai (2000), Montreal (2002), Toulouse (2004), 
Santiago (2006), Milano (2008), Brisbane (2010).

===== Venue =====

TCS 2012 will be held at the Centrum Wiskunde & Informatica (CWI), Amsterdam (, 
The Netherlands.

===== Scope and Topics =====

Algorithms, Complexity and Models of Computation,  Logic, Semantics, Specification and Verification.

===== Invited Speakers =====

Rajeev Alur
Yuri Gurevich
Jiri Wiedermann

===== Proceedings =====

Accepted papers will be published in the Lecture Notes of Computer Science series.

===== Important Dates =====

Paper submission:  May 1
Notification:  June 25
Camera ready version:  July 16
TCS Conference:  September 26-28

===== Organisation =====

General chair:

Jos Baeten (

PC co-chairs:

Tom Ball ( and Frank de Boer 

PC committee:

Ahmed Bouajjani
Ana Cavalcanti
Peter Grnwald
Joseph Kiniry
Peter Mueller
David Naumann
Susanne Graf
Juraj  Hromkovic
Martin Kutrib
Aart Middeldorp
Jan Juerjens
Ugo Montanari
Catuscia Palamidessi
Jeff Shallit
Jan Rutten
Davide Sangiorgi
Igor Walukiewicz
Jim Woodcock