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

Last CfP: LOPSTR'10


  Call for papers
             20th International Symposium on
     Logic-Based Program Synthesis and Transformation
                       LOPSTR 2010

          Hagenberg, Austria, July 23-25, 2010
                (co-located with PPDP 2010)



The  aim  of the LOPSTR series is to stimulate and  promote international
research  and collaboration  on logic-based program  development.  LOPSTR
is  open  to  contributions in  logic-based  program  development  in any
language paradigm. LOPSTR  has a reputation for  being a lively, friendly
forum for presenting and discussing work in  progress. Formal proceedings
are produced only after the  symposium, so  authors  can  incorporate the
feedback in the published papers.

The  20th International Symposium on  Logic-based Program  Synthesis  and
Transformation (LOPSTR 2010) will be held in Hagenberg, Austria; previous
symposia were held in Coimbra, Valencia, Lyngby, Venice, London,  Verona,
Uppsala, Madrid, Paphos, London, Venice, Manchester,  Leuven,  Stockholm,
Arnhem, Pisa, Louvain-la-Neuve, and  Manchester.  LOPSTR 2010 will be co-
located  with  PPDP 2010 (12th  International  ACM  SIGPLAN  Symposium on
Principles and Practice of Declarative Programming).


Topics of interest cover all aspects of logic-based  program development,
all stages of the software life cycle, and issues of both programming-in-
the-small and programming-in-the-large. Papers describing applications in
these areas are especially welcome.  Contributions  are  welcome  on  all
aspects of logic-based program development,  including,  but not  limited

specification                         synthesis
verification                          transformation
analysis                              optimisation
specialization                        inversion
composition                           program/model manipulation
certification                         security
transformational techniques in SE     applications and tools

Survey papers that present some aspect of the  above  topics  from  a new
perspective,  and  application  papers,  that  describe  experience  with
industrial applications, are also welcome.  Papers must describe original
work,  be written and  presented in  English, and  must not substantially
overlap with papers that have been published or that  are  simultaneously
submitted to a journal  or a conference  with refereed  proceedings. Work
that already appeared in unpublished or  informally  published  workshops
proceedings may be submitted.

Following  past  editions,  formal  post-conference  proceedings  will be
published by Springer-Verlag in the LNCS series.


Paper/extended abstract submission:   March 25, 2010
Notification (for pre-proceedings):   May 15, 2010
Camera-ready (for pre-proceedings):   June 15, 2010
Symposium:                            July 23-25, 2010

Submissions can either be (short) extended  abstracts  or  (full)  papers
whose length should not exceed 9 and 15 pages, respectively.  Submissions
must be  formatted  in  the  Springer  LNCS  style (excluding well-marked
appendices not intended for publication).  Referees are not  required  to
read the appendices, and thus papers should be intelligible without them.
Short papers may describe work-in-progress or tool demonstrations.

Both short and  full  papers  can  be  accepted  for  presentation at the
symposium and will then appear  in the LOPSTR 2010  pre-proceedings. Full
papers can also be immediately accepted  for publication  in  the  formal
proceedings published by Springer-Verlag in the LNCS series. In addition,
after the symposium, the programme committee will select further short or
full  papers  presented  in  LOPSTR  2010  to  be  considered  for formal
publication. These authors will be invited to revise and/or extend  their
submissions in the light of the feedback solicited at the symposium. Then
after  another  round of  reviewing,  these  revised  papers can also  be
published in the formal post-proceedings.

Papers should be submitted electronically via the submission page
They should be in PDF format and interpretable by Acrobat Reader.

Invited Speakers:

Bruno Buchberger     RISC, Johannes Kepler University Linz, Austria
Olivier Danvy        University of Aarhus, Denmark
Johann Schumann      RIACS/NASA Ames Research Center, USA

Program Committee:

Maria Alpuente       Tech. University of Valencia (Chair), Spain
Sergio Antoy         Portland State University, USA
Gilles Barthe        IMDEA Software, Madrid
Manuel Carro         Tech. University of Madrid, Spain
Marco Comini         University of Udine, Italy
Danny De Schreye     K.U.Leuven, Belgium
Santiago Escobar     Tech. University of Valencia, Spain
Moreno Falaschi      University of Siena, Italy
Fabio Fioravanti     University of Chieti - Pescara, Italy
John Gallagher       Roskilde University, Denmark
Michael Hanus        University of Kiel, Germany
Patricia M Hill      University of Parma, Italy
Andy King            University of Kent, UK
Temur Kutsia         Johannes Kepler University Linz, Austria
Ralf Lmmel          Universitt Koblenz-Landau, Germany
Michael Leuschel     University of Southampton, UK
Yanhong Annie Liu    State University of New York at Stony Brook, USA
Julio Mario         Tech. University of Madrid, Spain
Ricardo Pea         University Complutense of Madrid, Spain
Peter Schneider-Kamp University of Southern Denmark
Alicia Villanueva    Tech. University of Valencia, Spain


Program Chair

  Maria Alpuente
  DSIC - Technical University of Valencia
  Camino de Vera s/n
  Apdo. 22.012
  E-46022 Valencia (Spain)
  Email: alpuente@dsic.upv.es

Conference Chair

  Temur Kutsia
  Research Institute for Symbolic Computation
  Johannes Kepler University Linz
  Altenbergerstrasse 69
  A-4040 Linz, Austria
  Email: kutsia@risc.uni-linz.ac.at