LOPSTR'98
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 |