[Prev][Next][Index][Thread]
ILPS '94 : Program and Registration Information.
-
To: types@dcs.gla.ac.uk
-
Subject: ILPS '94 : Program and Registration Information.
-
From: Kannan Govindarajan <govin-k@cs.Buffalo.EDU>
-
Date: Mon, 12 Sep 1994 17:27:01 -0400 (EDT)
-
Approved: types@dcs.gla.ac.uk
[Since it is somewhat relevant, I am distributing this conference
announcement to types. -- Philip Wadler, moderator, Types Forum.]
ILPS'94 Program and Registration Information
November 13 - 17, 1994, Ithaca, NY
* * * * * * * * * * * * * * * * * * * * * *
Welcome to the Symposium
The International Logic Programming Symposium, ILPS 94, will take
place in Ithaca, NY on November 14-17, 1994. The symposium, one of two
major conferences sponsored annually by Association for Logic Programming,
will be accompanied by a series of workshops, in effect mini-conferences,
to be held on November 17 and 18.
Ithaca, NY is a small city, the home of Cornell University, a
leading research center in many branches of science, engineering, and the
arts.
It is especially appropriate that ILPS'94 meets in Ithaca, since
Cornell University has a long tradition in both its Computer Science and
its Mathematics Departments of studies in logic and its manifold
applications to computer science. The local host is the Cornell
Mathematical Sciences Institute, an Army Research Office Center of
Excellence, which itself has a strong research program in the mathematics
and logic of computer science. The Computer Science Department and the
Mathematical Sciences Institutes are cosponsors of ILPS 94. Additional
support comes from ORA corporation of Ithaca, whose business is development
and application of logical methods to software engineering.
The scientific program of the symposium was selected by an
International Program Committee chaired by Maurice Bruynooghe. The
proceedings will be published in the MIT Press Logic Programming series. A
new feature of this year's Symposium will be a PROLOG competition, to be
held on the first day of the Symposium. Logic Programming conferences have
always blended practitioners and theoreticians. We hope that this
competition will strengthen this blending. The Cornell Campus is famous for
the beauty of its campus and its gorges, with many beautiful walks for a
dark November day. It is also the home of the Johnson Museum of Art. There
will be a classical concert Tuesday, and classical musical accompaniment at
the conference banquet.
The Symposium is another milestone in the evolution of Logic
Programming, a unique blend of logic and computer science. A mature science
can only be built on the solid foundations provided by the research
contributions encouraged by conferences such as this.
V.W. Marek and A. Nerode
* * * * * * * * * * * * * * * * * * * * * * * * * * * *
ILPS'94 CONFERENCE PROGRAM
Sunday, November 13
17:00 to 20:00 Registration Conference Level Foyer
20:00 to 21:30 Reception (Wine & Cheese) TBA
Monday, November 14
8:00 to 17:00 Registration Conference Level Foyer
8:00 to 9:00 Continental Breakfast Grand Ball Room - South
9:00 to 9:10 Welcome Robert L. Constable and Anil Nerode
9:10 to 10:00 Invited Speaker "Logic and the Rational Reconstruct=
ion
of Programming", Maarten H. Van Emden
Grand Ball Room - South
10:00 to 10:30 Break Conference Level Foyer
10:30 to 12:00 Track A Semantics I Danby Room
"Signed Logic Programs," Hudson Turner
"A Syntactic Stratification Condition Using
Constraints," Kenneth A. Ross
"Characterization of Some Semantics
for Logic Programs with Negation and Applications to
Program Validation," Bernard Malfon
Track B Constraints I Dryden Room
"Towards Practical Interval Constraint Solving in
Logic Programming," C.K. Chiu, J.H.M. Lee
"CLP (Intervals) Revisited," F. Benhamou, D. McAlles=
ter,
P. Van Hentenryck
"Redundancy, Variable Elimination and Linear
Disequations," Jean-Louis J. Imbert
12:00 to 13:30 Lunch
13:00 to 16:00 Prolog Programming Contest
13:30 to 16:00 Poster Session Newfield Room
16:30 to 18:00 Track A Program Analysis I Danby Room
"Improving Abstract Interpretations by Systematic
Lifting to the Powerset," Gilberto File, Francesco
Ranzato
"An Abstract Interpretation Framework which Accurate=
ly
Handles Prolog Search-Rule and the Cut" Baudouin Le
Charlier, Sabina Rossi, Pascal Van Hentenryck
"An Algebraic Theory of Observables," Marco Comini,
Giorgio Levi
Track B Deductive Databases
Dryden Room
"Datalog with Integer Periodicity Constraints," Davi=
d
Toman, Jan Chomicki, David S. Rogers
"Efficient Incremental Evaluation of Queries with
Aggregation," Raghu Ramakrishnan, Kenneth A. Ross,
Divesh Srivastava, S. Sudarshan
"Analysis of SLG-WAM Evaluation of Definite Programs=
,"
Terrance Swift, David S. Warren
Tuesday, November 15
8:00 to 9:00 Continental Breakfast Grand Ball Room South
9:00 to 10:00 Invited Speaker "Using Constraint Logic Programming
in Services: A Few Short Tales," Yannick Cras
Grand Ball Room South
10:00 to 10:30 Break
10:30 to 12:00 Track A Semantics II Danby Room
"Tractable Argumentation Semantics via Iterative
Belief Revision," Jia-Huai You, Robert Cartwright
"Probabilistic Deductive Databases," Laks V.S.
Lakshmanan, Fereidoon Sadri
"Combinatory Logic Programming: Computing in Relatio=
n
Calculi," Paul Broome, Jim Lipton
Track B Parallelism Dryden Room
"Strategies for Scheduling And- and Or-Parallel Wor=
k
in Parallel Logic Programming Systems," In=EAs de Ca=
stro
Dutra
"A Simple Program Transformation for Parallelism,"
Saumya Debray, Mudita Jain
"Effectiveness of Global Analysis in Strict
Independence-Based Automatic Parallelization,"
F. Bueno, M. Garc=EDa de la Banda, M. Hermenegildo
12:00 to 14:00 Lunch
14:00 to 15:00 Track A Constraints II Danby Room
"Conjunto: Constraint Logic Programming with Finite
Set Domains," Carmen Gervet
"The Beauty and the Beast Algorithm: Quasi-Linear
Incremental Tests of Entailment and Disentailment
over Trees," Andreas Podelski, Peter Van Roy
Track B Program Analysis II
Dryden Room
"Abductive Analysis of Modular Logic Programs,"
Roberto Giacobazzi
"Localizations of Unification Freedom through
Matching Directions," Massimo Marchiori
15:30 Visit Cornell Campus and Johnson Art Museum,
Collegetown, Ithaca
20:15 Piano concert at Barnes Hall by Xak Bjerken
Wednesday, November 16
8:00 to 9:00 Continental Breakfast Grand Ball Room South
9:00 to 10:00 Invited Speaker "Abstract Interpretation and
Partial Evaluation in the Worlds of Functional
and Logic Programming," Neil D. Jones
Grand Ball Room South
10:00 to 10:30 Break
10:30 to 12:00 Track A Inference Methods Danby Room
"Intuitionistic Implication and Resolution,"
Alain Hui-Bon-Hoa
"SLX - A Top-down Derivation Procedure for Programs
with Explicit Negation," Jos=E9 J=FAlio Alferes, Car=
los
Viegas Dam=E1sio, Lu=EDs Moniz Pereira
"LR Inference: Inference Systems for Fixed-Mode Logi=
c
Programs, Based on LR Parsing," David A. Rosenblueth=
,
Julio C. Peralta
Track B Program Analysis II
Dryden Room
"Cardinality Analysis of Prolog," C. Braem, B. Le
Charlier, S. Modart, P. Van Hentenryck
"Mutally Exclusive Rules in Logic Programming,"
Kjell Post
"Detection and Optimization of Suspension-free Logic
Programs," Saumya Debray, David Gudeman, Peter Bigot
12:00 to 14:00 Lunch
14:00 to 15:00 Invited Speaker "Complexity and Expressive Power of
Disjunctive Logic Programming," Georg Gottlob
Grand Ball Room South
15:00 to 15:30 Break
15:30 to 16:30 Track A Concurrent Constraint Programming Danby Roo=
m
"Encapsulated Search for Higher-order Concurrent
Constraint Programming," Christian Schulte,
Gert Smolka
"AKL(FD) - A Concurrent Language for FD Programming,=
"
Bj=F6rn Carlson, Seif Haridi, Sverker Janson
Track B Artificial Intelligence
Dryden Room
"The Situation Calculus and Event Calculus Compared=
,"
Robert Kowalski, Fariba Sadri
"SLD - Resolution with Reflection," Jonas Barklund,
Pierangelo Dell'Acqua, Stefania Costantini,
Gaetano A. Lanzarone
16:30 to 17:00 Break
17:00 to 18:00 ALP Business Meeting
Grand Ball Room South
19:00 Banquet Grand Ball Room
Guest Speaker Juris Hartmanis
Thursday, November 17
8:00 to 9:00 Continental Breakfast Grand Ball Room South
9:00 to 10:00 Invited Speaker "Combining Functional and Logic
Programming," John W. Lloyd Grand Ball Room South
10:00 to 10:30 Break
10:30 to 12:00 Track A Analysis of Constraint Logic Programs
Newfield Room
"Approximating Interaction between Linear Arithmetic
Constraints," Kimbal Marriott, Peter J. Stuckey
"Optimizing Compilation of Linear Arithmetic in
a Class of Constraint Logic Programs," Spiro Michayl=
ov,
Bill Pippin
Track B Implementation Dryden Room
"A Continuation-passing Style for Prolog,"
Thomas Lindgren
"A Portable Method of Integrating SLG Resolution int=
o
Prolog Systems," R. Ramesh, Weidong Chen
"An Abstract Machine for SLG Resolution: Definite
Programs," Terrance Swift, David S. Warren
12:30 to 14:00 Lunch
14:00 to 20:00 Post Conference Workshops
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
POST CONFERENCE WORKSHOPS
Thursday, November 17
14:00 to 20:00 Workshop 1: "Uncertainty in Databases and Deductive
Systems," Organizers: Giawei Han,
Laks V.S. Lakshmanan, Raymond Ng, Fereidoon Sadi
Workshop 2: "Constraints and Databases," Organizers:
Peter Revesz, Divesh Srivastava, Peter J. Stuckey,
S. Sudarshan
=46riday, November 18
9:00 to 18:00 Workshop 3: "Constraint Languages/Systems and Proble=
m
Modelling," Organizers: Jean Jourdan, Pierre Lim,
Roland Yap
Workshop 4: "Implementation Techniques for Logic
Programming Languages," Organizers: Koen De Bosscher=
e,
Bart Demoen, Pal Tarau
Workshop 5: "Design and Implementation of Parallel
Logic Programming Systems," Organizers: Gopal Gupta,
Enrico Pontelli
* * * * * * * * * * * * * * * * * * * * * * * * *
POSTER SESSION
"Declarative Error Diagnosis as Consistency-Based Diagnosis"
Gregory W. Bond, Bernie Pagurek
"Avoiding Dynamic Type Checking in a Polymorphic Logic Programming Language"
Pascal Brisset
"Modal Event Calculus"
Iliano Cervesato, Luca Chittaro, Angelo Montanari
"Parsing with PTN"
Andrew Davison, Elizabeth Haywood
"On Stable Behaviour of Dynamic Deductive Data Bases"
Michael I. Dekhtyar, Alexander Ja. Dikovsky
"Data Alignment and Task Scheduling On Parallel Machines Using
Concurrent Constraint Model-based Programming"
Jean Jourdan, Fran=E7ois Fages, Didier Rozzonelli, Alain Demeure
"Constraint Logic Programming for Planning"
Jonathan Lever
"Inferring Inheritance from Datalog Programs"
Miguel-Angel Oros, Paul Y. Gloess
"Constraint Logic Programming on Strings: Theory and Applications"
Arcot Rajasekar
"A Portable Compiler for Integrating HiLog into Prolog Systems"
Konstantinos F. Sagonas, David S. Warren
"Last Parallel Call Optimization and Fast Backtracking
in And-parallel Logic Programming Systems"
Dongxing Tang, Enrico Pontelli, Gopal Gupta, Manuel Carro
"A PROLOG Interpreter for First-Order Intuitionistic Logic,"
L. Thorne MacCarty, Leon A. Shklar
"A Simple but Effective Program Revision Method"
Li-Yan Yuan, Jia-Huai You
* * * * * * * * * * *
SOCIAL EVENTS
Welcome Reception: This wine and cheese reception, co-sponsored by ORA
Corporation, will be held Sunday evening, November 13 at 8:00 pm at the
Sheraton Inn. This will be an opportunity for those arriving on the
weekend to informally greet each other and enjoy some fine New York wines
and assorted cheeses.
Johnson Art Museum: Tuesday afternoon November 15 at 3:30 pm there will be
an opportunity for up to 60 conferees to go on a guided tour of the Johnson
Art Museum at Cornell. Tickets for this tour will be provided to the first
sixty registratants indicating a desire to take the tour.
Piano Concert: Tuesday evening November 15 at 8:15 pm a piano concert will
be held at Barnes Hall, Cornell University, featuring Xak Bjerken,
Cornell's new Music Department faculty member and pianist. Mr. Bjerken has
given solo and chamber music recitals in Europe and throughout the United
States, and has recently been invited to make solo appearance with the
Scottish Chamber Orchestra. A trio he co-founded, M=F6bius, was in Residenc=
e
at the 1993 Festival of Two Worlds in Spoleto, Italy, and its founder,
Gian-Carlo Menotti, has invited Mr. Bjerken to return this summer for solo
appearances. Mr. Bjerken was a collaborative artist at the 1992 Ravina
=46estival, and has also attended the Aspen Music Festival, and the Music
Academy of the West. The concert features compositions by Messiaen, D.
Scarlatti, Schoenberg, Debussy, and Liszt.
Banquet: On Wednesday evening at 7:00 pm the conference banquet will be
held in the main ballroom at the Sheraton Inn. The guest speaker will be
Professor Juris Hartmanis.
TRANSPORTATION TO ITHACA, NEW YORK
Ithaca is serviced by two major airlines, USAir and Continental.
The airport is located approximately 2 miles from the location of the
conference, the Sheraton Inn. Other major airlines are available through
the Syracuse Airport, 50 miles north of Ithaca; Rochester Airport, 80 miles
north-west of Ithaca. Transportation from Syracuse and Rochester to Ithaca
is limited.
Special discount fares have been arranged with both USAir and
Continental Airlines for those attending ILPS'94. Both airlines are
offering 10% off regular coach fares and 5% off lowest published excursion
fares. Travel arrangements may be made through: Mickie Tsapis, Beam
Travel, 134 East Seneca Street, Ithaca, NY 14850, 1-800-404-2326, Fax:
607-277-3141. Please mention the travel is in conjunction with ILPS
(International Logic Programming Symposium).
TRANSPORTATION FROM AIRPORT
For those arriving at the Ithaca/Tompkins County Airport free hotel
ground transportation may be obtained by calling the hotel using the
courtesy telephone located near the baggage area, or you may take the
Ithaca Airline Limousine service that meets each flight, costs is $5.00.
The Sheraton Inn is located approximately 2 miles from the airport.
If you arrive at the Syracuse Airport (approximately 50 miles north
of Ithaca), the only transportation available is taxi, which will cost
approximately $65.00. Rental cars are available for transportation from
Rochester, Syracuse, and Ithaca airports.
HOTEL INFORMATION
ILPS'94 will be held at the Sheraton Inn , Ithaca, New York. The
Sheraton Inn & Conference Center offers the most modern and complete
facilitiies in the area. In addition to the superior accommodations,
comprehensive meeting and banquet facilities, the hotel features an
indoor, heated swimming pool, saunas, and a fine resturant. A fitness
center nearby.
Cornell Transit buses make hourly stops at the hotel with stops at
numerous Cornell Campus locations.
The Sheraton is located within easy walking distance of three
shopping malls and several resturants.
Hotel reservations may be made by filling out the form in the
center of this program and mailing or faxing it to the hotel.
CONFERENCE REGISTRATION
The conference fee for early registration (before OCTOBER 17) for
members of the ALP or its affiliates will be US$350. The fee for early
registration for non-members will be US$375. After October 17 late
registration will cost members US$385, and non-members US$410. The early
registration fee for students is US$150, and the late fee is US$165. The
student fee does not include the banquet, but banquet tickets can be
purchased for US$50 each.
Participants paying full or student registrations are given one
year's free automatic membership to the Association for Logic Programming.
You may wish to join your local affiliated society in Britain (ALP-UK),
=46rance (AFCET), Germany (ALP/G), or Italy (GULP). If you do, please
indicate your desire on the registration form, so information can be
forwarded to your society.
There is a registration form in the center of this program. If you
wish to register by e-mail, please request an e-mail form from:
ilps@msiadmin.cit.cornell.edu. E-mail registrations must be paid for by
either VISA, MASTERCARD, DISCOVER, AMERICAN EXPRESS, or DINERS CLUB at time
of e-mail registration.
All members of ALP, ACM, IEEE, SIGART, and SIGMOD are eligible for
discount registration fee. Members must include the
membership/organization number (one affiliation only) in order to receive
the discount. All students must submit proof of student status either by
submitting a photocopy of student identification or a letter from their
institution.
Refund Policy: Written requests or e-mail requests for refunds
must be received by the Conference co-ordinator Valerie Kaine by November
1. Refunds are subject to a $50 processing fee. Those who do not request
a refund by the deadline will be billed in full.
The Conference Registration Fee includes: Admission to the entire
conference program including technical sessions, and poster sessions, a
copy of the proceedings of the conference, the reception on Sunday evening,
tour of Johnson Art Museum (see restrictions on registration form), Piano
Concert, and the Banquet. The student fee does not include the banquet.
Extra banquet tickets are available at US$50.
The post-conference workshops will cost US$20 for each workshop
attended. People not registered at the conference can register for US$60
per workshop. See the program for a list of workshops available.
ITHACA AND THE SURROUNDING AREA
The City of Ithaca, located in the heart of the Finger Lakes
Region, is situated on the Southern tip of Cayuga Lake. One of the largest
=46inger Lakes, Cayuga is, according to legend, what remains of the Onondaga
Indians' Creator impressing a hand on the region to express pleasure with
its beauty and purity. Today, Ithaca remains incredibly beautiful despite
the many changes that have taken place since that mythic event. A city of
about thirty thousand, Ithaca combines the beauty of a rural area with the
cultural offerings of a larger city. It is home to both Cornell University
and Ithaca College and has also long been recognized as a center of
education.
Cornell University was established in 1868 and is the largest, most
comprehensive school in the Ivy League. Ezra Cornell's dream to establish,
"an institution where any person can find instruction in any study" is one
that present-day Cornell fulfills. Coming from all fifty states and over
nearly a hundred countries, Cornell's student population consists of over
12,000 undergraduate students and over 6,000 graduate students.
Undergraduate students can select from among more than four thousand
courses and graduate study is available in approximately a hundred academic
and professional skills, including law, management, medicine, and
veterinary medicine.
The campus, acclaimed as one of the most beautiful in the world,
boasts over seven hundred acres of open lawns, manicured pathways, wooded
areas and distinctive buildings which overlook the city of Ithaca and
Cayuga Lake. The waters that feed the lake have created spectacular gorges
and waterfalls throughout the area.
There are several shopping areas available. In additon to the
shopping malls near the Sheraton Inn, there are many specialty stores
located in downtown Ithaca. An open-air pedestrian mall, known as The
Commons, is recommended to all visitors to Ithaca. There is a large
assortment of resturants to choose from in downtown Ithaca and near Cornell
in the area referred to as "Collegetown."
STUDENT CERTIFICATE
All those desiring a student discount for registration must return this
certificate with their registration form.
I certify that ____________________________________
(Print name of student)
is a full-time student at ______________________________
(Name of university)
and eligible for the student conference rate.
____________________________________
(Signature)
____________________________________
(Printed name)
____________________________________
(Title/Position)
Certificate must be signed by the thesis advisor or department head.
* * * * * * * * * * * * * * * * * * * * * * * * *
REGISTRATION FORM: ILPS'94
International Logic Programming Symposium, November 13-17, 1994
Ithaca, New York, USA
__________________________________________________________________
Please mail to: Mathematical Sciences Institute Tel: (+1) 607-255-8005
Attn: ILPS'94 FAX: (+1) 607-255-9003
409 College Ave.
Ithaca, NY 14850, USA
E-mail: ilps@msiadmin.cit.cornell.edu
_____________________________________________________________
Name: _________________________________________
Affiliation:____________________________________
Address: ______________________________________________________
Telephone: __________________ FAX: _________________________
Membership organization & number: ___________
E-mail: __________________________________
Dietary Restrictions: Vegetarian ___________________
Other (specify) ______________________________________
Other special needs:_____________________________________________
Check the social activities you plan to attend:
(All are included in the full registration fee. Student registration does
not include the Banquet. Additional Banquet tickets may be purchased for
$50.00) The following information is needed for proper planning of the
events.
___ Opening Reception Nov. 13
___ Tour of Art Museum Nov 15. (Limited to first 60)
___ Piano Concert Nov. 15
___ Banquet Nov 16.
Select entree: ___ Prime Rib
___ Salmon
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
Presenters indicate audio-visual requirements:
___ Overhead Projector
___ Chalk Board
___ Other (state) __________________________
Note: There will be a Sun Sparcstation with color screen available for
software demonstrations. Please notify conference registration office to
reserve time on the computer.
Conference Fees: Before October 17 After October 17
Member US$350 US$385
NonMember US$375 US$410
Student US$150 US$165
Workshop Fees: Each workshop: US$20. Workshop only participants: US$60 per
workshop. Please check the appropriate workshop(s).:
W1 ______ W2 _______ W3 _______ W4 _______ W5 _______
Total Payment: US $ _________________________
Payment can be made by check drawn on a US bank or money order in American
dollars. Please make checks payable to Cornell University: ILPS'94. You can
also pay by Visa, MasterCard, Discover, American Express, or Diners Club.
Cardholder's name: ______________________________
Type of card and Number: ______________________________
Expiration Date: _____________________
-----------------------------------------------------------------
HOTEL REGISTRATION INFORMATION
Reservations should be made with the
Sheraton Inn Ithaca Tel# 607-257-2000
Attn: Roseann Kuti FAX # 607-257-3998
One Sheraton Drive
Ithaca, NY 14850
Deadline for hotel reservations is October 11, 1994
* * * * * * * * * * * * * END * * * * * * * * * * * *
--
Victor W. Marek Department of Computer Science
marek@cs.uky.edu University of Kentucky
marek@ms.uky.edu Lexington, KY 40506
606-257-3496 (office) 606-323-1971 (FAX)
If someone constructs a deductive system that isn't sound, then he has
made a mistake.
(J.T. Kearns: The Principles of Deductive Logic)