C o m p u t a t i o n a l    L o g i c




8th International Workshop on Logic-based Program Synthesis and Transformation

Manchester, United Kingdom, 15 - 19 June 1998

Pierre Flener

LOPSTR'98 is the eighth in a series of annual international workshops on logic-based program synthesis and transformation. It will be held in parallel to the Joint International Conference and Symposium on Logic Programming (JICSLP'98), that is from 15 to 19 June 1998, in Manchester (UK).

As a workshop, LOPSTR'98 will continue the tradition of being a lively and friendly forum for presenting recent and current research as well as discussing future trends in the synthesis and transformation of programs. Compared to previous editions, however, the scope and mode of operation are somewhat modified.

The scope now is the synthesis and transformation of programs, based on some use of computational logic, rather than the synthesis and transformation of logic programs. This means that any techniques, languages, and tools related to the development of any kinds of programs are covered, provided they are based on some use of computational logic. Moreover, there is a move to include practical software engineering, which means that papers discussing programming-in-the-large issues, or presenting practical applications, or convincingly arguing for the practical applicability of the given theoretical results are strongly encouraged.

The mode of operation now is as follows. Based upon submitted extended abstracts of at most five pages, the programme committee will invite authors to present their research at the workshop. The selection criteria will allow the participation of junior researchers, the discussion of uncompleted research and new ideas, etc. After the workshop, the programme committee will invite the authors of the most promising abstracts and presentations to submit full papers. After another round of refereeing, the best full papers will be included in the post-workshop proceedings (normally in the LNCS series).

Pierre Flener

Dept of Computer Science

Bilkent University 06533 Bilkent,

Ankara Turkey

Tel: +90 / 312 / 266-4000 ext.1450 (GMT+2) Fax:+90 / 312 / 266-4126

Email: lopstr98@cs.bilkent.edu.tr

Web: http://www.cs.bilkent.edu.tr/~lopstr98

Coordinator's Report ] LOPSTR'97: Seventh International Workshop on Logic Program Synthesis and Transformation. ] ILPS'97 Workshop on Specialization of Declarative Programs and its Applications ] [ LOPSTR'98 ] Detecting and Exploiting Determinacy in Logic Programs ] The DiSCiPl Project: Debugging Systems for Constraint Programming ]

Home ] Automated Deduction Systems ] Computational Logic & Machine Learning ] Concurrent & Constraint Logic Programming ] Language Design, Semantics & Verification Methods ] Logic Based Databases ] Program Development ] Knowledge Representation & Reasoning ]