🚀 go-pugleaf

The following is the general information for ICLP'95


                             I C L P ' 9 5
           12TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING

                           JUNE 13--18, 1995

                         Shonan Village Center
                  Hayama-machi, Kanagawa 240-01, Japan

                          GENERAL INFORMATION


The latest information on ICLP'95 will be found in the newsgroup
comp.lang.prolog and also in the WWW page
http://daigo.sfc.keio.ac.jp/iei/iclp95.html .


GENERAL INFORMATION
-------------------

ABOUT THE CONFERENCE SITE

The conference will be held at:

    Shonan Village Center
    Hayama-machi, Kanagawa 240-01, Japan
    Phone: +81-468-55-1810 / Fax: +81-468-55-1202 .

Shonan Village Center is a new conference center with hotel
accommodations.  It is located on a hilltop of the Miura Peninsula to
the south of Yokohama, looking over Sagami Bay.  It takes an hour and a
half from Tokyo, 45 minutes from Yokohama, and 30 minutes from Kamakura.

Yokohama played a key role in the early phases of Japan's modernization.
For many years, it was through Yokohama that much of Western culture,
science and technology was introduced to Japan.  Yokohama today is
acknowledged as one of the most exciting port cities and attracts
tourists from all over the world.  We will have our banquet in the
Chinatown of Yokohama.

Kamakura, an ancient city where the nation's capital was settled in the
13th century, is also close to the Conference Site.  Kamakura in June is
especially charming with beautiful hydrageas (`ajisai' flowers) in many
cozy temples.  You can visit these cities and enjoy old and modern Japan
before or after the conference. (See WWW pages for more information.)


SOCIAL EVENTS

All social events, except the banquet, will be held at the conference
site, Shonan Village Center.  Participants are cordially invited to the
following social events:

1. Welcoming Reception: Monday, June 12, 7:00pm--9:30pm.  This will be
an opportunity to greet each other informally.  Drinks and light meals
will be served in the buffet style.

2. Music Session: Wednesday, June 14, 8:00pm--10:00pm.  Koichi Furukawa,
Conference Co-chair, will enchant you with his cello performance.  Other
participants are expected to join.  If you are interested in joining the
performance, please let the Local Arrangement Chair know.

3. Banquet in Yokohama Chinatown: Thursday, June 15, 7:00pm.  The
Banquet will be held at Kasei-rou, acknowledged as one of the most
elegant restaurants in Yokohama Chinatown.  Bus transportation will
be provided from the conference site at 5:45pm.


LECTURES ON ICOT FREE SOFTWARE

Most of the software systems developed in 13 years of the Fifth
Generation Computer Systems project and its follow-on project are
publicly available as ICOT free software.  Lectures sponsored by ICOT on
the outlines of representative systems will be given by research leaders
of the project in the afternoon of June 16.


CURRENCY EXCHANGE

Currency exchange service (from US dollars, cash or traveler's cheque, to
Japanese yen) is provided at the Shonan Village Center at the same rate
as bank rates.  An automatic teller machine is also available for cash
cards issued by Japanese banks, which will not accept credit cards
issued outside Japan.


WEATHER

Weather in June in the Shonan area will be warm and pleasant, with the
average temperature around 20 degrees centigrade, but it may cool down
when it rains.  Since the rainy season may have started, we recommend
that you bring an umbrella and a light rain jacket with you.


TRANSPORTATION

Shonan Village Center is approximately 2.5 hours from Narita Airport by
train and bus.  Take JR (Japan Railway) from the Narita Airport station
or the Airport Terminal 2 station (both under the terminal buildings) to
Zushi, via Tokyo.  At Zushi station, take a local bus bound for Shonan
Village Center, or take a Taxi.  Renting a car is not recommended.

A JR ticket to Zushi will cost 2,160 yen.  Only one-way tickets are
available.  JR serves two types of trains from the airport: Narita
Express (N'EX) and Airport Narita.  In general, whichever type of train
you can catch first will take you to Zushi earliest.

1. N'EX is a limited express train bound for Shinjuku, Yokohama or
Ofuna, departing every 30 minutes or an hour.  Please take one for
Yokohama or Ofuna.  At the final stop, transfer to a JR Yokosuka-line
local train to Zushi (7 stops from Yokohama, 3 stops from Ofuna).

All N'EX seats need reservation.  Please reserve a seat at a ticket
counter when you buy a ticket to Zushi.  A limited express supplement
(2,250 yen) will be charged in addition to the basic fare.

2. Airport Narita, a JR Sobu & Yokosuka-line rapid ('kaisoku') train,
departs hourly and most of the services go directly to Zushi in 2.5
hours.  (Some go beyond Zushi to Yokosuka or Kurihama.  Some go only to
Tokyo or Ofuna, in which case please transfer to the next Yokosuka-line
train at the final stop.)  Airport Narita does not require supplement,
but a suggestion to tourists is to take a Green Car (first-class
accommodations) in the middle of a train and pay a supplement (1,590
yen) on board.

The following figure will give you a general idea:

             Narita   Airport
            Airport  Terminal-2       Tokyo    Yokohama Ofuna Zushi
<- Northeast   |         |              |         |       |     |  Southwest->
               o- 2 min.-o- many stops -o-o-o-o-o-o-o-o-o-o-o-o-o- ...
                                                                  (To Yokosuka
               <---- JR Sobu line -----> <-- JR Yokosuka Line --  and Kurihama)
                       (79.2km)              (54.9km to Zushi)

N'EX           o---------o--------------o---------*-------*
Yokosuka-line train                     o-o-o-o-o-o-o-o-o-*-o-o-*- ...
Airport Narita o---------o-o-- ... -o-o-*-o-o-o-o-*-o-o-o-*-o-o-*- ...

               (o: train stops at this station;
                *: some trains may be bound for this station)

The bus to Shonan Village Center departs almost hourly from the Bus
Terminal 1 in front of JR Zushi Station.  The bus fare is 330 yen, and
the taxi fare is approximately 3,000 yen.

For the detailed schedule of trains and buses, see the WWW page:
http://daigo.sfc.keio.ac.jp/iei/iclp95.html .


REGISTRATION
------------

Pre-registration will save you both time and money.  Every person
attending ICLP-95 activities must submit a registration form.  Please
print legibly or type all requested information.  The registration fees
are as follows (in Japanese yen; US$1 is around 90 yen as of March
1995):

Conference         before May 15        after May 15
ALP member          42,000 yen           48,000 yen
Non-member          45,000 yen           51,000 yen
Student             21,000 yen           24,000 yen

Workshops       ICLP'95 participants  Non-participants
                     3,000 yen            6,000 yen

The conference registration fee includes:

 - attendance to all technical sessions including advanced tutorials,
 - a copy of conference proceedings,
 - a welcoming reception on June 12,
 - four lunches on June 13--16,
 - refreshments during breaks, and
 - a banquet on June 15 (not included in the student fees).

Banquet tickets for students and accompanying persons can be purchased
at the Conference Registration Desk.

Participants paying non-member or student registrations are given one
year's free automatic membership to the Association for Logic
Programming.

All students must submit proof of full-time student status by enclosing
a photocopy of student identification or a letter from the institutions
or the advisors.  Alternatively, please show your student identification
at the Conference Registration Desk.

For workshop registration, please specify the workshop you wish to
attend on the registration form.  The workshop fee for each workshop is
3,000 yen for ICLP'95 participants and 6,000 yen for workshop-only
participants.


PAYMENT

Payment is accepted only in Japanese yen by:

1. credit card (VISA and Mastercard),

2. money transfer to ICLP95:

    Sakura Bank, Takadanobaba Branch, Shinjuku-ku, Tokyo, Japan,
    Account number 3775222 (deposit account).

(Please attach a copy of your bank transfer order), or

3. cheque payable to ICLP95, written in Japanese yen, and drawable on a
Japanese bank.

Participants are encouraged to pay by credit card or, from inside Japan,
by money transfer.


SUBMISSION

Please submit your registration form with payment in full to the Local
Arrangement Chair, Dr. Mutsumi Imai, by one of the following three
methods.  To be eligible for reduced rates, it must be received no later
than May 15.

1. By postal mail: send the registration form with payment to

    Dr. Mutsumi Imai
    Keio University at Shonan-Fujisawa
    5322 Endoh, Fujisawa, Kanagawa, 252, Japan.

2. By e-mail: send a message requesting an electronic registration form
to iclp95@tom.sfc.keio.ac.jp.  Only credit-card payment is accepted for
e-mail registration.

3. By fax: send the form to the fax number +81-466-47-5350.  For fax
registration, please provide credit-card information or attach a copy of
the money transfer order.

The Conference Registration Desk will be open on Monday, June 12,
5:00pm-9:30pm and during the conference.


ACCOMMODATIONS

Accommodations are available at Shonan Village Center for up to 140
people.  The rooms have been reserved for the ICLP participants from
Monday, June 12 until Sunday, June 18 (7 nights).  The Center features
Cafeteria "Oak", Restaurant "Katsura" (reservation required), and an
indoor swimming pool with a Jacuzzi.

Reservation should be made through the ICLP'95 Organizing Committee by
filling out the relevant items in the registration form.  Efforts will be
made to meet participants' preferences on a first-come/first-served
basis.  In order to accommodate as many participants as possible at the
conference site, we will not permit single occupancy of twin rooms.  All
rooms are equipped with private baths and toilets, telephones, cable
televisions and refrigerators.  The room rates are as follows:

    Single (50 rooms)          8,000 yen
    Economy Twin (30 rooms)   13,000 yen
    Standard Twin (12 rooms)  16,000 yen
    Maisonette Twin (3 rooms) 26,000 yen

Tax (3%) and service charge (10%) will be added to your bill.  Extra beds
are not available.

After accommodations at the Shonan Village Center are filled, we will
assign to you one of the hotels of comparable price ranges near the
Shonan Village Center.  Transportation between the hotels and the
conference site will be provided in the mornings and evenings during the
conference period.

Note:
-----
Since the restaurant at the Center needs reservation, participants
arriving later than June 12 and need dinner for the first evening are
kindly asked to indicate so in the registration form.  Please arrive
before 9:00pm at the latest to have a dinner you have reserved.


CONFIRMATION AND CANCELLATION

You will receive a confirmation of your conference registration and
hotel reservation, with details on the hotel and its location, by e-mail
or fax as soon as they are processed.  Written confirmation for
registration received after May 31 will not be guaranteed.

All inquiries, changes and cancellations of your conference registration
and hotel reservation should be made by e-mail (iclp95@tom.sfc.keio.ac.jp)
or fax (+81-466-47-5350).

All requests for refunds must be received in writing no later than May
31, 1995 and will be subject to a 5,000 yen processing fee.  There will
be no refunds for cancellations after May 31, BUT THEY MUST STILL BE
NOTIFIED IN ORDER TO CANCEL YOUR HOTEL RESERVATION.

Changes and cancellations of your hotel reservation must be made through
the Organizing Committee at least 7 days in advance; otherwise the
hotels will charge you a cancellation fee.

================================(cut here)====================================
ICLP'95 E-MAIL REGISTRATION FORM     Please type, tick your choices,
                                     and return the form WITH YOUR PAYMENT to:
Twelfth International Conference     
on Logic Programming                 Dr. Mutsumi Imai
Shonan Village Center                Keio University at Shonan-Fujisawa
Kanagawa, Japan                      
June 13-18, 1995                     Email: iclp95@tom.sfc.keio.ac.jp
______________________________________________________________________________

Name:       __________________________________________________________________
            (Last)                  (First)                (Middle)

Affiliation:__________________________________________________________________

Address:    __________________________________________________________________

            __________________________________________________________________

Telephone:  ______________________________  Fax:______________________________

E-mail:     ______________________________  ALP Member No.:___________________

Dietary Restriction:  ___None   ___Vegetarian   ___Other (                   )
______________________________________________________________________________
Conference Fee:  before May 15    after May 15
    ALP member:     42,000 yen      48,000 yen (give your member number above)
    Non-member:     45,000 yen      51,000 yen
       Student:     21,000 yen      24,000 yen
Workshop Fee:        3,000 yen (ICLP participants) / 6,000 yen (workshop-only)

I will attend the conference:                             ____________ yen.

I will attend the workshop ___W1 ___W2 ___W3 ___W4 ___W5: ____________ yen.

I will pay the total registration fee of                  ____________ yen by:

 ___Mastercard / ___VISA.  Card Number: ______________________________________

    Cardholder's Name:____________________________ Expiry Date:_______________

    Date:________________________
______________________________________________________________________________
HOUSING REQUEST -- (If you would like us to arrange rooms, please fill in the
items below.  Requests will be processed in the order they are received.)

Arrival Date:_______________ Time:____________ Departure Date:________________

Please reserve 

 ___a single room.

 ___a twin (___Economy/___Standard/___Maisonette) room to be shared with:
    
    (specify name)____________________________ . 

If a room I prefer is not available,

 ___I (___Mr./___Ms.) am willing to share an Economy Twin or Twin room with
    someone else (arrangement will be made by the Organizing Committee).

 ___I would like an upper-class twin room at the Conference Site.

 ___I would like a ___single/___twin room at a hotel outside the Conference
    Site.

                             I C L P ' 9 5
           12TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING

                           JUNE 13--18, 1995

                         Shonan Village Center
                  Hayama-machi, Kanagawa 240-01, Japan


GREETINGS -- Welcome to ICLP'95

The Twelfth International Conference on Logic Programming (ICLP'95) will
be held in Shonan Village Center from June 13 to 18, 1995, sponsored by
the Association for Logic Programming and Keio Institute of
Environmental Information, Keio University.

The field of logic programming has grown as a result of truly
international research activities conducted in the last two decades. 
Many researchers all over the world contributed to the growth of the
field.  It is our great pleasure to hold the conference in Japan, where
a lot of logic programming research has been done mainly through the
activities of the Fifth Generation Computer Systems (FGCS) project.  The
FGCS project started in 1982, when the first ICLP was held in
Marseilles, and continued for 13 years.  International research
activities on logic programming greatly supported the project and led it
to tremendous success.

The field of logic programming is now getting mature and we are
confronting a rather steady state where new breakthroughs are hoped for.
Fortunately, many interesting research directions are emerging where new
turns are expected.

Forty-eight technical papers will be presented in the first four days. 
In addition, there will be a poster session on June 14 as a forum of
discussion on interesting approaches and solutions in logic programming.
Five post-conference workshops will be held on June 17 and/or 18.

Eight distinguished researchers have been invited to ICLP'95: two for
invited lectures and six for advanced tutorials.  Shunichi Uchida will
give a talk on the summary of the FGCS project and the future of its
technology.  Kenneth Kahn will present a fascinating concurrent
constraint programming system that employs animated cartoons.

As for advanced tutorials, Ryuzo Hasegawa will present the
implementation and applications of a very fast bottom-up theorem prover
called MGTP, which runs on Parallel Inference Machines (PIM) developed
at ICOT.  Stephen Muggleton will introduce inductive logic programming,
which is a new, rapidly evolving subfield of both logic programming and
machine learning.  Lee Naish will talk about pruning operators, an
important issue in making logic programming more practical and efficient
while keeping its declarative nature.  Kazunori Ueda will talk about
strong mode systems in concurrent logic programming that play
fundamental roles both in programming and implementation as type systems
do.  Helmut Simonis will talk about various real-life applications of
constraint logic programming.  Gert Smolka will explain the concurrent
constraint logic programming language Oz.  These two talks will
demonstrate the importance and usefulness of constraint logic
programming.

Kazuhiro Fuchi, who used to lead the FGCS project for 11 years, kindly
accepted our invitation as a Banquet Speaker.

Shonan Village Center is a new conference site located at the top of a
hill overlooking the Pacific Ocean.  Its amenities and quiet atmosphere
will be best suited for an academic conference.  We hope many
researchers in the field of logic programming and related fields will
meet at the conference and discuss various aspects of logic programming
to further promote this attractive and important research field.
				
ICLP'95 will be held in cooperation with:

 - Prolog Management Group,
 - Information Processing Society of Japan,
 - Japan Society for Software Science and Technology,
 - Japanese Society for Artificial Intelligence,
 - Japanese Cognitive Science Society,
 - the Association for Natural Language Processing, and
 - Prolog Association of Japan.

ICLP'95 is supported by Inoue Foundation for Science and the following
companies (in alphabetical order): Fujitsu Ltd., Fuji Xerox Co., Ltd.,
Hitachi, Ltd., Matsushita Electric Industrial Co., Ltd., Mitsubishi
Electric Corp., NEC Corp., Oki Electric Industry Co., Ltd., Sharp Corp.,
and Toshiba Corp.  On behalf of the organizing committee, we would like
to express our deep thanks to all of these foundations and companies for
their support grant.

March 10, 1995
Conference Co-chairs
Koichi Furukawa, Keio University
Kazunori Ueda,   Waseda University
========================================================================
The latest information on ICLP'95 will be found in the newsgroup
comp.lang.prolog} and also in the WWW page
http://daigo.sfc.keio.ac.jp/iei/iclp95.html}.
========================================================================

Here's an ICLP'95 registration form (LaTeX, 1 page) for non-email
registration.

Related articles on ICLP'95 are as follows:

Welcome to ICLP'95:       <UEDA.95Mar24210824@brie.ueda.info.waseda.ac.jp>
Advance Program:          <UEDA.95Mar15214327@brie.ueda.info.waseda.ac.jp>
General Information:      <JIRO.95Mar23115949@aria.softlab.is.tsukuba.ac.jp>
E-mail registration form: <JIRO.95Mar24121515@aria.softlab.is.tsukuba.ac.jp>


Kazunori UEDA, ICLP'95 Conference Co-chair (ueda@ueda.info.waseda.ac.jp)
Department of Information and Computer Science, Waseda University
================================(cut here)==================================
\documentstyle[11pt]{article}
\textheight25.4cm
\textwidth16.5cm
\topmargin-2.5cm
\oddsidemargin-0.25cm

\parindent0pt
\pagestyle{empty}

\def\tickbox{\framebox[4.6mm]{\rule[0mm]{0pt}{2.6mm}}}
\def\blankstrut{\rule{0pt}{7mm}}

\begin{document}
\advance\baselineskip-2pt
\lineskip1pt

\hbox to\hsize{
\begin{minipage}[t]{7cm}\advance\baselineskip-2pt
{\bf ICLP'95 REGISTRATION FORM}\\[5pt]
{\bf Twelfth International Conference\\
on Logic Programming}\\[5pt]
Shonan Village Center\\
Kanagawa, Japan\\[5pt]
June 13--18, 1995
\end{minipage}
\hfill
\begin{minipage}[t]{8.5cm}\advance\baselineskip-2pt
{\sl Please print or type, tick your choices, 
and return the form WITH YOUR PAYMENT to:}\\[3pt]
Dr. Mutsumi Imai\\
Keio University at Shonan-Fujisawa\\
5322 Endoh, Fujisawa, Kanagawa 252, JAPAN\\
Fax:   +81-466-47-5350\\
Email: iclp95@tom.sfc.keio.ac.jp
\end{minipage}}

\vspace{1.5mm}
\hrule
\vspace{1.5mm}

{\offinterlineskip
\halign{#\hfil&&#\cr
Name:       &\blankstrut\hrulefill\span\omit\cr
    &{\footnotesize (Last)\hfill (First)\hfill (Middle)\hfill}\span\omit\cr
Affiliation:&\blankstrut\hrulefill\span\omit\cr
Address:    &\blankstrut\hrulefill\span\omit\cr
            &\blankstrut\hrulefill\span\omit\cr
Telephone:  &\blankstrut\hbox to6.75cm{\hrulefill} &
    Fax: \hbox to6.75cm{\hrulefill}\cr
E-mail:     &\blankstrut\hrulefill\ &
    ALP Member No.: \hrulefill\cr
Dietary Restriction: \blankstrut
   \tickbox\ None\quad\tickbox\ Vegetarian\quad\tickbox\ Other (\hfill )%
\span\omit\span\omit\cr}}

\vspace{1.5mm}
\hrule
\vspace{1.5mm}

\halign{\hfil#\ \ &\hfil#\ \ &\hfil#\ \ &#\hfil\cr
{\bf Conference Fee:}&{\it before May 15}&{\it after May 15}\cr
({\rm ALP member})& 42,000 yen& 48,000 yen&(give your member number above)\cr
({\rm Non-member})& 45,000 yen& 51,000 yen\cr
({\rm Student})&    21,000 yen& 24,000 yen\cr
{\bf Workshop Fee:}& 3,000 yen&\omit\span
     (ICLP participants) / 6,000 yen (workshop-only participants)\cr}

\halign{#\hfil&\hbox to3.0cm{\blankstrut\hrulefill} #\hfil\cr
I will attend the conference:&yen.\cr
I will attend the workshop
\tickbox\ W1/ \tickbox\ W2/ \tickbox\ W3/
\tickbox\ W4/ \tickbox\ W5: &yen.\cr
I will pay the total registration fee of&yen by:\cr}

\halign{#&#\hfil&#\hfil\cr
\ \tickbox\ &Credit card ( \tickbox\ MasterCard/ \tickbox\ VISA).
             Card No.: \blankstrut\hrulefill\span\omit\cr
            &Cardholder's Name: \hbox to5.75cm{\blankstrut\hrulefill} &
             Expiry Date: \hbox to4.0cm{\blankstrut\hrulefill}\cr
            &Signature: \blankstrut\hrulefill\ & Date: \blankstrut\hrulefill\cr
\ \tickbox\ &Money transfer to ICLP95 (copy of order enclosed).\span\omit\cr
\ \tickbox\ &Cheque payable to ICLP95, written in Japanese yen (enclosed).%
             \span\omit\cr
\ \tickbox\ &On-site payment at late fee (Please provide your credit-card
             information above.\span\omit\cr
            &The full fee will be charged to no-show registrants.)\span\omit
             \cr}

\vspace{1.5mm}
\hrule
\vspace{1.5mm}

{\bf Housing Request} --- (If you would like us to arrange rooms, please fill
in the items below.  Requests will be processed in the order they are
received.)

Arrival Date: \blankstrut\hrulefill\ Time: \hrulefill\
Departure Date: \hrulefill

\halign{#&#\hfil\cr
\noalign{\vspace{3pt}}
\noalign{\strut Please reserve}
\ \tickbox\ &a single room.\cr
\ \tickbox\ &a twin ( \tickbox\ Economy/ \tickbox\ Standard/
             \tickbox\ Maisonette) room to be shared with:\cr
            &(specify name) \blankstrut\hbox to7cm{\hrulefill} .\cr
\noalign{\vspace{3pt}}
\noalign{\strut If a room I prefer is not available,}
\ \tickbox\ &I ( \tickbox\ Mr./ \tickbox\ Ms.) am willing to share an Economy
             Twin or Twin room with someone else\cr
            &(arrangement will be made by the Organizing Committee).\cr
\ \tickbox\ &I would like an upper-class twin room at the Conference Site.\cr
\ \tickbox\ &I would like a \tickbox\ single/ \tickbox\ twin room at a hotel
             outside the Conference Site.\cr}

\end{document}