[TYPES/announce] CFP: LOPSTR 2007 International Symposium on Logic-Based Program Synthesis and Transformation

[A Serebrenik]

                            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: lopstr-2007 at kent.ac.uk

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