Copy Link
Add to Bookmark
Report
NL-KR Digest Volume 14 No. 73
NL-KR Digest Tue Nov 7 23:33:29 PST 1995 Volume 14 No. 73
Today's Topics:
CFP: DIALOGUE'96, Computational Linguistics
Program: ILPS`95: Intl. Logic Prog. Symp., Dec 95, Portland [N024]
* * *
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).
-----------------------------------------------------------------------
From: dialog@artint.msk.su (Conference on Computational Linguistics)
Subject: CFP: DIALOGUE'96, Computational Linguistics
Date: Sat, 04 Nov 95 15:57:01 +0200
Reply-To: dialog@artint.msk.su
DIALOGUE'96
International Conference on computational linguistics and its applications
Dear Colleagues,
We are happy to inform you about DIALOGUE'96, an international
conference on computational linguistics and its applications, which
will take place in the beginning of May, 1996 in a country side near
Moscow, Russia. The conference revived the tradition of the
interdisciplinary DIALOGUE seminars which were regular national
annual events in the USSR during 70s-80s. The conference title means
that it is a meeting place for a dialogue
a) between researches from different fields that are related to
computational linguistics (lignuists, computer scientists, cognitive
scientists, psychologists);
b) between researches from the former USSR and from international
community in computational linguistics.
Topics of interest include (but are not limited to):
* theoretical and cognitive linguistics
* syntax, semantics, pragmatics and their interaction
* multilingual natural language processing
* systems natural language processing
* text, dialogue and speech act in the computational framework
* speech communication with computer
The number of participants is expected about 100. Every prospective
attendee is required to submit a short research summary including
relevant recent publications, regular and e-mail address, fax and
phone numbers.
Participants who wish to present their work are additionally required
to submit a poster (3-4 double-spaced pages, 6-8 kB) or a full paper
(not exceeding 12 double-spaced pages, 24 kB). Please send
submissions preferably via e-mail (in plain ASCII or uuencoded
Winword files) to the address of the Program Committee before January
15, 1996. Submissions in Russian and English are equally accepted.
We plan to organize selected English-to-Russian and
Russian-to-English translation of talks.
Addresses for all correspondence:
e-mail: dialog@artint.msk.su
Snail mail:
DIALOGUE'96
Russian Instititue of Artificial Intelligence
P.O.Box 111, Moscow,
103001, Russia.
IMPORTANT DATES:
Deadline for submission: January 15, 1996
Notification of acceptance: February 15, 1996
Final paper due: March 25, 1996
The proceedings of the conference will be printed and publicly distributed.
The last conference DIALOGUE'95 has been held nearby Kazan
(Tatarstan, Russian Federation) in May-June 1995. It was very
successful and attracted the leading researchers from the former USSR
as well as researchers from Europe and USA. We hope that DIALOGUE'96
will continue this tradition.
PROGRAM COMMITTEE:
Alexander S. Narin'yani, Program Chair (Russian Institute of Artificial Intelligence)
Dmitrij A. Pospelov (Computer Center of Russian Academy of Sciences)
Alexander E. Kibrik (Moscow State University)
Igor A. Mel'chuk (Montreal University)
Christian Boitet (Grenoble University)
Haldur Oim (Tartu University)
Secretariate:
Natalya I. Laufer, (Russian Institute of Artificial Intelligence)
Priscilla Rasmussen (Rutgers University, USA)
Serge A. Sharoff, (Russian Institute of Artificial Intelligence)
If you have questions about the conference, please send e-mail
letters to the above-mentioned addresses or call:
to Moscow: +7-(095) 152-05-61 (Russian Institute of Artificial
Intelligence, Serge Sharoff)
Please, share this information letter with people you think it may concern.
-----------------------------------------------------------------------
To: jae@guest.sesa.es, jain@alphs.ces.cwru.edu, janko@idt.unit.no,
Subject: Program: ILPS`95: Intl. Logic Prog. Symp., Dec 95, Portland [N024]
Reply-To: saletore@cs.orst.edu
Date: Fri, 03 Nov 1995 12:07:44 PST
From: (Vikram Saletore) <saletore@chert.CS.ORST.EDU>
URGENT: ILPS'95 HOTEL DEADLINE
Dear ILPS'95 Attendies,
Please note that on TUESDAY, NOVEMBER 7, the MARRIOTT
HOTEL hosting ILPS'95 will UNBLOCK all rooms saved for
the conference. This means you should please make your
reservations NOW if you are planning to attend the conference.
After next week, all rooms will be open to sale to the
general public, meaning that if the hotel is sold out
during the conference, you will not be able to take
advantage of the very low room rate of $70/night.
===============================
THE ILPS'95 PARTICIPANT RATE IS $70/NIGHT/ROOM (UPTO 5 PEOPLE OCCUPANCY.
i.e ROOM RATE REMAINS THE SAME AND CAN BE SPLIT AMONG THE OCCUPANTS IF SHARED)
ILPS'95 CONFERENCE REGISTRATION:
Please see the information given below for ILPS'95 Conference Registration.
You can either email, FAX or mail for the ILPS'95 Registration.
The ILPS'95 PRELIMINARY PROGRAM IS ALSO GIVE BELOW.
Best Regards,
- Vikram Saletore
Publicity Chair, ILPS '95
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
============================= HOTEL REGISTRATION INFORMATION
=============================
ILPS'95 will be held at the:
Marriott Hotel,
1401 S.W. Front St.,
Portland, OREGON, USA
THE ILPS'95 PARTICIPANT RATE IS $70/NIGHT/ROOM (UPTO 5 PEOPLE OCCUPANCY.
i.e ROOM RATE REMAINS THE SAME AND CAN BE SPLIT AMONG THE OCCUPANTS IF SHARED)
ILPS'95 PRELIMINARY PROGRAM
==========================
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
Relationlog: 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
Didier Bert, Rachid 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-based 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
Gerard Ferrand, Arnaud Lallouet
Session 3B: Implementation
The Implementation of AKL(FD)
Bjorn Carlson Mats Carlsson Sverker Janson
Code Generation for Mercury
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, Huseyin Sauglam
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
Maria Garcia 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: William J. McClay
Surviving the AI Winter
15:30 to 16:00 Coffee Break
16:00 to 17:30 Session 6A: Transformation
An Algorithm of Generalization in Positive Supercompilation
M. H. Sorensen, R. Gluck
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, Michael Maher, Gustaf Neumann
Logic Programming and Object Modelling: A Case Study
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 Paralogical Semantics for 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.
-------
Vikram Saletore Internet: saletore@cs.orst.edu
Computer Science Department UUCP: ...!hplabs!hp-pcd!orstcs!saletore
Oregon State University Telephone: (503) 737-5575
Corvallis, OR - 97331
End of NL-KR Digest
*******************