AISB Convention 2015

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 2015 Convention will be held at the Uni...


Read More...

Yasemin Erden on BBC

AISB Committee member, and Philosophy Programme Director and Lecturer, Dr Yasemin J. Erden interviewed for the BBC on 29 October 2013. Speaking on the Today programme for BBC Radio 4, as well as the Business Report for BBC world N...


Read More...

Mark Bishop on BBC ...

Mark Bishop, Chair of the Study of Artificial Intelligence and the Simulation of Behaviour, appeared on Newsnight to discuss the ethics of ‘killer robots’. He was approached to give his view on a report raising questions on the et...


Read More...

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


Read More...

Lighthill Debates

The Lighthill debates from 1973 are now available on YouTube. You need to a flashplayer enabled browser to view this YouTube video  


Read More...
01234

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