[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PVS] LOPSTR2009 Call for papers
Our apologies if you receive this multiple times.
CALL FOR PAPERS
19th International Symposium on
Logic-Based Program Synthesis and Transformation
September 9-11, 2009, Coimbra, Portugal
(co-located with PPDP 2009 and CSL 2009)
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 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. Work that already appeared in unpublished or informally
published workshops proceedings may be submitted.
German Vidal Technical University of Valencia
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.
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