Call for papers: CLPSE'02

Dr. Gopal Gupta [email protected]
Mon, 8 Apr 2002 16:43:39 -0500


         CALL FOR PAPERS!!           CALL FOR PAPERS!!        

                              CLPSE'02:
        (Constraint) Logic Programming and Software Engineering '02
                
                 http://www.utdallas.edu/~gupta/clpse
                            
                              July 28, 2002     

                           COPENHAGEN, DENMARK

                          In Conjunction with
         Eighteenth International Conference on Logic Programming
                           (Part of FLOC'02)
                        http://floc02.diku.dk/ICLP/


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 CP techniques to various aspects of the software engineering
process are invited. The workshop will be held on Saturday, July 28, 2002, 
in conjunction with 18th International Conference on Logic Programming in
Copenhagen, Denmark (held Jul 29 - Aug 1) and is a continuation of the successful 
CLPSE'00 workshop held during CL2000 in London, England, in July 2000 
(http://www.cs.nmsu.edu/~gupta/lpse2000) and CLPSE'01 workshop held during 
ICLP'01 in Paphos, Cyprus (http://www.cs.utdallas.edu/~gupta/clpse/clpse01.html)

Topics of interest include (but are not limited to):

  o Rapid prototopying and System Modeling
  o Software Design Methodologies 
  o Software Specification
  o Domain Specific Languages
  o Derivation of Efficient Implementations from Specifications
  o Automatic Software Generation
  o Testing and Debugging
  o Test Case Generation
  o Software Verification
  o Software Process Discovery
  o Software Reuse
  o Analysis of Software Systems/Software Process
  o Software Quality Assurance                 
  o Requirements Analysis
  o Security Issues

Paper Submission deadline: May 31, 2002

Notification of acceptance/rejection: June 7th, 2002

Submission procedure: Electronically submit a postscript, pdf, or a 
word file to [email protected] Papers should be a maximum of 15 pages. 
Proceedings will be made available during the workshop.

Organizers:

Gopal Gupta, University of Texas, Dallas, USA
Kung-Ku Lau, Manchester University , UK
Isidros Ramos, Universidad Politecnica de Valencia, Spain
Roel Wuyts, University of Berne, Switzerland