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


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 PARTICIPATION & STUDENT PAPERS: "Two Faces of Complexity", 29 May 2011, SERBIA

2FC'11, Novi Sad (Serbia)

In recent  years there have  been several approaches to  the automated analysis of  the complexity
of programs. Mostly  these approaches have been  developed   independently  and   use  a  variety
of  different techniques.   This  workshop  aims   to  bring  together  the  leading researchers
working in this area. In particular we are interested in a transfer  of knowledge between  
researchers working  on model-checking and on  rewriting. While these communities essentially  
solve the same problems the  techniques (and sometimes even the  terminology) used is quite different.

In  order  to  provide  the  best  possible  interaction  between  the different  concerned  
communities,  the  workshop  is  centred  around invited presentations: two tutorial  and 6 
technical invited talks. In addition  to  these,  we  will  invite  contributed  papers  by  
early researches.  We are happy  to announce  that the  following colleagues agreed to  give 
invited presentations at this  workshop:

*) Amir Ben-Amram, Academic College of Tel-Aviv-Yaffo, Israel
*) Samir Genaim, Complutense University of Madrid, Spain
*) Juergen Giesl, RWTH Aachen, Germany
*) Nao Hirokawa, JAIST, Japan
*) Martin Hofmann, LMU Munich, Germany
*) Daniel Kroening, Oxford University
*) Jean-Yves Marion, Loria-INPL, France
*) Andreas Podelski, University of Freiburg, Germany

In addition to invited presentations we want to give early researchers (aka  PhD  students) the  
opportunity  to  contribute  papers to  this workshop.   Thus  we  invite  submissions  in  the  
form  of  extended abstracts  on the topics  of the  workshop. Mandatory  requirement for acceptance
of these short papers  is originality, that is, only papers presenting new  ideas (not published  
or presented elsewhere)  will be accepted. Furthermore  we will only accept  papers exclusively 
written by students.  Submissions should be  no more than 6 pages and uploaded to

The workshop  will take  place on  Sunday, May 29,  2011 in  Novi Sad, Serbia as  part of the 
Federated Conference on  Rewriting, Deduction, and Programming (RDP 2011).

Important dates:

*) Early registration deadline: April 10
*) Please register for the workshop via the RDP site.
*) Submission of student papers: April 30
*) Notification of acceptance: May 9
*) Registration deadline: May 10

For further information see the links on the workshop web site,,

or directly at

Georg Moser and Andrey Rybalchenko