Call for Papers: CLPSE'01 Workshop
Gopal Gupta
gupta@REDACTED
Fri Aug 31 21:20:24 CEST 2001
CALL FOR PAPERS!! CALL FOR PAPERS!! CALL FOR PAPERS!!
CLPSE'01:
(Constraint) Logic Programming and Software Engineering
http://www.utdallas.edu/~gupta/clpse
PAPHOS, CYPRUS
In Conjunction with
Seventeenth International Conference on Logic Programming
http://www.cs.ucy.ac.cy/~iclpcp01/
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, Dec 1, 2001,
in conjunction with 17th International Conference on Logic Programming in
Paphos, Cyprus (held Nov 26 - Dec 1) and is a continuation of the successful
CLPSE'00 workshop held during CL2000 in London, England, in July 2000.
(visit http://www.cs.nmsu.edu/~gupta/lpse2000)
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: Oct 15th, 2001
Notification of acceptance/rejection: Oct 25th, 2001
Submission procedure: Electronically submit a postscript, pdf, or a
word file to gupta@REDACTED Papers should be a maximum of 15 pages.
Proceedings will be made available during the workshop.
Workshop Program Committee:
Gopal Gupta, University of Texas at Dallas, USA
Sam Danials, Motorola, USA
Kung-Kiu Lau, University of Manchester, UK
I.V. Ramakrishnan, SUNY Stony Brook, USA
More information about the erlang-questions
mailing list