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


Read More...

AISB convention 2017

  In the run up to AISB2017 convention (http://aisb2017.cs.bath.ac.uk/index.html), I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


Read More...

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


Read More...

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


Read More...

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


Read More...

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


Read More...
012345

Notice

AISB event Bulletin Item

CALL FOR PAPERS: 22nd International Symposium on Logic-Based Program Synthesis and Transformation, Sep 18-20, 2012, Leuven, BELGIUM

http://costa.ls.fi.upm.es/lopstr12

LOPSTR 2012


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 that authors can incorporate this feedback in the published papers.

The 22nd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2012) 
will be held in Leuven, Belgium; previous symposia were held in Hagenberg, Coimbra, Valencia, 
Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, 
Stockholm, Arnhem, Pisa, Louvain-la-Neuve, Manchester and Odense (you might have a look at the 
contents of past LOPSTR symposia). LOPSTR 2012 will be co-located with PPDP 2012 (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. 
Both full papers and extended abstracts 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
     * verification
     * analysis
     * specialization
     * composition
     * certification
     * transformational techniques in SE
     * synthesis
     * transformation
     * optimisation
     * inversion
     * program/model manipulation
     * security
     * 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, conference, or workshop with refereed proceedings. Work that already appeared in 
unpublished or informally published workshop proceedings may be submitted (please contact the PC 
chair in case of questions).
Proceedings

The formal post-conference proceedings will be published by Springer* in the Lecture Notes in 
Computer Science series.

Important Dates

       Abstract submission:                  May 21,2012
       Paper submission:                     May 25, 2012
       Notification (for pre-proceedings):   June 29, 2012
       Camera-ready (for pre-proceedings):   July 8, 2012
       Symposium:                            September 18-20, 2012

Submissions must be formatted in the Lecture Notes in Computer Science style. They cannot exceed 
15 pages including references but excluding well-marked appendices not intended for publication. 
Referees are not required to read the appendices, and thus papers should be intelligible without 
them.

Full papers can be directly accepted for publication in the formal proceedings to be published by 
Springer in the LNCS series or accepted only for presentation at the symposium. After the symposium,
all authors of extended abstracts and full papers accepted only for presentation 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 may also be published in the formal 
proceedings.

Authors should submit an electronic copy of the paper (written in
English) in PDF or Postscript (Level 2). Each submission must include on its first page the paper 
title; authors and their affiliations; contact author's email; abstract; and three to four keywords.
The keywords will be used to assist us in selecting appropriate reviewers for the paper. If 
electronic submission is impossible, please contact the program chair for information on how to 
submit hard copies.

Papers should be submitted to the submission website for LOPSTR 2012.

Program Committee:

Elvira Albert           Complutense University of Madrid, Spain
Sergio Antoy            Portland State University, US
Demis Ballis            University of Udine, Italy
Henning Christiansen    Roskilde University, Denmark
Michael Codish          Ben-Gurion University of the Negev, Israel
Danny De Schreye        K.U.Leuven, Belgium
Esra Erdem              Sabanci University, Istanbul
Maribel Fernandez       King's College London, UK
John Gallagher          Roskilde University, Denmark
Miguel Gomez-Zamalloa   Complutense University of Madrid, Spain
Robert Glck           University of Copenhagen, Denmark
Rmy Haemmerl	       Technical University of Madrid, Spain
Reiner Hhnle          TU Darmstadt, Germany
Geoff Hamilton          Dublin City University, Ireland
Carsten Fuhs            RWTH Aachen, Germany
Gerda Janssens          K.U.Leuven, Belgium
Isabella Mastroeni      University of Verona, Italy
Paulo Moura             Universidade da Beira Interior, Portugal
Kazutaka Matsuda        Tohoku University, Japan
Johan Nordlander        Lule University of Technology, Sweden
Andrey Rybalchenko      Technische Universitt Mnchen, Germany
Kostis Sagonas  Uppsala University, Sweden
Francesca Scozzari      Universit "G. D'Annunzio" di Chieti, Italy
Valerio Senni           Universt di Roma "Tor Vergata", Italy
German Vidal            Technical University of Valencia, Spain

Program Chair:

     Elvira Albert
     Department of Computer Science (DSIC)
     Complutense University of Madrid
     Madrid, Spain

General Co-Chairs

     Daniel De Schreye and Gerda Janssens
     Department of Computer Science
     K.U.Leuven, Celestijnenlaan 200 A, B-3001 Heverlee, Belgium

* Confirmation pending