LOPSTR'98

New Objectives

The scope now encompasses any computational-logic-based techniques, languages, and tools for the interactive or automated development of any kinds of programs.  Also, papers discussing programming-in-the-large issues, or presenting practical applications, or convincingly arguing for the practical applicability of given theoretical results are now strongly encouraged.

The mode of operation now is as follows. Based upon submitted extended abstracts, the programme committee will invite authors to present their research at the workshop. Pre-proceedings with the accepted extended abstracts will be available at the workshop as a technical report. Shortly 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, which are to be published within the Lecture Notes in Computer Science series of Springer-Verlag.

At this point, extended abstracts of at most eight pages are thus solicited about, but not limited to, the following topics:
 

Every submission must clearly exhibit the relationship to the (new) scope of the workshop, and must really be an extended abstract. It must thus be a miniature research paper with the key motivations and ideas, with outlines of the proofs of the key theorems, with references and a (favourable) comparison to related work, but without full details of proofs or implemented systems, without the description of future work, without ramifications that are irrelevant to the key ideas. A good extended abstract convinces a specialist referee of the significance of the described research in about one hour. Submissions that fail to comply with these content and size requirements may be rejected (without refereeing), no matter how high the scientific merit of the discussed work.

Programme Committee

Important Dates

Submissions