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 the Lecture Notes in Computer Science 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. 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 Lecture Notes in Computer Science 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 feedback solicited at
the meeting. Then after another round of reviewing, these revised papers will be
also published in the formal proceedings.
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-Universitaet zu Kiel, Germany)
Jacob Howe (City University, UK)
Andy King (University of Kent, UK)
Michael Leuschel (Heinrich-Heine-Universitaet Duesseldorf, Germany)
Mario Ornaghi (Universita degli Studi di Milano, Italy)
Etienne Payet (Universite de La Reunion, France)
Alberto Pettorossi (Universita di Roma Tor Vergata, Italy)
Carla Piazza (Universita 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 7, 2007
Symposium August 22-24, 2007
Camera-ready version (for post-proceedings) December 14, 2007
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Di Mai 01 2007 - 18:03:57 CEST