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
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
-------------------------------------------------------------------------------
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-