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

CFP: FCT 2009: Fundamentals of Computer Theory


Call for Papers

                           FCT 2009
17th International Symposium on Fundamentals of Computer Theory

               September 2-4, 2009, Wroclaw, Poland


The Symposium on  Fundamentals of  Computation Theory was  established in 1977
for researchers interested in all aspects of theoretical computer science,  as
well as new emerging  fields such as bio-inspired computing.  It is a biennial
series of conferences previously held in Poznan (Poland, 1977), Wendisch-Rietz
(Germany,  1979),  Szeged (Hungary, 1981),  Borgholm (Sweden,  1983),  Cottbus
(Germany, 1985),  Kazan (Russia, 1987),  Szeged (Hungary, 1989),  Gosen-Berlin
(Germany,  1991),  Szeged (Hungary,  1993),  Dresden (Germany,  1995),  Krakow
(Poland,  1997),  Iasi (Romania,  1999), Riga (Latvia,  2001),  Malmo (Sweden,
2003), Lubeck (Germany, 2005), and Budapest (Hungary, 2007).

In 2009,  FCT will be hosted by Wroclaw University of Technology in south-west
part of Poland.


The conference  proceedings will be published  (as usual) in the Lecture Notes
in Computer Science series of Springer-Verlag.


Authors are invited to  submit papers presenting original unpublished research
in all areas of theoretical computer science.  Topics of interest include (but
not limited to):

* Algorithms: algorithm design and optimization; combinatorics and analysis of
  algorithms;  computational complexity;  approximation, randomized, and
  heuristic methods;  parallel  and distributed computing;  circuits and
  boolean functions; online algorithms;  machine learning and artificial
  intelligence; computational geometry; computational algebra; ...

* Formal methods: automata and formal languages; computability and nonstandard
      computing models; algebraic and categorical methods;  logics and model
      checking;  principles of programming languages;  program analysis  and
      transformation;  specification,  refinement  and  verification;   type
      systems;  concurrency theory;  database theory,  semi-structured  data
      and finite  model theory;  models of reactive,  hybrid and  stochastic
      systems; ...

* Emerging  fields:  security  and  cryptography;  ad hoc and  mobile systems;
      quantum computation; computational biology;high performance computing;
      algorithmic game theory; ...

Authors are invited to submit  a draft of  a full paper  with at most 12 pages
in the LNCS  style.  The paper should provide  sufficient detail  to allow the
Program  Committee  to  evaluate  its  validity,  quality,  and relevance.  If
necessary,  detailed  proofs  can  be  attached  as an appendix.  Simultaneous
submission to other conferences  with published proceedings or journals is not

For further information on the conference, please visit the URL at



Submission Deadline: 9 April, 2009, 23:59 GMT
(there will be no extensions)
Author Notification: 15 May, 2009
Camera Ready Manuscript Due: 22 May, 2009


Miroslaw Kutylowski (Wroclaw, Poland) - chair
Witold Charatonik (Wroclaw, Poland) - co-chair


Roberto Amadio (Paris, France)
Manuel Bodirsky (Paris, France)
Jacek Cichon (Wroclaw, Poland)
Anuj Dawar (Cambridge, United Kingdom)
Giorgio Delzanno (Genova, Italy)
Cunsheng Ding (Hong Kong, China)
Thomas Erlebach (Leicester, United Kingdom)
Joachim von zur Gathen (Bonn, Germany)
Andrew D. Gordon (Cambridge, United Kingdom)
Thomas Jansen (Dortmund, Germany)
Stasys Jukna (Frankfurt, Germany)
Maciej Koutny (Newcastle, United Kingdom)
Antonin Kucera (Prague, Czech Republic)
Stefano Leonardi (Rome, Italy)
Maciej Liskiewicz (Lubeck, Germany)
Tomasz Luczak (Poznan, Poland)
Alexander Okhotin (Turku, Finland)
Andreas Podelski (Freiburg, Germany)
Sergio Rajsbaum (Mexico, Mexico)
Jose Rolim (Geneva, Switzerland)
Piotr Sankowski (Warszawa, Poland)
Vladimiro Sassone (Southampton, United Kingdom)
Helmut Seidl (Munchen, Germany)
Maria Jose Serna Iglesias (Barcelona, Spain)
Paul Spirakis (Patras, Greece)
Jean-Marc Talbot (Provence, France)
Jerzy Tiuryn (Warszawa, Poland)
Stephan Waack (Gottingen, Germany)
Igor Walukiewicz (Bordeaux, France)
Thomas Zeugmann (Hokkaido, Japan)


Bogdan Chlebus (Warszawa/Denver, Poland/USA)
Zoltan Esik (Szeged, Hungary)
Marek Karpinski - chair (Bonn, Germany)
Andrzej Lingas (Lund, Sweden)
Miklos Santha (Paris, France)
Eli Upfal (Providence, USA)
Ingo Wegener (Dortmund, Germany)