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

CFP: Logic-Based Program Synthesis and Transformation LOPSTR 2007

 Call for papers

  International Symposium on Logic-Based Program Synthesis and Transformation
                                LOPSTR 2007
               22-24 August 2007, Kongens Lyngby, Denmark
                     (co-located with SAS 2007)



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 this feedback in the published papers. 


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 to: 

    specification                           synthesis 
    verification                            transformation 
    analysis                                optimisation 
    composition                             security 
    reuse                                   applications and tools 
    component-based software development    software architectures 
    agent-based software development        program refinement 

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. 

Submission information and Special Issue:

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 Lecture Notes in Computer Science style (excluding bibliography
and 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 accepted short and full papers will appear in the pre-proceedings. The full
papers will  automatically  appear  in  the  formal  proceedings  that  will  be
published by Springer-Verlag in the Lecture Notes in Computer Science series. In
addition,  after the symposium,  the programme committee will select those short
papers to be considered for formal publication.  These  authors  will be invited
to revise and extend their submissions in the light of the feedback solicited at
the meeting. Then after another round of reviewing, these revised papers will be
also published in the formal proceedings. 

The very best papers will additionally be invited to submit for a special  issue
or special track of the journal Higher-Order and Symbolic Computation,  provided
there are sufficient high-quality submissions. 

Papers should be submitted either in PostScript or PDF format and they should be
interpretable by Ghostscript or Acrobat Reader. 

Invited Speaker:

Michael Codish       (Ben-Gurion University of the Negev, Israel)

Program Committee:

Elvira Albert        (Universidad Complutense Madrid, Spain) 
John Gallagher       (University of Roskilde, Denmark) 
Michael Hanus        (Christian-Albrechts-Universitaet zu Kiel, Germany) 
Jacob Howe           (City University, UK) 
Andy King            (University of Kent, UK) 
Michael Leuschel     (Heinrich-Heine-Universitaet Duesseldorf, Germany) 
Mario Ornaghi        (Universita degli Studi di Milano, Italy) 
Etienne Payet        (Universite de La Reunion, France) 
Alberto Pettorossi   (Universita di Roma Tor Vergata, Italy) 
Carla Piazza         (Universita degli Studi di Udine, Italy) 
C. R. Ramakrishnan   (SUNY Stony Brook, USA) 
Abhik Roychoudhury   (National University of Singapore, Singapore) 
Peter Schneider-Kamp (RWTH Aachen, Germany) 
Alexander Serebrenik (Technische Universiteit Eindhoven, Netherlands) 
Josep Silva          (Technical University of Valencia, Spain) 
Wim Vanhoof          (University of Namur, Belgium) 

Important dates:

Submission of paper/extended abstract        June 8, 2007  
Notification                                 July 13, 2007 
Revised version (for pre-proceedings)        August 7, 2007 
Symposium                                    August 22-24, 2007 
Camera-ready version (for post-proceedings)  December 14, 2007