Copy Link
Add to Bookmark
Report
NL-KR Digest Volume 14 No. 64
NL-KR Digest Wed Oct 11 08:16:51 PDT 1995 Volume 14 No. 64
Today's Topics:
Program: ILPS'95 Intl. Logic Prog. Symp., Dec 95, Portland
* * *
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).
-----------------------------------------------------------------------
To: comp-ai-nlang-know-rep@uunet.uu.net
From: saletore@chert.CS.ORST.EDU (Vikram Saletore)
Subject: Program: ILPS'95 Intl. Logic Prog. Symp., Dec 95, Portland
Date: 4 Oct 1995 22:03:03 GMT
International Logic Programming Symposium
Preliminary Program & Registration Information
December 4--7 1995, Portland Oregon
http://www.cs.uoregon.edu/ilps95
The 1995 International Logic Programming Symposium, ILPS'95, will take
place in Portland Oregon on December 4--7 1995. 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 December 7--8. It is especially
appropriate that ILPS'95 meets in Oregon because of the continuing
research in this and related areas conducted at Portland State
University (PSU), the Oregon Graduate Institute (OGI), and Oregon
State University (OSU), all within an hour's-drive of the conference
site.
The theme for ILPS'95 will be ``Declarative Systems,'' particularly
the integration of the logic programming, functional programming, and
object-oriented programming paradigms. Researchers in other
communities doing interdisciplinary research involving logic
programming and functional and/or object-oriented programming are
especially welcomed, and our program of invited talks, panel,
tutorials and workshops reflect this.
The technical program was selected by an international program
committee chaired by John Lloyd. The proceedings will be published in
the MIT Press Logic Programming series. Continuing what we hope will
become an ILPS tradition, the Second Annual Prolog Programming Contest
will be held at PSU, during the symposium, organized by Bart Demoen.
The conference venue, Portland, is noted for the ``Silicon
Rainforest'' in neighboring Beaverton, micro-breweries, Powell's Books
(the world's largest used-book store), a plethora of Starbucks and
Coffee People cafes, Nike Town, the so-called Northwest Sound (grunge
rock), and superb skiing on nearby Mt. Hood. The conference hotel is
the Portland Marriott, overlooking the Willamette River in the heart of
downtown, 20 minutes from Portland International Airport. In addition
to the superb technical program, the conference will include a banquet
dinner at Atwater's Restaurant atop the Bancorp Tower.
Evan Tick
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
TECHNICAL PROGRAM
Sunday, December 3
17:00 to 20:00 Registration
20:00 to 21:30 Reception (Wine & Cheese)
Monday, December 4
8:00 to 17:00 Registration
8:00 to 9:00 Continental Breakfast
9:00 to 9:10 Welcome: Evan Tick
9:10 to 10:10 Invited Speaker: Nachum Dershowitz
Goal Solving as Operational Semantics
10:10 to 10:30 Coffee Break
10:30 to 12:00 Tutorial 1 : Chris Moss
Logic and Objects
Tutorial 2: Herbert Kuchen
Implementation Issues for Functional Logic Programming
12:00 to 14:00 Lunch
14:00 to 15:00 Session 1A: Language Design
Monadic Constructs for Logic Programming
Yves Bekkers, Paul Tarau
Implementing the Linear Logic Programming Language Lygon
Michael Winikoff, James Harland
Session 1B: Databases
A Typed Extension to Datalog with Sets and Tuples
(Extended Abstract)
Mengchi Liu
Top-Down Beats Bottom-Up for Constraint Based Extensions
of Datalog
David Toman
15:00 to 15:30 Coffee Break
15:30 to 16:30 Session 2A: Objects
Objects in Forum
Giorgio Delzanno, Maurizio Martelli
A Declarative Semantics for Behavioral Inheritance and
Conflict Resolution
Hasan M. Jamil, Laks V. S. Lakshmanan
Session 2B: Functional Logic Programming
A Call-by-Need Strategy for Higher-Order Functional-Logic
Programming
Christian Prehofer
Abstraction of Conditional Term Rewriting Systems
D. Bert, R. Echahed
16:30 to 17:30 Poster Session
18:00 to 20:00 Prolog Programming Contest (Portland State University)
Tuesday, December 5
8:00 to 9:00 Continental Breakfast
9:00 to 10:00 Invited Speaker: Phil Wadler
How to Declare an Imperative
10:00 to 10:30 Coffee Break
10:30 to 12:00 Session 3A: Foundations I
A Clause-driven Proof Search for Hereditary Harrop Formulas
Alain Hui-Bon-Hoa
Optimizing Clause Resolution: Beyond Unification Factoring
Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan,
Terrance Swift
A Compositional Proof Method of Partial Correctness for
Normal Logic Programs
G\'{e}rard Ferrand, Arnaud Lallouet
Session 3B: Implementation
The Implementation of AKL(FD)
Bj\"{o}rn Carlson Mats Carlsson Sverker Janson
The Mercury Code Generator
Thomas Conway, Fergus Henderson, Zoltan Somogyi
A Simple Approach to Supporting Untagged Objects in
Dynamically Typed Languagues
Peter A. Bigot, Saumya K. Debray
12:00 to 14:00 Lunch
14:00 to 15:30 Session 4A: Foundations II
Declarative Diagnosis Revisited
Marco Comini, Giorgio Levi, Giuliana Vitiello
Semantical Properties of Encodings in Logic Programming
Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini,
Gaetano A. Lanzarone
Temporal Logic Programming in Dense Time
Christoph Brzoska
Session 4B: Analysis I
Functional Dependencies and Moore-Set Completions of
Abstract Interpretations and Semantics
Roberto Giacobazzi, Francesco Ranzato
A Blueprint for an Abstract Machine for Abstract
Interpretation of (Constraint) Logic Programs
Gerda Janssens, Maurice Bruynooghe, Veroniek Dumortier
Practical Model-Based Static Analysis for Definite Logic
Programs
John Gallagher, Dmitri Boulanger, H\"{u}seyin Sa\u{g}lam
15:30 to 16:00 Coffee Break
16:00 to 18:00 Panel Discussion
Integration of Functional and Logic Programming Languages
Chairman: John Lloyd
Panel members: Hassan A\"{\i}t-Kaci
Michael Hanus
Uday Reddy
Mario Rodr\'{\i}guez-Artalejo
19:00 Banquet (Atwater's Restaurant)
Wednesday, December 6
8:00 to 9:00 Continental Breakfast
9:00 to 10:30 Tutorial 3: H{\aa}kan Millroth
Tradesoffs in Explicit and Implicit Parallelism
Tutorial 4: Danny De Schreye
Program Specialization
10:30 to 11:00 Coffee Break
11:00 to 12:30 Session 5A: Non-monotonic Reasoning
Logic Programming without Negation as Failure
Yannis Dimopoulos, Antonis Kakas
An Introspective Framework for Paraconsistent Logic Programs
Jia-Huai You, Suryanil Ghosh, Li-Yan Yuan, Randy Goebel
Declarative and Fixpoint Characterizations of Disjunctive
Stable Models
Nicola Leone, Pasquale Rullo, Francesco Scarcello
Session 5B: Analysis II
Efficient Analysis of Logic Programs with Dynamic Scheduling
Mar\'{\i}a Garc\'{\i}a de la Banda, Kim Marriott, Peter Stuckey
Control Flow Analysis of Prolog
Thomas Lindgren
Proving Termination of Logic Programs with Delay Declarations
Elena Marchiori, Frank Teusink
12:30 to 14:30 Lunch
14:30 to 15:30 Invited Speaker: Bill McClay
Surviving the AI Winter
15:30 to 16:00 Coffee Break
16:00 to 17:30 Session 6A: Transformation
Generalization in Positive Supercompilation
M. H. S\orensen, R. Gl\"{u}ck
Correctness of Logic Program Transformations Based on
Existential Termination
Kung-Kiu Lau, Mario Ornaghi, Alberto Pettorossi,
Maurizio Proietti
Partial Deduction of the Ground Representation and its
Application to Integrity Checking
Michael Leuschel, Bern Martens
Session 6B: Constraints
Beyond the Glass Box: Constraints as Objects
Jean-Francois Puget, Michel Leconte
Modelling Real-Time in Concurrent Constraint Programming
F. S. de Boer, M. Gabbrielli
A Formal Approach to Deductive Synthesis of Constraint
Logic Programs
Kung-Kiu Lau, Mario Ornaghi
17:30 to 18:30 ALP Business Meeting
Thursday, December 7
8:00 to 9:00 Continental Breakfast
9:00 to 10:00 Invited Speaker: Joxan Jaffar
Logic Programming and Object Modelling
10:00 to 10:30 Coffee Break
10:30 to 12:00 Session 7A: Semantics
Compositionality in SLD-derivations and their Abstractions
Marco Comini, Giorgio Levi, Maria Chiara Meo
Type Correct Programs: A Semantic Approach
Bernard Malfon, G\'{e}rard Ferrand
The Logical Semantics of the Prolog Cut
James Andrews
12:00 to 13:30 Lunch
13:30 to 19:30 Post Conference Workshops
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
POST CONFERENCE WORKSHOPS
Thursday, December 7 (afternoon)
W1. Visions for the Future of Logic Programming
W2. Interval Constraints
Friday, December 8 (full day)
W3. Sequential Implementation Technologies for Logic Programming Languages
W4. Constraints and Databases/Constraint Logic Programming
W5. Operational & Denotational Semantics of Logic Programming:
W6. Seventh Workshop on Logic Programming Environments
W7. Parallel Logic Programming Systems
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
Workshop 1 (W1), half day, Thursday, 7 December
Visions for the Future of Logic Programming
Laying the Foundations for a Modern Successor to Prolog
This workshop poses the question Is it time to start serious work
on a standardized, "modern" successor to Prolog? Its goal is
to foster cooperative interaction among logic programming researchers
with the intent to identify those areas of potential agreement and
substantial disagreement on the shape of a successor to Prolog.
Organizers: Donald A. Smith, Olivier Ridoux, Peter Van Roy
Contact: Donald A. Smith, University of Waikato, dsmith@cs.waikato.ac.nz,
+64 (7) 838-4503
Workshop details available on the WWW at:
http://www.cs.waikato.ac.nz/~dsmith/visions.html
- - - - - - - - - - - - - - -
Workshop 2 (W2), half day, Thursday, 7 December
Interval Constraints
In 1987, J. Cleary suggested that a relational form of interval
arithmetic could be integrated into a logic programming language
similar to Prolog. This workshop explores the synergism between
Interval Constraints and the areas of constraint logic programming,
interval analysis and constraint satisfaction.
Organizers: Frederic Benhamou, William J. Older, Maarten van Emden,
Pascal Van Hentenryck
Contact: Frederic Benhamou, Universite d'Orleans,
benhamou@lifo.univ-orleans.fr, +33 38 41 72 93
Workshop details available on the WWW at:
http://frege.als.com:80/nalp/calendar/icw-95.html
- - - - - - - - - - - - - - -
Workshop 3 (W3), full day, Friday, 8 December 1995
Sequential Implementation Technologies for Logic Programming Languages
This workshop is a forum for the exchange of ideas between the
implementors of logic programming systems, and a learning opportunity
for those who would like to learn about implementations. Coverage of
the workshop includes implementation of logic languages, analysis and
optimization of logic programs, and performance of implementations.
Organizers: Zoltan Somogyi, Lee Naish, Fergus Henderson, Tom Conway
Contact: Zoltan Somogyi, Univ. of Melbourne, zs@cs.mu.OZ.AU,
+61 3 9282 2401
- - - - - - - - - - - - - - - -
Workshop 4 (W4), full day, Friday, 8 December 1995
Constraints, Databases and Logic Programming
Constraint logic programming (CLP) is a problem-solving paradigm
which combines the natural expressiveness of constraints, the
power of executable specifications, and the utility of database programming.
The purpose of this workshop is to explore the potential of CLP by
integrating approaches from databases, AI, knowledge representation,
language design and implementation, logic programming and OR.
Organizers: Alex Brodsky, Jennifer Burg, Alon Y. Levy,
Divesh Srivastava, Peter J. Stuckey, Roland H.C. Yap
Contact: Jennifer Burg, Wake Forest University, burg@mthcsc.wfu.edu,
+1 910-759-4465
Workshop details available on the WWW at:
http://www.cs.mu.oz.au/ilps95workshops/Welcome.html
- - - - - - - - - - - - - - - -
Workshop 5 (W5), full day, Friday, 8 December 1995
Operational & Denotational Semantics of Logic Programming:
Extending Proof- and Model-theoretic Analyses
This workshop brings together researchers in proof theory, logic
programming language design and programming language semantics
(including functional languages) to investigate bases for logic
language semantics that better capture their operational
characteristics, allowing analysis of evaluation strategies in terms
of the semantics of the logic language.
Organizers: James Harland, David Pym
Contact: James Harland, Royal Melbourne Institute of Technology,
jah@cs.rmit.edu.au, +613 9660 2045
- - - - - - - - - - - - - - - -
Workshop 6 (W6), full day, Friday, 8 December 1995
Seventh Workshop on Logic Programming Environments
This workshop allows researchers and logic programming system
developers to exchange ideas and results on all aspects of
environments for logic programming. Relevant topics include user
interfaces, human engineering, execution visualization, development
tools, providing for new paradigms, interfacing to language system
tools and external systems.
Organizers: Markus Fromherz, Anthony J. Kusalik
Contact: Markus Fromherz, Xerox PARC, fromherz@parc.xerox.com,
415-812-4273
Workshop details available on the WWW at:
http://www.cs.usask.ca/projects/envlop/wlpe-95.html
- - - - - - - - - - - - - - - -
Workshop 7 (W7), full day, Friday, 8 December 1995
Parallel Logic Programming Systems
This workshop covers all aspects of parallel logic programming,
including execution models, programming languages, parallel
implementations, scheduling, compilation techniques, distributed logic
programming and parallel logic programming in the real world. There
will be an emphasis on practical experience with implementation and
use of parallel logic programming systems.
Organizers: Vitor Santos Costa, Fernando Silva, Ines de Castro Dutra
Contact: Vitor Santos Costa, Universidade do Porto, vsc@ncc.up.pt,
+351-2-6001672
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
2ND ANNUAL PROLOG PROGRAMMING CONTEST
The second fun-filled Prolog programming competition will be held on
Monday, December 4, from 6--8 pm, at Portland State University. Up to
ten teams of up to three persons will attempt to solve a number of
problems within the two hour contest. Their solutions will be rated
as good or bad, according to whether they produce correct results on a
set of tests, how fast the program was created, and fast the program
runs.
ALL PARTICIPANTS (TEAMS & SPECTATORS) MUST
REGISTER FOR THE CONTEST BY 10 AM
MONDAY MORNING AT THE ILPS'95 REGISTRATION DESK
A complete set of contest rules will be made available at the contest
site. Most importantly, no materials other than SICStus Prolog
Manuals (bring your own!) are allowed, and no communication outside
of team members is permitted. A workstation and SISCtus system will
be provided for each team.
The contest site is room 120, 528 Mill Street (on the corner of 6th
and Mill). This is within easy walking distance of the conference
site and you will be guided there: we will gather at 5:30pm SHARP at
the reception desk. The Mill Street building is locked after 6pm, so
it is IMPERATIVE to arrive on time.
The winning team will be announced at the ILPS'95 banquet. Each
member of the winning team will receive a book donated by MIT press.
The first Prolog programming competition was held at ILPS'94 in Ithaca
and quite a success; you can preregister for the contest by e-mail to
Bart.Demoen@cs.kuleuven.ac.be . Admission is on a first come first
served basis! Individuals without teams should send us your names: we
will create teams for you. As a warm up, you can try the problems of
last year (ftp anonymously from ftp.cs.kuleuven.ac.be from directory
/pub/private/bimbart, file ilps94competition.ps)
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
SOCIAL EVENTS
Welcome Reception: This wine and cheese reception will be held Sunday
evening, December 3 at 8:00 pm at the Marriott Hotel. This will be an
opportunity for those arriving on the weekend to informally greet each
other and enjoy some fine Oregon wines and assorted cheeses.
Banquet: On Tuesday evening at 7:00 pm the conference banquet will be
held at Atwater's Restaurant on the 41st floor of the U.S. Bancorp
Tower, 111 S.W. Fifth Avenue. The banquet will be a wonderful buffet
feast, and the view encompasses all of Portland.
Basketball: There will hopefully be 25 tickets available for the
Portland-Toronto pro NBA basketball game on Thursday evening at 7:00
pm. These tickets are $25 each and in a group at the new Rose Garden,
supposedly among the finest sports arenas in the U.S. The Rose Garden
is five minutes from the Marriott by public transportation (right
across the river). Please send email to tick@cs.uoregon.edu to
reserve 1--2 tickets per person (on a first-come, first served basis:
pay me at the conference).
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
TRANSPORTATION FROM AIRPORT TO CITY
Portland International Airport (PDX) is located 20 minutes by taxi or
taxi or shuttle bus from the Marriott Hotel in downtown Portland.
Shuttle buses to most downtown hotels run every 30 minutes, costing
$7.50 one-way. Rental cars are available at the airport, from several
vendors. Within Portland, the Marriott is centrally located so that a
car is not strictly necessary. However, to travel to areas outside
downtown, such as Beaverton, OGI, OSU, or various ski resorts, a
rental car is critical.
HOTEL INFORMATION
ILPS'95 will be held at the Marriott Hotel, 1401 S.W. Front St.,
Portland Oregon. The ILPS'95 participant rate is $70/night/room
(unlimited occupancy). This is a very good deal! The Marriott has
hosted numerous international academic conferences and offers nice
accomodations, spacious facilities and a superior location. The hotel
is a short walk or taxi ride from riverside restaurants, Pioneer
Square (shopping!), Chinatown, and PSU. In addition, the hotel
features an indoor pool, whirlpool, sauna, and various restaurants.
CONFERENCE REGISTRATION
The conference fee for early registration (before November 7) for
members of the ALP or its affiliates will be US$375. The fee for
early registration for non-members will be US$400. After November 7
late registration will cost members US$400, and non-members US$425.
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), France (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 at the end of this program. If you wish
to register by e-mail, please request an e-mail form from:
ilpsreg@oregon.uoregon.edu. E-mail registrations must be paid for by
either VISA or MASTERCARD 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 coordinator Dena Fisher by November 15.
Refunds are subject to a US$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, tutorials, and poster
sessions, a copy of the conference proceedings, the reception on
Sunday evening, and the banquet dinner. 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.
PORTLAND AND THE SURROUNDING AREA
Portland, Oregon's largest city with a population of 1.5 million, is
also the cultural and business center of the state. Halfway between
the equator and the North Pole, and situated on the Willamette River
near its confluence with the Columbia River, Portland is an outgrowth
of settlements beginning 150 years ago. Forests and farms extend
outwards from the city to the ocean, a two hours drive, and the
mountains, a one hour drive. Beaverton, home to numerous high-tech
firms, is located just south of the city. Portland is also just a
three hour drive to Seattle, with an additional two hours to Vancouver.
Oregon's coastal region and Columbia River gorge are areas of
exceptional beauty at all times of year. Road trips through the
country-side are especially spectacular when visiting historical
hotels and lodges, such as the Vista House, Multnomah Falls Lodge, the
Columbia Gorge Hotel, and Timberline Lodge. We recommend that you
extend your trip if you have the time! By November, ski season will
hopefully already have started on nearby Mt. Hood and further south on
Mt. Bachelor. We hope that ILPS'95 ski bums will take this opportunity
to sample some of the finest skiing in the world. Further tourist
information is listed on the ILPS'95 WWW page.
CHILDCARE
Childcare will be available for daytime sessions of the conference.
Drop-in care for children between 6 weeks and ten years of age will be
provided by the Vermont Hills Family Life Center 10 blocks from the
conference hotel. The cost for one full day in $30. Childcare will
be available for late afternoon and evening activites if there is
sufficient interest.
Parents will be asked by the Vermont Hills staff to submit a plan
detailing the whereabouts of the parent for the time the child is
enrolled. Parents will be asked to give written permission for their
children to be given medical treatment. Parents and children will be
photographed for security purposes. Vermont Hills carries liability
insurance.
Many special services are available if arranged in advance. Nursing
babies (and others) can be cared for at the Marriott Hotel. Older
children can go on field trips to the science museum or the ballet.
Help is available for transporting children to the drop-in care
center.
If you are interested in using any of these childcare options, please
contact janetv@cs.pdx.edu. It is not necessary to arrange in advance
the drop-in care. But it would be helpful to us to be notified if you
know you'll be using it.
If you wish to contact the Vermont Hills Family Life Center, call
Brenda Dengo at 503-292-0850. Their address is: Vermont Hills Family
Life Center, 7412 SW Beaverton-Hillsdale Highway, Suite 106, Portland,
OR 97225.
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
REGISTRATION FORM: ILPS'95
Please mail to: ILPS'95
1277 University of Oregon
Eugene, OR 97403
Fax: 503-346-3509 or 503-346-3545
E-mail: ilpsreg@oregon.uoregon.edu
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
Name: __________________________________________________________
Affiliation:____________________________________________________
Address: _______________________________________________________
_______________________________________________________
Telephone: _____________________ FAX: _________________________
E-mail: ________________________________________________________
Membership organization & number: ______________________________
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 US$50). The
following information is needed for proper planning of the events.
___ Opening Reception December 3
___ Banquet December 5
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
Presenters indicate audio-visual requirements:
___ Overhead Projector
___ 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 November 7 After November 7
Member US$375 US$400
NonMember US$400 US$425
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 ______ W6 _______ W7 _______
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:
University of Oregon: ILPS'95
You can also pay by Visa or MasterCard.
Cardholder's name: ____________________________________
Type of card and Number: ______________________________
Expiration Date: ______________________________________
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
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.
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
HOTEL REGISTRATION INFORMATION
Reservations should be made directly with:
Marriott Hotel Tel: 503-226-7600
800-228-9290
Attn: Lance Riedl Fax: 503-499-6357
1401 S.W. Front Avenue
Portland, Oregon 97201
Deadline for hotel reservations is Tuesday November 7.
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
End of NL-KR Digest
*******************
