Subject: ILPS'95 Preliminary Program & Registration Info.
From: [email-masked] (Vikram Saletore)
Date: 4 Oct 1995 21:59:17 GMT
Newsgroups: comp.ai

_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

              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, [email-masked],
   +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,
   [email-masked], +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, [email-masked], 
   +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, [email-masked],
   +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,
   [email-masked], +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, [email-masked], 
   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, [email-masked],
   +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
[email-masked] .  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 [email-masked] 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:
[email-masked].  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 [email-masked].  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: [email-masked]

_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

        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.

_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _