From borning@geoduck.cs.washington.edu Mon Nov 1 14:29:34 EST 1993 Article: 4994 of news.announce.conferences Xref: glinda.oz.cs.cmu.edu news.announce.conferences:4994 Newsgroups: news.announce.conferences Path: honeydew.srv.cs.cmu.edu!das-news.harvard.edu!noc.near.net!howland.reston.ans.net!europa.eng.gtefsd.com!uunet!sparky!rick From: borning@geoduck.cs.washington.edu (Alan Borning) Subject: CFP: Principles and Practice of Constraint Programming Workshop Message-ID: <1993Oct30.032900.10219@sparky.sterling.com> Keywords: constraints, constraint programming, workshop Sender: rick@sparky.sterling.com (Richard Ohnemus) Organization: University of Washington Computer Science Date: Sat, 30 Oct 1993 03:29:00 GMT Approved: rick@sparky.sterling.com Expires: Thu, 13 Jan 1994 08:00:00 GMT Lines: 113 X-Md4-Signature: 80e328a1de903ee4e29a0391197113e4 PPCP'94 -- Call For Papers Second Workshop on the Principles and Practice of Constraint Programming May 2-4, 1994 Orcas Island, Washington, USA The Second Workshop on the Principles and Practice of Constraint Programming will be an inter-disciplinary meeting focusing on constraint programming and constraint-based systems. Following the first workshop, held in April 1993, the meeting will be small and informal, providing forums for prepared presentations, panels, and discussions. This workshop is held in cooperation with the American Association for Artificial Intelligence, and is sponsored in part by the Office of Naval Research. Participation will be by invitation of the program committee, and will be restricted primarily to authors of accepted papers. The program committee solicits papers describing preliminary or completed research and new directions or possible uses of constraint programming. Topics of interest include (but are not limited to): - constraint programming languages, including constraint logic programming, concurrent constraint programming, and constraint imperative programming: - semantics - compilation, including optimization and compile-time analysis - programming environments - applications - algorithms for constraint satisfaction and entailment - constraint problems and their relationship to: - artificial intelligence; automated reasoning; model-based reasoning - combinatorial optimization; scheduling - computational linguistics - computer algebra - concurrency - databases - graphics; solid and geometric modeling - hardware verification - logic programming - operations research; decision support systems - robotics; vision - scientific computing - software engineering; module interconnection frameworks - symbolic computation - user interfaces; human-computer interaction ORGANIZING COMMITTEE: Jean-Louis Lassez, Organizing Committee Chair (IBM Watson) Alan Borning (University of Washington) Jacques Cohen (Brandeis University) Alain Colmerauer (University of Marseilles) Herve Gallaire (Xerox Corporation) Paris Kanellakis (Brown University) Anil Nerode (Cornell University) Vijay Saraswat (Xerox Palo Alto Research Center) Ralph Wachter (Office of Naval Research) PROGRAM COMMITTEE: Alan Borning, Program Chair (University of Washington) Colin Bell (University of Iowa) Frederic Benhamou (University of Marseilles) Rina Dechter (University of California, Irvine) Curtis Eaves (Stanford University) Bjorn Freeman-Benson (Carleton University) Eugene Freuder (University of New Hampshire) Martin Golumbic (Bar-Ilan University) Deepak Kapur (SUNY Albany) Catherine Lassez (IBM Watson) Alan Mackworth (University of British Columbia) Satoshi Matsuoka (University of Tokyo) Raghu Ramakrishnan (University of Wisconsin) Francesca Rossi (University of Pisa) Gert Smolka (DFKI and University of Saarbrucken) Pascal Van Hentenryck (Brown University) Jennifer Widom (Stanford University) Richard Zippel (Cornell University) The workshop will be held at Rosario Resort on Orcas Island. Orcas Island is one of the San Juan Islands, in northwestern Washington State, and is a place of great natural beauty. Rosario can be reached via various modes of transportation, including seaplane from Seattle direct to the Rosario dock. Authors are invited to submit (by hardcopy or e-mail postscript file) five copies of a short paper, not exceeding 2000 words, by Wednesday January 12, 1994 to the program chair: Alan Borning Department of Computer Science & Engineering, FR-35 University of Washington Seattle, Washington 98915 USA (for express mail, add the building name: Sieg Hall Room 114) e-mail: borning@cs.washington.edu tel: +1-206-543-6678 fax: +1-206-543-2969 IMPORTANT DATES: Deadline for submission: January 12, 1994 Notification of acceptance or rejection: February 25, 1994 Final paper due: March 25, 1994 Workshop dates: May 2-4, 1994 Proceedings will be available in technical report form at the workshop and, including feedback from the workshop, will be published in book format. A Latex or postscript version of this call is available by anonymous ftp from june.cs.washington.edu by connecting to the directory pub/constraints/ppcp94 and getting the file call.tex or call.ps. This version of the call was prepared on October 22, 1993. Article 5351 of news.announce.conferences: Xref: glinda.oz.cs.cmu.edu news.announce.conferences:5351 Newsgroups: news.announce.conferences Path: honeydew.srv.cs.cmu.edu!fs7.ece.cmu.edu!europa.eng.gtefsd.com!uunet!sparky!rick From: borning@geoduck.cs.washington.edu (Alan Borning) Subject: revised CFP: Principles & Practice of Constraint Programming Message-ID: <1993Dec29.143217.4236@sparky.sterling.com> Keywords: constraints, PPCP'94 Sender: rick@sparky.sterling.com (Richard Ohnemus) Organization: University of Washington Computer Science Date: Wed, 29 Dec 1993 14:32:17 GMT Approved: rick@sparky.sterling.com Expires: Thu, 13 Jan 1994 08:00:00 GMT Lines: 125 X-Md4-Signature: 7da180208ae860f1738b80399d3512e4 Below is a revised version of the call for papers for the workshop. There was an unfortunate error in the earlier version -- I had my zip code wrong (postal code for Europeans). Many apologies! Please use the correct version, shown below. There are a few other changes as well, including cooperation with the Association for Logic Programming and an additional program committee member. ========================================================================= PPCP'94 -- Call For Papers (Revised) Second Workshop on the Principles and Practice of Constraint Programming May 2-4, 1994 Orcas Island, Washington, USA The Second Workshop on the Principles and Practice of Constraint Programming will be an inter-disciplinary meeting focusing on constraint programming and constraint-based systems. Following the first workshop, held in April 1993, the meeting will be small and informal, providing forums for prepared presentations, panels, and discussions. This workshop is held in cooperation with the American Association for Artificial Intelligence and the Association for Logic Programming, and is sponsored in part by the Office of Naval Research. Participation will be by invitation of the program committee, and will be restricted primarily to authors of accepted papers. The program committee solicits papers describing preliminary or completed research and new directions or possible uses of constraint programming. Topics of interest include (but are not limited to): - constraint programming languages, including constraint logic programming, concurrent constraint programming, and constraint imperative programming: - semantics - compilation, including optimization and compile-time analysis - programming environments - applications - algorithms for constraint satisfaction and entailment - constraint problems and their relationship to: - artificial intelligence; automated reasoning; model-based reasoning - combinatorial optimization; scheduling - computational linguistics - computer algebra - concurrency - databases - graphics; solid and geometric modeling - hardware verification - logic programming - operations research; decision support systems - robotics; vision - scientific computing - software engineering; module interconnection frameworks - symbolic computation - user interfaces; human-computer interaction ORGANIZING COMMITTEE: Jean-Louis Lassez, Organizing Committee Chair (IBM Watson) Alan Borning (University of Washington) Jacques Cohen (Brandeis University) Alain Colmerauer (University of Marseilles) Herve Gallaire (Xerox Corporation) Paris Kanellakis (Brown University) Anil Nerode (Cornell University) Vijay Saraswat (Xerox Palo Alto Research Center) Ralph Wachter (Office of Naval Research) PROGRAM COMMITTEE: Alan Borning, Program Chair (University of Washington) Colin Bell (University of Iowa) Frederic Benhamou (University of Marseilles) Rina Dechter (University of California, Irvine) Curtis Eaves (Stanford University) Bjorn Freeman-Benson (Carleton University) Eugene Freuder (University of New Hampshire) Martin Golumbic (Bar-Ilan University) Peter Hammer (Rutgers University) Deepak Kapur (SUNY Albany) Catherine Lassez (IBM Watson) Alan Mackworth (University of British Columbia) Satoshi Matsuoka (University of Tokyo) Raghu Ramakrishnan (University of Wisconsin) Francesca Rossi (University of Pisa) Gert Smolka (DFKI and University of Saarbrucken) Pascal Van Hentenryck (Brown University) Jennifer Widom (Stanford University) Richard Zippel (Cornell University) The workshop will be held at Rosario Resort on Orcas Island. Orcas Island is one of the San Juan Islands, in northwestern Washington State, and is a place of great natural beauty. Rosario can be reached via various modes of transportation, including seaplane from Seattle direct to the Rosario dock. Authors are invited to submit (by hardcopy or e-mail postscript file) five copies of a short paper, not exceeding 2000 words, by Wednesday January 12, 1994 to the program chair: Alan Borning Department of Computer Science & Engineering, FR-35 University of Washington Seattle, Washington 98195 USA (for express mail, add the building name: Sieg Hall Room 114) e-mail: borning@cs.washington.edu tel: +1-206-543-6678 fax: +1-206-543-2969 IMPORTANT DATES: Deadline for submission: January 12, 1994 Notification of acceptance or rejection: February 25, 1994 Final paper due: March 25, 1994 Workshop dates: May 2-4, 1994 Proceedings will be available in technical report form at the workshop and, including feedback from the workshop, will be published in book format. A Latex or postscript version of this call is available by anonymous ftp from june.cs.washington.edu by connecting to the directory pub/constraints/ppcp94 and getting the file call.tex or call.ps. This version of the call was prepared on December 22, 1993.