Our apologies if you receive this multiple times.

CALL FOR PAPERS

19th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2009 http://www.cs.kuleuven.be/conference/lopstr09/ September 7-11, 2009, Coimbra, Portugal

(co-located with PPDP 2009 and CSL 2009)

======================================================================

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 the 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. Work that already appeared in unpublished or informally published workshops proceedings may be submitted.

IMPORTANT DATES AND SUBMISSION GUIDELINES:

Paper/extended abstract submission: May 8, 2009 Notification (for pre-proceedings): June 15, 2009 Camera-ready (for pre-proceedings): July 3, 2009 Symposium: September 9-11, 2009

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 the Springer LNCS style (excluding 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 short and full papers can be accepted for presentation at the symposium and will then appear in the LOPSTR09 pre-proceedings. Full papers can also be immediately accepted for publication in the formal proceedings, published by Springer-Verlag in the LNCS series. In addition, after the symposium, the programme committee will select further short or full papers presented in LOPSTR09 to be considered for formal publication. These authors 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 can also be published in the formal proceedings.

Papers should be submitted either in PostScript or PDF format and they should be interpretable by Ghostscript or Acrobat Reader.

Program Committee:

Slim Abdennadher German University Cairo, Egypt Maria Alpuente Frasnedo Technical University of Valencia, Spain Roberto Bagnara University of Parma, Italy Danny De Schreye K.U.Leuven, Belgium (Chair) John Gallagher Roskilde University, Denmark Robert Glueck University of Copenhagen, Denmark Michael Hanus University of Kiel, Germany Reinhard Kahle Universidade Nova de Lisboa, Portugal Andy King University of Kent, UK Michael Leuschel University of Duesseldorf, Germany Fabio Martinelli Istituto di Informatica e Telematica Pisa, Italy Fred Mesnard Universite de La Reunion, France Mario Ornaghi Universita degli Studi di Milano, Italy German Puebla Technical University of Madrid, Spain Sabina Rossi Universita Ca' Foscari di Venezia, Italy Josep Silva Technical University of Valencia, Spain Peter Schneider-Kamp University of Southern Denmark, Denmark Tom Schrijvers K.U.Leuven, Belgium Petr Stepanek Charles University Prague, Czech Republic Wim Vanhoof University of Namur, Belgium