[Haskell] Final CfP: LOPSTR 2008

[Michael Hanus]

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

                        Final CALL FOR PAPERS

                    18th International Symposium on
  International Symposium on Logic-Based Program Synthesis and Transformation
                                LOPSTR 2008
             http://www.informatik.uni-kiel.de/~mh/lopstr08/

                  July 17-18, 2008, Valencia, Spain

          (co-located with SAS 2008, PPDP 2008, and PLID 2008)


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

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,
conference, or workshop with refereed proceedings. Work that already
appeared in unpublished or informally published workshop proceedings
may be submitted (please contact the PC chair in case of questions).


IMPORTANT DATES AND SUBMISSION GUIDELINES:

Paper/extended abstract submission:  May 7, 2008
Notification (for pre-proceedings):  June 8, 2008
Camera-ready (for pre-proceedings):  June 29, 2008
Symposium:                           July 17-18, 2008

Submissions can either be (short) extended abstracts or (full) papers
whose length should not exceed 9 and 15 pages (including references),
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 accepted short and full papers will appear in the pre-proceedings.
The full papers will automatically appear in the formal proceedings
that will be published by Springer-Verlag in the LNCS series. In
addition, after the symposium, the programme committee will select
those short papers to be considered for formal publication. These
authors will be invited to revise and extend their submissions in the
light of the comments of the reviewers and the feedback solicited at
the meeting. Then after another round of reviewing, the revised
papers which are accepted will be also published in the formal
proceedings.

Papers should be submitted either in PDF or PostScript via the
web page of LOPSTR 2008.


Program Committee:

Slim Abdennadher    German University Cairo
Danny De Schreye    K.U.Leuven, Belgium
Wlodek Drabent      Polish Academy of Sciences, Poland / Linkoeping Univ., Sweden
Gopal Gupta         University of Texas at Dallas, USA
Michael Hanus       University of Kiel, Germany (Chair)
Patricia Hill       University of Leeds, UK
Andy King           University of Kent, UK
Michael Leuschel    University of Duesseldorf, Germany
Torben Mogensen     DIKU, University of Copenhagen, Denmark
Mario Ornaghi       Universita degli Studi di Milano, Italy
Etienne Payet       Universite de La Reunion, France
Alberto Pettorossi  University of Rome Tor Vergata, Italy
German Puebla       Technical University of Madrid, Spain
C.R. Ramakrishnan   SUNY at Stony Brook, USA
Sabina Rossi        Universita Ca' Foscari di Venezia, Italy
Chiaki Sakama       Wakayama University, Japan
Josep Silva         Technical University of Valencia, Spain
Wim Vanhoof         University of Namur, Belgium
Eelco Visser        Delft University of Technology, The Netherlands

----------------------------------------------------------------------