Copy Link
Add to Bookmark
Report
NL-KR Digest Volume 14 No. 36
NL-KR Digest Tue Jun 13 22:39:45 PDT 1995 Volume 14 No. 36
Today's Topics:
Program: cp95 1st Intl. Constraint Programming, Sep 95, Cassis
* * *
Subcriptions: listserv-style administrative requests to
nl-kr-request@ai.sunnyside.com.
Submissions, policy, questions: nl-kr@ai.sunnyside.com
To speed up processing of your submission write to
listserv@ai.sunnyside.com with the message:
GET nl-kr style
Back issues:
FTP: ai.sunnyside.com:/pub/nl-kr/Vxx/Nyyy
/pub/nl-kr/Vxx/INDEX
Gopher: ai.sunnyside.com, Port 70, in directory /pub/nl-kr
Email: write to LISTSERV@AI.SUNNYSIDE.COM, omit subject, mail command:
GET nl-kr nl-kr_file_list
Web: http://ai.sunnyside.com/pub/nl-kr
Editors:
Al Whaley (al@ai.sunnyside.com) and
Chris Welty (weltyc@sigart.acm.org).
-----------------------------------------------------------------------
From: Francesca Rossi <rossi@di.unipi.it>
Subject: Program: cp95 1st Intl. Constraint Programming, Sep 95, Cassis
To: lprolog@central.cis.upenn.edu, nl-kr@cs.rpi.edu, parforce@ecrc.de
Date: Thu, 8 Jun 1995 15:05:48 +0200 (METDST)
CP'95
First International Conference on
Principles and Practice of Constraint Programming
September 19-22, 1995
Cassis, France
GENERAL INFORMATION
* * * ****
The interdisciplinary area of constraint programming and constraint-based
systems has recently developed an appreciable identity. The new area needs
an international forum to compare the results and discuss the new lines of
development. CP'95 will take place in Cassis, a small village on the sea
25 Km east of Marseille from Tuesday to Friday. Four satellite workshops
will be organized on September 18 and 23. The conference and the workshops
will take place in a building called "Oustau Calendal" which is located
between the port and the main beach of Cassis.
PRELIMINARY PROGRAM
* * * ****
TUESDAY, September 19
=====================
INVITED LECTURE (9:30-10:30)
Bruno Buchberger (RISC, Linz)
COFFEE BREAK (10:30-11:00)
SESSION 1: EFFICIENT CONSTRAINT HANDLING (11:00-12:30)
11:00 Complete Solving of Linear Diophantine Equations
and Inequations without Adding Variables,
F. Ajili (CRIN & INRIA Lorraine) and E. Contejean
(Universite' Paris-Sud)
11:30 From Elliott-MacMahon to an Algorithm for General
Linear Constraints on Naturals,
Eric Domenjoud (CRIN/CNRS & INRIA-Lorraine) and
Ana Paula Tomas (LIACC/University of Porto)
12:00 The Progressive Party Problem: Integer Linear
Programming and Constraint Programming Compared,
Barbara M. Smith (University of Leeds), Sally C. Brailsford,
Peter M. Hubbard and H. Paul Williams (University of
Southampton)
LUNCH (12:30-14:30)
SESSION 2: CONSTRAINT SATISFACTION PROBLEMS 1 (14:30-16:30)
14:30 From Local to Global Consistency in Temporal Constraint
Networks,
Manolis Koubarakis (UMIST, Manchester)
15:00 Scaling Effects in the CSP Phase Transition,
Ian P. Gent, Ewan MacIntyre, Patrick Prosser (University
of Strathclyde) and Toby Walsh (IRST)
15:30 Asynchronous Weak-commitment Search for Solving
Distributed Constraint Satisfaction Problems,
Makoto Yokoo (NTT Communication Science Laboratories)
16:00 An Optimization-based Heuristic for Maximal Constraint
Satisfaction,
Javier Larrosa, Pedro Meseguer (Universitat Politecnica
de Catalunya)
COFFEE BREAK (16:30-17:00)
SESSION 3: DATABASES (17:00-18:30)
17:00 First-order Definability over Constraint Databases,
Stephane Grumbach (University of Toronto and INRIA) and
Jianwen Su (University of California at Santa Barbara)
17:30 On Similarity Queries for Time-Series Data: Constraint
Specification and Implementation,
Dina Q. Goldin and Paris C. Kanellakis (Brown University)
18:00 Safe Stratified Datalog with Integer Order Programs,
Peter Z. Revesz (University of Nebraska--Lincoln)
WEDNESDAY, September 20
=======================
TUTORIAL (9:00-10:00)
Pascal van Hentenryck (Brown University)
COFFEE BREAK (10:00-10:30)
SESSION 4: CONSTRAINT LOGIC PROGRAMMING (10:30-12:30)
10:30 Constrained Dependencies,
Michael Maher (IBM T.J. Watson Research Center)
11:00 Solving Linear, Min and Max Constraint Systems
Using CLP based on Relational Interval Arithmetic,
Pierre Girodias, Eduard Cerny (Universite de Montreal)
and William J. Older (Bell Northern Research)
11:30 Debugging Constraint Programs,
Micha Meier (ECRC)
12:00 An Optimizing Compiler for CLP(R),
Andrew Kelly, Andrew Macdonald, Kim Marriott,
Harald Sondergaard, Peter Stuckey, Roland Yap
(Monash University and University of Melbourne)
LUNCH (12:30-14:30)
SESSION 5: CONSTRAINT SATISFACTION PROBLEMS 2 (14:30-16:30)
14:30 Local and Global Relational Consistency---Summary of Recent
Results,
Rina Dechter (University of California, Irvine) and
Peter van Beek (University of Alberta, Edmonton)
15:00 Dynamic Variable Ordering in CSPs,
Fahiem Bacchus and Paul van Run (University of Toronto)
15:30 A Unifying Framework for Tractable Constraints,
Peter Jeavons, David Cohen (University of London)
and Marc Gyssens (University of Limburg)
16:00 On the Forward Checking Algorithm,
Fahiem Bacchus and Adam Grove (University of Toronto)
EXCURSION and SOCIAL DINNER (16:30-)
THURSDAY, September 21
======================
TUTORIAL (9:00-10:00)
Vijay Saraswat (Xerox PARC)
COFFEE BREAK (10:00-10:30)
SESSION 6: CONCURRENT CONSTRAINT PROGRAMMING (10:30-12:30)
10:30 A Confluent Calculus for Concurrent Constraint Programming
with Guarded Choice,
Kim Marriott (Monash University) and Martin Odersky
(Universitaet Karlsruhe)
11:00 Situated Simplification,
Andreas Podelski (MPI) and Gert Smolka (DFKI)
11:30 Guarded Constructive Disjunction : Angel or Demon ?,
Christian Codognet (LIENS / University of Paris XIII) and
Philippe Codognet (INRIA-Rocquencourt)
12:00 Domain Independent Ask Approximation in CCP,
Enea Zaffanella (Universita' di Pisa)
LUNCH (12:30-14:30)
INDUSTRIAL SESSION (14:30-18:30)
Invited presentations about activities at
COSYTEC, ILOG, OTI, ProloGIA, Xerox and others.
FRIDAY, September 22
====================
INVITED LECTURE (9:00-10:00)
Zohar Manna (Stanford University)
COFFEE BREAK (10:00-10:30)
SESSION 7: CONSTRAINTS IN COMPUTATIONAL LOGIC (10:30-12:30)
10:30 On the Combination of Symbolic Constraints,
Solution Domains, and Constraint Solvers,
Franz Baader (RWTH Aachen) and Klaus U. Schulz
(Universitaet Muenchen)
11:00 Constraint Propagation in Model Generation,
Jian Zhang and Hantao Zhang (University of Iowa)
11:30 Normalizing Narrowing for Weakly Terminating
and Confluent Systems,
Andreas Werner (Universitaet Karlsruhe)
12:00 On Termination of Constraint Logic Programs,
Livio Colussi (Universita' di Padova), Elena Marchiori
(CWI), Massimo Marchiori (Universita' di Padova)
LUNCH (12:30-14:30)
SESSION 8: APPLICATIONS (14:30-16:30)
14:30 Modelling Producer/Consumer Constraints,
H. Simonis (COSYTEC) and T. Cornelissens (Beyers & Partners)
15:00 A Constraint-Based Approach to Diagnosing Software
Problems in Computer Networks,
Daniel Sabin, Mihaiela C. Sabin, Robert D. Russell,
Eugene C. Freuder (University of New Hampshire)
15:30 Solving Crew Scheduling Problems by Constraint Programming,
Nabil Guerinik and Michel van Caneghem (LIM)
16:00 A Visual Constraint-Programming Environment,
Massimo Paltrinieri (Ecole Normale Superieure)
COFFEE BREAK (16:30-17:00)
SESSION 9: OPERATIONS RESEARCH (17:00-18:30)
17:00 Polynomial Restrictions of SAT: What Can Be Done
with an Efficient Implementation of the Davis and
Putnam's Procedure?,
A. Rauzy (LaBRI--Universite' Bordeaux I)
17:30 Improved Branch and Bound in Constraint Logic Programming,
Steven Prestwich and Shyam Mudambi (ECRC)
18:00 Reducing Domains for Search in CLP(FD) and Its
Application to Job-Shop Scheduling,
Hans-Joachim Goltz (GMD-FIRST Berlin)
SPONSORSHIP
* * *
CP'95 is in cooperation with AAAI and EATCS, is sponsored by ACM SIGART and
SIGPLAN, and has received support from ACCLAIM, ALP, CCL, CNRS, Compulog
Net, ONR, Universite' de la Mediterranee and Universita' di Pisa.
CONFERENCE ORGANIZATION
* * * * ***
CP'95 Conference Chair: Alain Colmerauer
CP'95 Program Chair: Ugo Montanari
Organizing Committee:
Alan Borning, Jacques Cohen, Alain Colmerauer, Eugene Freuder,
Herve Gallaire, Jean-Pierre Jouannaud, Paris Kanellakis, Jean-Louis
Lassez (chair), Ugo Montanari, Anil Nerode, Vijay Saraswat, Ralph Wachter.
Program Committee:
Hassan Ait-Kaci, Marianne Baudinet, Frederic Benhamou, Rina Dechter,
Mehmet Dincbas, Manuel Hermenegildo, Alexander Herold, Hoon Hong,
John Hooker, Claude Kirchner, Alan Mackworth, Michael Maher, Ken McAloon,
Fumio Mizoguchi, Ugo Montanari (chair), Luis Monteiro, Catuscia Palamidessi,
Gert Smolka, Peter van Beek, Pascal Van Hentenryck.
SATELLITE WORKSHOPS
* * * ****
Four satellite workshops will be organized at the same place
as the conference:
W1. "Over-Constrained Systems"
Organizers: Gene Freuder, Michael Jampel and Michael Maher.
Date: Monday, September 18.
Contact: Gene Freuder (ecf@cs.unh.edu).
W2. "Constraints for Graphics and Visualization"
Organizers: Pascal Van Hentenryck, Isabel Cruz and Kim Marriott.
Date: Monday, September 18.
Contact: Pascal Van Hentenryck (pvh@cs.brown.edu).
W3. "Set Constraints and Constrained Logic Programming"
Organizers: Leszek Pacholski.
Date: Saturday, September 23.
Contact: Leszek Pacholski (leszek.pacholski@ii.uni.wroc.pl).
W4. "Studying and Solving Really Hard Problems"
Organizers: Pierre Siegel and Bart Selman.
Date: Saturday, September 23.
Contact: Jihad Jaam (jihad.jaam@lim.univ-mrs.fr).
CONFERENCE INFORMATION
* * * * **
CONFERENCE CONTACT
==================
Please address all inquiries to:
Alain Colmerauer
Lab. d'Informatique de Marseille
Faculte des Sciences de Luminy
163, Avenue de Luminy
F-13288 Marseille CEDEX 9
France
E-mail: cp95@lim.univ-mrs.fr
REGISTRATION
============
The registration fee will range from 550FF to 700FF for students
and from 1100FF to 1400FF for non students. We will probably propose
the lower rates in a later announcement.
These fees will include:
- proceedings in Springer Verlag LNCS (not for students);
- 4 lunches at the restaurant "Le Grand Large" right on the beach,
100 meters away from the conference room (Tuesday to Friday);
- a visit of the "Calanques" by boat, Wednesday afternoon; and
- a buffet, Wednesday evening.
Accommodation, evening meals and any costs related to satellite
workshops are not included in the fees.
ACCOMMODATION
=============
While registration is delayed, accomodation should be settled right
now. Cassis is a touristic place with not so many hotels. We have
made an agreement with the organization:
Cassis Tourisme,
Place Baragnon,
13260 Cassis, France
tel. (33) 42 01 88 34, fax. (33) 42 01 28 31
for booking 85 rooms until July 15 in the following hotels and
under the following conditions:
Hotel des Roches Blanches ****
Location: on the sea, 550m from the conference rooms
Single room + breakfast: 900 F
Double room + breakfast: 970 F
tel. (33) 42 01 09 30, fax.(33) 42 01 94 23
Hotel de la Plage du Bestouan ***
Location: on a small beach, 400m from the conference rooms
Single room + breakfast: 465 F
Double room + breakfast: 510 F
tel. (33) 42 01 05 70, fax.(33) 42 01 34 82
Hotel de la Rade ***
Location: near the port, 300m from the conference rooms
Single room + breakfast: 500 F
Double room + breakfast: 545 F
tel. (33) 42 01 02 97, fax.(33) 42 01 01 32
Hotel les Jardins du Campanile ***
Location: 900m up hill from the conference rooms
Single room + breakfast: 350 F
Double room + breakfast: 400 F
tel. (33) 42 01 84 85, fax.(33) 42 01 32 38
Hotel le Golfe **
Location: on the port, 250m from the conference rooms
View on the port
Single room + breakfast: 400 F
Double room + breakfast: 440 F
No view on the port
Single room + breakfast: 345 F
Double room + breakfast: 385 F
tel. (33) 42 01 00 21, fax.(33) 42 01 92 08
Hotel le Liautaud **
Location: on the port, 100m from the conference rooms
Single room + breakfast: 375 F
Double room + breakfast: 410 F
tel. (33) 42 01 75 37, fax.(33) 42 01 12 08
Hotel le Grand Jardin **
Location: village center, 150m from the conference rooms
Single room + breakfast: 390 F
Double room + breakfast: 430 F
tel. (33) 42 01 70 10, fax.(33) 42 01 33 75
Hotel le Commerce *
Location: over the port, 250m from the conference rooms
With view on the port:
Single room + breakfast: 330 F
Double room + breakfast: 360 F
Without view on the port:
Single room + breakfast: 280 F
Double room + breakfast: 310 F
tel. (33) 42 01 09 10
In addition to these prices, 4 to 7 F of taxes per day and per
person should be paid directly to the hotel.
LOCATION
========
Cassis is a small Provencal harbour 25 km East of Marseille. It
is embedded between Mediterranean sea, high cliffs and terraced
vineyards. It is famous for its climate, its seafood and its wine. In
September the temperature is still warm, but heavy rain can sometimes
fall.
TRAVEL INFORMATION
==================
Cassis can be reached:
by plane: international airport Marseille-Provence(50 Km),
by train: daily train connections with Marseille and Toulon,
interchange services with the main lines Paris-Nice TGV, TRE,
by car: highway B52 exit Cassis.
WHAT TO DO NOW
==============
Participants should as soon as possible:
- fill the form given below,
- send the form to Cassis Tourisme,
- send to Cassis Tourisme a postal money order in the name of
"Cassis Tourisme" of 30% of the total amount of accommodation
costs in French Francs; for French people a check in
Francs is convenient too.
This is the procedure to book the rooms. After July 15 there is no
guaranty of free rooms, but Cassis Tourisme will still help to find
accommodation.
____________________________________________________________
Send to: Cassis Tourisme
Place Baragnon,
13260 Cassis, France
HOTEL RESERVATION FOR THE CP'95 CONFERENCE
FIRST NAME: __________
FAMILY NAME: ___________
TYPE OF ROOM. Circle one:
single room
double room
ARRIVAL DATE: _________________________________________________
DEPARTURE DATE: ________________________________________________
HOTEL PREFERENCES:
ROOM PRICE
CHOICE 1 ___________ ________
CHOICE 2 ___________ ________
CHOICE 3 ___________ ________
CHOICE 4 ___________ ________
30% OF TOTAL COSTS OF CHOICE 1 ________
DATE:
SIGNATURE:
End of NL-KR Digest
*******************
