[Oz] Final CFP: Workshop on Analysis and Visualization of Constraint Programs

[Christian Schulte]

                        FINAL CALL FOR PAPERS   

   Workshop on Analysis and Visualization of Constraint Programs and
Solvers

                            September 22, 2000, Singapore 
        http://www.pms.informatik.uni-muenchen.de/ereignisse/debug.html

Held in conjunction with: 
International Conference on Principle and Practice of Constraint
Programming 
(CP2000), Singapore  
http://www.comp.nus.edu.sg/~cp2000 


Constraint programming (CP) is an emergent paradigm to solve, flexibly
and efficiently, a large class of combinatorial problems.  Its
applications can be found in various domains. Nervertheless, CP is not
as widely used as it should by industrials.  A main reason of this
difficulty was the lack of programming environments.

The last five years have witnessed substantial developments in this
area, ranging from theoretical frameworks to the design and
implementation of debugging tools.

The workshop invites papers describing ongoing work in the following
topics (but are not limited to):

- Visualization  and debugging tools
- Analysis of (concurrent) constraint programs 
- Analysis of constraint solvers
- Assertion checking
- Modelling tools

In addition to regular submissions to be presented at the workshop,
system demos related to the topics above are also welcome.


Contact:
Slim Abdennadher
University of Munich
Oettingenstrasse 67
80538 Munich
Germany
Slim.Abdennadher at informatik.uni-muenchen.de
Tel: +49 89 2178 2216
Fax: +49 89 2178 2211

Dates
        
Submission of contribution: June 30, 2000
Notification of acceptance: July 29, 2000
Final versions for proceedings: September 1, 2000
CP Conference: September 18 - 22, 2000
Workshop: September 22, 2000


Contributions

Research Papers should be no longer than 5000 words in length,
including a 150 to 200 word abstract. Demo descriptions should be no
longer than 2000 words including a 150 to 200 word abstract.  Please
Submit papers and demo descriptions by sending a Ghostview-readable
Postscript file containing the article to the program chair: Slim
Abdennadher <a
href="mailto:Slim.Abdennadher at informatik.uni-muenchen.de">
Slim.Abdennadher at informatik.uni-muenchen.de</a>.

Organization


Slim Abdennadher, University of Munich
Frédéric Benhamou, University of Nantes
Pierre Deransart, INRIA Rocquencourt
Mireille Ducassé INSA Rennes
Manuel Hermenegildo, Universidad Politécnica de Madrid
Christian Schulte, Universität des Saarlandes
Helmut Simonis, COSYTEC


FURTHER INFORMATION

Please consult the web site   
      http://www.pms.informatik.uni-muenchen.de/ereignisse/debug.html


-- 
Christian Schulte, http://www.ps.uni-sb.de/~schulte/
-
Please send submissions to users at mozart-oz.org
and administriva mail to users-request at mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.