You may possibly receive this message multiple times.
We apologize for the inconvenience.
*******************************************************************************
As the early registration deadline is comming close, we send you a final
call for participation. This email also includes hotel registration forms.
*******************************************************************************
ICLP'97
The Fourteenth International Conference on Logic Programming
Leuven, Belgium
July 8-12, 1997
CALL FOR PARTICIPATION
Info: WWW: http://www.cs.kuleuven.ac.be/~iclp97
http://www.cs.mu.oz.au/~lee/iclp97/
email: iclp97@cs.kuleuven.ac.be
The conference will be held in the town center of Leuven.
The main conference will be held on July 8-10, and the post-conference
workshops will be scheduled on July 11-12.
PROGRAM
Tuesday , July 8th.
8.50 Welcome
9.00 Session 1: Opening Session
* Solving Small TSPs with Constraints
Yves Caseau and Francois Laburthe
* Taking I/O Seriously: Resolution Reconsidered for Disk
Juliana Freire, Terrance Swift and David S. Warren
* Disjunctive Logic Programming as Constrained Inferences
J. You, X. Wang, L. Yuan
10.30 Break
11.00 Tutorials 1 and 2 (in parallel)
* Tutorial 1: Logic Programming and Intelligent Agents
Robert A. Kowalski
* Tutorial 2: Teaching Prolog and CLP
Ulrich Neumerkel
12.30 Lunch
14.30 Session 2: Analysis I
* Global Variables in Logic Programming
Peter Schachte
* A Practical Approach to Structure Reuse of Arrays in
Single Assignment Languages
Andreas Kagedal and Saumya Debray
* Live-structure Analysis for Logic Programming Languages
with Declarations
Maurice Bruynooghe, Gerda Janssens, Andreas K{\aa}gedal
16.00 Break
16.30 Session 3: Parallelism
* Automatic Compile-time Parallelization of Prolog Programs
for Dependent And-Parallelism
E. Pontelli, G. Gupta, F. Pulvirenti, A. Ferro
* Implementation Mechanisms for Dependent And-Parallelism
E. Pontelli and G. Gupta
* Parallel Evaluation Strategies for Functional Logic Languages
Sergio Antoy, Rachid Echahed and Michael Hanus
Wednesday, July 9th.
9.00 Session 4: Analysis II
* Non-Failure Analysis for Logic Programs
S. Debray, P. Lopez and M. Hermenegildo
* Automatic Termination Analysis of Logic Programs
N. Lindenstrauss and Y. Sagiv
* Demand-driven and constraint-based automatic left-termination
analysis for Logic Programs
Stefaan Decorte and Danny De Schreye
* Optimization of Logic Programs with Dynamic Scheduling
German Puebla, Maria Garcia de la Banda, Kim Marriott
and Peter Stuckey
11.00 Break
11.30 Invited talk by Seif Haridi
12.30 Lunch
14.30 Sessions 5a and 5b (in parallel):
Session 5a: Rewriting and Functional Programming
* A Higher Order Rewriting Logic for Functional Logic Programming
J.C. Gonzalez-Moreno, M.T. Hortala-Gonzalez, M. Rodriguez-Artalejo
* Translating Logic Programs into Conditional Rewriting Systems
Femke van Raamsdonk
* Modularity in Functional-Logic Programming
J.M. Molina and E. Pimentel
Session 5b: Databases
* Effective Maintenance of Recursive Views: Improvements to the
DRed Algorithm
Ismail H. Toroslu and Fahri Kocabas
* Capturing Database Dynamics by Deferred Updates
Carl-Alexander Wichert, Burkhard Freitag
* Total Homeostaticity and Integrity Constraints Restorability
Recognition
Michael I. Dekhtyar, Alexander Ja. Dikovsky
16.00 Poster presentations
17.00 Prolog programming competition
20.00 Performance of The Logic Programming Trio
Thursday, July 10th.
9.00 Sessions 6a and 6b (in parallel):
Session 6a: Visualisation/Natural Language Processing
* Assumption Grammars for Processing Natural Language
Veronica Dahl, Paul Tarau and Renwei Li
* Visualization of And/Or-Parallel Execution of Logic Programs
R. Vaupel, G. Gupta, E. Pontelli
* Oz Explorer: A Visual Constraint Programming Tool
Christian Schulte
Session 6b: Foundations
* A Strong Correspondence between Description Logics and
Open Logic Programming
Kristof Van Belleghem, Marc Denecker, Danny De Schreye
* Incorporating a Pruning Strategy into the Computation of
Stable Models based on MGTP
Yuka Shimajiri, Hirohisa Seki and Hidenori Itoh
* Hybrid Probabilistic Programs
Alex Dekhtyar, V.S. Subrahmanian
10.30 Break
11.00 Session 7: Constraints
* Constraint Search tree
Peter Stuckey
* A Modular Framework for the Combination of Unification
and Built-In Constraints
Farid Ajili, Claude Kirchner
12.00 Break
12.15 Invited talk by Michel Van Den Bossche
13.15 Lunch
15.00 Tutorials 3 and 4 (in parallel)
* Tutorial 3: WWW Programming and Computational Logic Systems
Manuel Hermenegildo
* Tutorial 4: Types in Logic Programming
Gregor Meyer
16.30 Break
17.00 Panel and ALP General Meeting
20.30 Banquet
The ICLP conference fee covers full registration, conference proceedings,
welcome reception, conference banquet, and coffee breaks.
Registration received
before June 1, 1997 after June 1, 1997
ALP member 13000 BF 15000 BF
non-ALP member 14000 BF 16000 BF
student 6500 BF 7500 BF
Students must include a proof of their status.
Additional banquet tickets cost 2500 BF.
The workshops fee covers registration for all workshops and proceedings
of one workshop.
workshop fee for ICLP participants 3000 BF
workshop fee for non-ICLP participants 5000 BF
The following post-conference workshops will be held:
WS1: "Logic-Based Composition of Software"
WS2: "Tabling in Logic Programs"
WS3: "Eighth Workshop on Logic Programming Environments"
WS4: "5th Workshop on Deductive Databases and Logic Programming"
WS5: "2nd International Workshop on Logic Programming Tools for
Internet Applications"
WS6: "Logic programming and Multi Agent Systems"
A limited number of grants is available, with preference given to authors and
students from financially disadvantaged countries who do not get
money from other sources.
Registration forms and grant application forms should be sent to:
ICLP'97 registration
t.a.v. Karin Michiels
Department of Computer Science
Celestijnenlaan 200A
B-3001 Heverlee (Leuven)
BELGIUM
Fax: + 32 16 32 79 96
Separate from the registration and/or grant application form, accomodation
forms should be filled in and returned to Agri Travel. Considering that
there are several conferences held simultaneously in Leuven during that
period, we advise to send in the accomodation forms a.s.a.p. and in any
case before the deadline of June 1. Both student rooms and hotel rooms
have been reserved for ICLP'97-participants.
ICLP'97 REGISTRATION FORM
Last name ...
First name ...
Title (Prof./Dr./Mr/Mrs/Ms) ... ALP Membership number ...
Affiliation ...
Address ...
City ... Zip/Postal Code ...
Country ...
Telephone ... Telefax ...
Email ...
ICLP conference fee ... BF
Additional banquet tickets .. x 2500 BF = ... BF
Workshop fee ... BF
I would like to have the proceedings of WS ...
------
Total .... BF
Special dietary requests:...
Payment of registration fees can be done through VISA or MASTERCARD (**with
faxed or surface mailed signed forms**), bankers drafts or bank transfers.
If cancellation is received up to June 10, 1997 a 75 percent refund will
be given. For cancellations received afterwards, no refunds can be
guaranteed.
[ ] Credit card registration (to be faxed or sent by surface mail)
Type (please circle one) VISA MASTERCARD/EUROCARD
Card Number ... Expiration Date ...
Name as it appears on the card ...
Amount ... BF Authorised Signature ...
[ ] Bank transfer (by email or to be faxed or sent by surface mail)
Mr/Mrs ..
has remitted the total of .... BF
through (bank name) ...
to this account:
Account name: K.U.Leuven - CONGRESREK. LPAI
Account number: 431-0375301-75
Name of Bank: Kredietbank, Mgr. Ladeuzeplein 15-19, 3000 Leuven
Please make sure that ALL bank charges are at the participant's expense.
[ ] A bankers draft amounting to ... BF is enclosed. (to be faxed or sent
by surface mail)
Please make sure that the check is payable to the above mentioned
account, and that bank charges are at the participant's expense.
Date: .... Signature: ...
GRANT APPLICATION FORM
deadline: May 15, 1997
ICLP'97
The Fourteenth International Conference on Logic Programming
Leuven, Belgium
July 8-12, 1997
A limited number of grants is available, with preference given to authors and
students from financially disadvantaged countries who do not get
money from other sources.
Last name ...
First name ...
Affiliation ...
Address ...
City ... Zip/Postal Code ...
Country ...
Telephone ... Telefax ...
Email ...
I do not get money for this conference or workshops from other sources.
Travel cost estimate (based on reduced fees such as APEX): ...
Motivation for request:
Signature: ...
To be sent preferably by e-mail to iclp97@cs.kuleuven.ac.be,
or by mail to the following address:
ICLP'97 registration
t.a.v. Karin Michiels
Department of Computer Science
Celestijnenlaan 200A
B-3001 Heverlee (Leuven)
BELGIUM
Fax: + 32 16 32 79 96
Accommodation information and registration:
AGRI travel
Parijsstraat 50 Tel. 32/16/24.38.40 E-MAIL ADDRESS : Agri@pophost.eunet.be
B-3000 LEUVEN Fax 32/16/24.38.02 BTW NR. 413.646.305 LIC. NR. A 1121
FOURTEENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP '97)
ICLP POST-CONFERENCE WORKSHOPS
SEVENTH INTERNATIONAL WORKSHOP ON LOGIC PROGRAM SYNTHESIS AND TRANSFORMATION
(LOPSTR '97)
July 8 - 12, 1997 - Leuven - Belgium
ACCOMMODATION FORM
Last name :
First name :
Title :
E-mail address :
Street :
City : Postal code :
Country :
Tel. : Telefax :
Accompanying person(s) :
HOTEL ACCOMMODATION : All rooms with bath or shower.
Rates per room per night, buffetbreakfast & taxes included
Code Walking distance Single room Double room
to conference site
Holiday Inn Garden Court* LVHHOLI 2 minutes BEF 4.500 BEF 5.000
Begijnhof Congreshotel* LVHBEGI 15 minutes BEF 4.350 BEF 4.800
Hotel Binnenhof* LVHBINH 15 minutes BEF 3.000 BEF 3.400
Hotel New Damshire LVHNEWD 5 minutes BEF 2.950 BEF 3.800
Hotel Ibis* LVHIBIS 10 minutes BEF 2.800 BEF 3.200
Hotel Jackson's LVHJACK 10 minutes BEF 2.650 BEF 2.950
* = Parking space (no advance reservations)
Please book : First choice :
Second choice :
Arrival date : Departure date : Nr. of nights :
Single room [ ] Double room [ ] (Please tick appropriate box).
DEADLINE FOR HOTEL RESERVATIONS : JUNE 1, 1997
As from June 1, 1997 reservations will only be accepted on "space
available" basis. We strongly advise all participants to book before
June 1, 1997.
STUDENT ACCOMMODATION : Common toilets on each floor
Rates per room per night, breakfast, taxes & administration fee included
Code Walking distance Single room Double room
to conference site
Paus Adrianus VI College LVHPAUS BEF. 1.350 BEF. 1.750
(with private shower)
The Paus Adrianus VI College is situated at 2 minutes walking distance from the Conference site.
Arrival date : Departure date : Nr. of nights :
(Not before July 6) (Not after July 12)
Single room [ ] Double room [ ] (Please tick appropriate box).
DEADLINE FOR RESERVATION OF STUDENT ACCOMMODATION : JUNE 1, 1997
As from June 1, 1997 reservations for student accommodation can NO
LONGER be accepted. So we strongly advise all participants to book
before June 1, 1997.
PAYMENT OF ACCOMODATION
HOTEL
The total amount must be paid directly to the hotel when checking out.
All hotels accept the following credit cards: American Express, Eurocard,
Visa, and (except New Damshire) Diners Club.
Reservations must be guaranteed by means of a credit card
or by a cheque (Bank- or Eurocheque) for an amount equivalent to 1 night.
[ ] Number of Credit Card : ........ ........ ........ ........
Expiry date : .........................
Name of the Cardholder : .........................................
Signature : ......................................
[ ] Bank- or Eurocheque for the amount of BEF. ......................
is enclosed. This cheque will be given back to you upon arrival in Leuven.
In case of cancellation less than 7 days before arrival or "no-show"
(reservation not cancelled before arrival) 1 night will be charged to
your credit card or your cheque will not be given back.
*** Reservations will only be accepted with credit card guarantee or with
enclosed cheque
STUDENT ACCOMMODATION
The total amount must be paid to AGRI-TRAVEL by means of a Credit Card
(Eurocard/Mastercard - Visa Card - Diners Club Card) or a Bank- or
Eurocheque.
[ ] Number of Credit Card : ......... ......... ......... .........
Expiry date : .........................
Name of the Cardholder : .........................................
Signature : ......................................
[ ] Bank- or Eurocheque for the amount of BEF. .........................
is enclosed.
Each cancellation must be done IMMEDIATELY by TELEFAX, TELEX or LETTER
to AGRI-TRAVEL.
In the event of cancellation following fees will be charged :
Cancellations notified before June 1, 1997 : 25 % cancellation fee ;
as from June 1, 1997 : 50 % cancellation fee ;
as from June 15, 1997 : 100 % cancellation fee.
*** Reservations will only be accepted with credit card guarantee or with
enclosed cheque
Please return, fax or e-mail 1 copy of this form before June 1, 1997 to :
AGRI-TRAVEL CONGRESS DEPT. - Parijsstraat 50 B-3000 LEUVEN (BELGIUM)
FAX .../32/16/24.38.02
E-MAIL Address : Agri@pophost.eunet.be
Date : .........................................
Signature : ...........................................
-------------------------------------------------------------------------------
The dbworld alias reaches many people, and should only be used for
messages of general interest to the database community.
Requests to get on or off dbworld should go to listproc@cs.wisc.edu.
to subscribe send
subscribe dbworld Your Full Name
to unsubscribe send
unsubscribe dbworld
to change your address
send an unsubscribe request from the old address
send a subscribe request from the new address
to find out more options send
help
------------------------------------------------------------------------FOOTER-