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: Workshop on Logic-based methods in Programming Environments WLPE08


WLPE'08 -- Call for Papers

The 18th Workshop on Logic-based methods in  Programming Environments


                 December 9th-13th 2008, Udine, Italy

                  (Satellite Workshop of ICLP 2008)

The 18th  Workshop on Logic-based methods  in Programming Environments
will  take place in  Udine (Italy),  as a  satellite workshop  of ICLP
2008,  the 24th  International Conference  on Logic  Programming. This
workshop  will   continue  the  series   of  successful  international
workshops on logic programming  environments held in Ohio, USA (1989),
Eilat,  Israel  (1990), Paris,  France  (1991),  Washington D.C.,  USA
(1992),  Vancouver,  Canada  (1993),  Santa Margherita  Ligure,  Italy
(1994), Portland, USA (1995),  Leuven, Belgium (1997), Las Cruces, USA
(1999),  Paphos, Cyprus  (2001), Copenhagen,  Denmark  (2002), Mumbai,
India  (2003), Saint  Malo, France  (2004), Sitges  (Barcelona), Spain
(2005),  Seattle,  USA  (2006)   and  Porto,  Portugal  (2007).   More
information  about  the series  of  WLPE  workshops  can be  found  at

The  workshop aims at  providing an  informal meeting  for researchers
working  on  logic-based  methods  and  tools  which  support  program
development  and  analysis.   This  year,  we  plan  to  continue  and
consolidate  the shift  in focus  from environmental  tools  for logic
programming  to  logic-based environmental  tools  for programming  in
general, so that this workshop can be possibly interesting for a wider
scientific   community.   In  addition   to  papers   describing  more
conceptual  and theoretical  work, the  call for  papers  will solicit
papers describing the implementation of, and the experience with, such
tools.  Areas  particularly relevant to the workshop  include (but are
not limited to):

  -  static and dynamic analysis
  -  debugging and testing
  -  program verification and validation
  -  code generation from specifications
  -  termination and non-termination analysis
  -  reasoning on occurs-check freeness and determinacy
  -  profiling and performance analysis
  -  type- and mode analysis
  -  module systems
  -  optimization tools

Authors who are interested in taking part in the workshop, but are
unsure if their work falls within its scope, are invited to contact
the organizers and will be given suitable advice.

Workshop Organizers
    Puri Arenas
    Facultad de Informatica
    Universidad Complutense de Madrid
    28040-Madrid, Spain
    Email: puri@sip.ucm.es
    Phone: +34 91 394 76 33
    Fax: +34 91 336 50 18

    Damiano Zanardini
    Facultad de Informatica
    Universidad Politecnica de Madrid
    28660-Boadilla del Monte, Madrid, Spain
    Email: damiano@clip.dia.fi.upm.es
    Phone:  +34 91 336 74 48
    Fax: +34 91 394 75 29

Program Committee

 - Puri Arenas, Universidad Complutense de Madrid (ws co-chair)
 - Michael Codish, Ben-Gurion University of the Negev
 - Roberta Gori, Universita di Pisa
 - Arnaud Gotlieb, IRISA/CNRS UMR 6074
 - Patricia Hill, University of Leeds
 - Jacob Howe, City University, London
 - Sabina Rossi, Universita Ca' Foscari di Venezia
 - Tom Schrijvers, K.U.Leuven
 - Alexander Serebrenik, Technische Universiteit Eindhoven
 - Wim Vanhoof, University of Namur
 - German Vidal, Universidad Politecnica de Valencia
 - Damiano Zanardini, Universidad Politecnica de Madrid (ws co-chair)

Important Dates

  Submission:   September 15th, 2008 (23:59:59 Samoa time (GMT -11))
  Notification: October 8th, 2008
  Camera-ready: October 26th, 2008
  Workshop:     TBA (probably Dec 9th or Dec 13th, half-day)


Papers should be submitted to


The  length of papers  can range  from 2  to 15  pages in  LNCS style.
Informal proceedings  will be distributed at the  workshop.  After the
workshop,  proceedings  will be  available  on-line  in the  Computing
Research Repository (CoRR).

In  addition to  papers  describing conceptual  and theoretical  work,
papers describing the implementation  of and the experience with tools
are welcome.