| 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 |
|
 |
|---|