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 Newsgroups: comp.ai,comp.constraints,comp.lang.prolog,sci.op-research,sci.math.symbolic Organization: University of Saarland, Computing Center, Germany. CALL FOR PAPERS 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, systems. 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 email@example.com, 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 proceedings. Publication 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 conference. 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, 1997. 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) Bruno.Buchberger@risc.uni-linz.ac.at Program Chair: Gert Smolka (DFKI and Universitaet des Saarlandes) firstname.lastname@example.org 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) email@example.com 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: http://www.mpi-sb.mpg.de/conferences/CP97/.
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,comp.ai 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] dj