The following post is another interesting Call For Papers.
If someone would like to do a paper on the V.I.C., let me know. 

Is the V.I.C. a tool set for constraint Programming? Maybe, depends on how you
look at it, how you use it.


From: Andreas Podelski 
Subject: CALL FOR PAPERS: Constraint Programming (CP97)
Date: Mon, 18 Nov 96 21:49:00
Organization: University of Saarland, Computing Center, Germany.


      Third International Conference on Principles and Practice of

      Constraint Programming (CP97)

Schloss Hagenberg, Austria, October 29 - November 1, 1997

Scope of the Conference

   Constraints have emerged as the basis of a representational and
   computational paradigm that draws from many disciplines and can
   be brought to bear on many problem domains. The conference is
   concerned with all aspects of computing with constraints including:
   algorithms, applications, environments, languages, models,

   Contributions are welcome from any discipline concerned with
   constraints, including: artificial intelligence, combinatorial
   algorithms, computational logic, concurrent computation,
   databases, discrete mathematics, operations research,
   programming languages, symbolic computation. 

   Contributions are welcome from any domain employing constraints,
   including: computational linguistics, configuration, decision support,
   design, diagnosis, graphics, hardware verification, molecular
   biology, planning, program analysis, qualitative reasoning,
   real-time systems, resource allocation, robotics, scheduling,
   software engineering, temporal reasoning, type inference, vision,
   visualization, user interfaces. 

   Papers are especially welcome that bridge disciplines or combine
   theory and practice. 

Conference Venue

   CP97 will take place at Schloss Hagenberg, a medieval, renovated
   castle close to Linz, Austria, known as the site of the Research
   Institute for Symbolic Computation (RISC).

Paper Submissions

   The submission deadline is April 15, 1997. Submission is by email
   (up to exceptions). Send a message that contains a uuencoded
   postscript file preceeded by the title page (title, authors, abstract)
   in plain text to, with "submission" as the
   subject line. 

   Decisions on acceptance will be sent by June 15, 1997. Some
   submissions not accepted as papers may be offered presentation
   as posters, with an extended abstract (2 pages) in the


   The proceedings will be published in the Springer LNCS series.
   Camera-ready copy will be due by July 15, 1996. The publication
   must not duplicate an earlier conference publication. Papers and
   posters must be presented at the conference by one of the authors.
   Authors of selected papers will be invited to submit revisions to a
   special issue of the CONSTRAINTS journal devoted to the

Call for Tutorials

   Several tutorials will be held during the conference. Proposals for
   two-hour tutorials should be sent to the Program Chair until May
   15, 1997. 

Call for Workshop Proposals

   There will be workshops on the last day of the conference.
   Proposals for one-day or half-day workshops should be sent to
   the Workshop Chair as soon as possible but no later than May 15,

Exhibition and Sponsors

   Companies, publishers, agencies or organizations interested in
   exhibition space, or in becoming conference sponsors, should
   contact the Conference Chair. Researchers interested in providing
   computer demonstrations should contact the Program Chair. 

Conference Organization

   Conference Chair: 
      Bruno Buchberger (RISC) 

   Program Chair:
      Gert Smolka (DFKI and Universitaet des Saarlandes) 

   Program Committee:
      Franz Baader (RWTH Aachen)
      Frederic Benhamou (University of Orleans)
      Alex Brodsky (George Mason University)
      Yves Caseau (Bouygues)
      Hoon Hong (RISC)
      John Hooker (CMU)
      Joxan Jaffar (National University of Singapore)
      Claude Kirchner (INRIA Lorraine and CRIN)
      Michael Maher (Griffith University)
      Kim Marriott (Monash University)
      Dave McAllester (AT&T Research)
      Ken McAloon (Brooklyn College)
      Bernhard Nebel (University of Freiburg)
      Tobias Nipkow (TU Muenchen)
      Martin Odersky (TU Karlsruhe and University of South Australia)
      Catuscia Palamidessi (University of Genova)
      Andreas Podelski (Max-Planck-Institut fuer Informatik)
      Jean-Francois Puget (ILOG)
      Francesca Rossi (University of Pisa)
      Thomas Schiex (INRA)
      Bart Selman (AT&T Research)
      Gert Smolka (DFKI and Universitaet des Saarlandes)
      Peter J. Stuckey (University of Melbourne)
      Edward Tsang (University of Essex)
      Peter van Beek (University of Alberta)
      Mark Wallace (ICL/Imperial College)

   Publicity and Workshop Chair: 
      Andreas Podelski (Max-Planck-Institut fuer Informatik)

   Organizing Committee:
      Alan Borning (University of Washington)
      Alain Colmerauer (University of Marseille)
      Eugene Freuder (University of New Hampshire)
      Jean-Pierre Jouannaud (University of Paris Sud)
      Jean-Louis Lassez (New Mexico Tech)
      Ugo Montanari (University of Pisa)
      Anil Nerode (Cornell University)
      Vijay Saraswat (AT&T Research)
      Pascal Van Hentenryck (Brown University)
      Ralph Wachter (Office of Naval Research) 

Important Dates

   April 15, 1997: Paper submission deadline
   May 15, 1997: Submission of tutorial and workshop proposals
   June 15, 1997: Acceptance notification
   July 15, 1996: Camera-ready copy due
   October 29-31, 1997: Main program of the conference
   November 1, 1997: Workshops 

Further Information

   Additional information will be posted, and will be available at the
   CP97 web site: 

Also, for those interested, this post contains some links

From: David Joslin 
Subject: Schools with constraint-related graduate programs?
Date: Thu, 14 Nov 96 01:28:00
Newsgroups: comp.constraints,
Organization: University of Oregon

As part of the Constraints Archive web pages

I've started a web page of pointers to universities
that would be of interest to someone wanting to do
graduate research in constraint programming and
related fields:

Right now there are only a few schools listed, and
I would like to invite further contributions to this
page.  I'll be travelling a few times over the next
few weeks, so please *e-mail* anything you contribute
even if you also post it here.  HTML is appreciated,
but not necessary.

There are plenty of other pages in the archive that
need work, but since this is the time of year for
students to be looking at grad schools, this seemed
like a good place to start.

[Followups to comp.constraints]