CLPSE 2002

(Constraint) Logic Programming and Software Engineering
Copenhagen, Denmark, July 28th, 2002
Affiliated with ICLP 2002


The aim of this workshop is to explore applications of logic programming and constraint programming to the process of constructing reliable software and to programming-in-the-large. Papers and experience reports describing use of LP and CLP techniques to various aspects of the software engineering process are invited. The workshop is a continuation of the highly successful CLPSE 2000 and CLPSE 2001. workshops held during CL2000 in London and ICLP'01 in Cyprus respectively. Topics of interest include (but are not limited to):
  • Rapid prototopying and System Modeling
  • Software Design Methodologies based on LP/CLP
  • Software Specification
  • Domain Specific Languages
  • Derivation of Efficient Implementations from Specifications
  • Automatic Software Generation
  • Testing and Debugging
  • Test Case Generation
  • Software Verification
  • Software Process Discovery
  • Software Reuse
  • Analysis of Software Systems/Software Process
  • Software Quality Assurance
  • Requirements Analysis
  • Security Issues

Off-site workshop webpage

Submission procedure

Electronically submit a postscript, pdf, or a word file to Papers should be a maximum of 15 pages.


Informal proceedings will be published and will be available during the workshop.

Invited speaker

  • Michel Vanden Bossche, Mission Critical, Belgium
    Logic programming for software engineering


Gopal Gupta <>, U Texas-Dallas, USA