[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

                           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)

         url:   http://www.cs.kent.ac.uk/events/conf/2007/lopstr/
         email: [EMAIL PROTECTED]

Objectives:

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:

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

After the symposium, the programme committee will select those papers to be considered for formal publication. These authors will be invited to revise their submissions in the light of the feedback solicited at the meeting. Then after another round of reviewing, these revised papers will be published by Springer-Verlag in the Lecture Notes in Computer Science series.

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

Important dates:

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

Reply via email to