CFProposal AISB2018

  The Society for the Study of Artificial Intelligence and Simulation for Behaviour (AISB) is soliciting proposals for symposia to be held at the AISB 2018 convention.The longest running convention on Artificial Intelligence, A...


Insurance AI Analy...

Insurance AI Analytics Summit, October 9-10, London Join us for Europe’s only AI event dedicated to insurance where 300 attendees will unite from analytics, pricing, marketing, claims and underwriting. You’ll find out how advan...


AISB 2018 Convention

  The longest running convention on Artificial Intelligence, AISB 2018 will be held at the University of Liverpool, chaired by Floriana Grasso and Louise Dennis. As in the past years, AISB 2018 will provide a unique forum for p...


AI Summit London

     The AI Summit London: The World’s Number One AI Event for Business  Date: 9-10 May 2017 Venue: Business Design Centre, London. The AI Summit is the world’s first and largest/number one conference exhibition dedicated to t...


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



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)

Conference Chair

  Temur Kutsia
  Research Institute for Symbolic Computation
  Johannes Kepler University Linz
  Altenbergerstrasse 69
  A-4040 Linz, Austria