[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Final call for papers: LOPSTR09



Our apologies if you receive this multiple times.

			FINAL CALL FOR PAPERS

		19th International Symposium on
	Logic-Based Program Synthesis and Transformation
			LOPSTR 2009
	  http://www.cs.kuleuven.be/conference/lopstr09/
	     September 9-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.


Invited speaker:

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.


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