The 17th International Symposium on
Logic-Based Program Synthesis and Transformation
Venue: The Technical University of Denmark
Contact: lopstr-2007 at kent.ac.uk
Contact: lopstr-2007 at kent.ac.uk
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 Seventeenth International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2007) will be held in Lyngby Denmark; previous symposia were held in Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arhhem, Pisa, Louvain-la-Neuve, and Manchester. LOPSTR 2007 will be co-located with SAS 2007 - The International Static Analysis Symposium.
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:
|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 of paper/extended abstract||June 8, 2007|
|Notification (for pre-proceedings)||July 13, 2007|
|Revised version (for pre-proceedings)||August 7, 2007|
|Conference||August 23-24, 2007|
|Submission of revised papers (for post-proceedings)||November 9, 2007 (web submission system now closed)|
|Notification (for post-proceedings)||December 7, 2007|
Submission Information and Special IssueSubmissions 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 post-conference proceedings have now been published as Springer LNCS volume 4915
Submission must be through the web submission system.
- Program Chair:
Andy King                 (University of Kent, UK)
- Program Committee:
Elvira Albert (Universidad Complutense Madrid, Spain) John Gallagher (University of Roskilde, Denmark) Michael Hanus (Christian-Albrechts-Universität zu Kiel, Germany) Jacob Howe (City University, UK) Andy King (University of Kent, UK) Michael Leuschel (Heinrich-Heine-Universität Düsseldorf, Germany) Mario Ornaghi (Università degli Studi di Milano, Italy) Étienne Payet (Université de La Réunion, France) Alberto Pettorossi (Università di Roma Tor Vergata, Italy) Carla Piazza (Università 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)
- Publicity Chair:
Alexander Serebrenik (Technische Universiteit Eindhoven, Netherlands)
- Local Organizing Committee:
Christian W. Probst        (Local Chair) Sebastian Nanz Terkel K. Tolstrup Eva Bing Elsebeth Strøm Hanne Riis Nielson Flemming Nielson (Treasurer)
- Steering Committee:
Alberto Pettorossi (Università di Roma Tor Vergata, Italy) Michael Leuschel (Heinrich-Heine-Universität Düsseldorf, Germany) Maurice Bruynooghe   (Katholieke Universiteit Leuven, Belgium) Sandro Etalle (Universiteit Twente, Netherlands) Patricia Hill (University of Leeds, UK) German Puebla (Technical University of Madrid, Spain) Andy King (University of Kent, UK)