🚀 go-pugleaf

WESTAPP98 ( 1st International Workshop on Explicit Substitutions: Theory
and Applications to Programs and Proofs)$B3+:E$N$40FFb(B

$BL@<(E*BeF~$K4X$9$k%o!<%/%7%g%C%W$,(BRTA98(Rewrite Techniques and
Applications 98)$B$N%5%F%i%$%H%o!<%/%7%g%C%W$H$7$F3+:E$5$l$^$9!#%i%`%@7W;;(B
$B$N&B4JLs$KE57?E*$KI=$l$k!"JQ?t$NB+G{$H$7$F0EL[E*$K9T$o$l$kA`:n$rL@<(E*Be(B
$BF~$H$7$F7W;;7O$NCf$GM[$K07$&<jK!$O!"%W%m%0%i%`$dDjM}>ZL@$J$I$NMM!9$J1~MQ(B
$B$,9M$($i$l!"$=$N8&5f$,9q:]E*$K@9$s$K$J$C$F$-$F$*$j$^$9!#$3$N$h$&$J8&5f$N(B
$B9b$^$j$r<u$1$F!"K\%o!<%/%7%g%C%W$OL@<(E*BeF~$r%F!<%^$H$9$kAm9gE*$J%o!<%/(B
$B%7%g%C%W$H$7$F=i$a$F4k2h$5$l$?$b$N$G$9!#$_$J$5$^$N@Q6KE*$J;22C$r$*BT$A$7(B
$B$F$*$j$^$9!#(B

$B0J2<$K>\$7$$FbMF$rE:IU$$$?$7$^$9!#(B

Local Arrangement $B%"!<%H%_%G%k%I!<%W!!0fEDE/M:(B $B!JC^GHBg3X!K(B

-------------------------------------------------------------------------------

                            CALL FOR PARTICIPATION

                                   WESTAPP98 

            1st International Workshop on Explicit Substitutions:
                Theory and Applications to Programs and Proofs

                         University of Tsukuba, Japan
                                March 29, 1998
   
-------------------------------------------------------------------------------

This document contains 

* program
* registration and accommodation information

WESTAPP98 is a satellite workshop of RTA98, the 9th International Conference
on Rewriting Techniques and Applications, which is held on March 29 - April 1
at the University of Tsukuba, Japan. The workshop takes place in room 3L307,
which is located on the third floor of building L of the 3rd cluster of 
buildings.

For further details consult one of the RTA98 websites:

    http://www.score.is.tsukuba.ac.jp/rta98
    http://www4.informatik.tu-muenchen.de/~rta98

===============================================================================

                              WESTAPP98 PROGRAM

-------------------------------------------------------------------------------
   
                               SUNDAY, MARCH 29


 9:00 - 10:00  invited talk I

Pierre-Louis Curien (Ecole Normale Superieure Paris)


10:00 - 10:30  coffee break


10:30 - 12:00  session I

Kristoffer Hogsbro Rose (Lyon)
The Role of Anonymous Names (in Explicit Substitution and Elsewhere)

Gopalan Nadathur (Chicago)
An Explicit Substitution Notation in a Lambda Prolog Implementation


13:00 - 13:15  lunch break


13:15 - 14:15  invited talk II

Therese Hardin (Universite Pierre et Marie Curie, Paris)


14:15 - 15:00  session II

Bruno Pagano (Paris)
An Explicit Natural Deduction


15:00 - 15:30  tea break


15:30 - 17:45  session III

Cesar Munoz (Menlo Park)
Proof Synthesis via Refinement Steps: Another Application of Explicit
Substitutions on Open Terms

Neil Ghani, Valeria de Paiva, Eike Ritter (Birmingham)
Linear Explicit Substitutions

Shin-ya Nishizaki (Chiba), Yohji Akama (Tokyo)
Translations of First-Class Environments to Records


18:00 -        RTA98 welcome reception

===============================================================================

                                 REGISTRATION

Participants for WESTAPP98 are required to register for RTA98. The following
information is taken from the RTA98 call for participation.

-------------------------------------------------------------------------------

All amounts are in Japanese yen. 

RTA98 CONFERENCE FEE
   
                        until March 1  after March 1
   
               regular     25,000         35,000  
               student     15,000         20,000  
   
   accompanying person      7,000          7,000   

Both the regular and the student fees include a copy of the RTA98 proceedings,
lunches on the conference days, the reception on Sunday and the banquet on
Tuesday. The fee for accompanying persons covers the reception and banquet.

WORKSHOPS FEE

                        until March 1  after March 1 

             WESTAPP98      2,500          3,500   
   RTA98 mini workshop      1,000          2,000   

The workshop fee includes a copy of the informal proceedings (if applicable).
Note that the mini workshops are held in parallel (so you can register for
only one). The WESTAPP98 fee also includes lunch on Sunday. Registration for
the workshops only is not possible.

-------------------------------------------------------------------------------

PAYMENT

Participants in Japan are requested to pay by bank transfer (see the RTA98
webpage for details). Overseas participants can pay by credit card (VISA or
Mastercard) or international money order (payable to "RTA98 - Tetsuo Ida").
All payment must be in Japanese yen.

===============================================================================

                                 ACCOMMODATION


Participants are expected to arrive on Saturday, March 28 or Sunday, March 29
and to depart on Wednesday, April 1 or Thursday, April 2.

-------------------------------------------------------------------------------

HOTEL GRAND SHINONOME

We reserved a block of rooms in Hotel Grand Shinonome, a comfortable hotel in
the vicinity of Tsukuba Center. The hotel provides a free bus service to and
from the conference site. The prices quoted below include buffet-style
breakfast. Check-in is between 3 pm and midnight.

   price per room per night    

   single      8,000
     twin     14,000

-------------------------------------------------------------------------------

OTHER ACCOMMODATION

We also provide accommodation in the two guest-houses of the University of
Tsukuba, the Tsukuba Study and Training Center, and the guest-house of ETL.
Some of these places are within walking distance of the conference locations,
others are easily reached by (public) bus. The price depends on the room but
generally falls within the 1,000 - 4,000 range (per person per night). Some
of these places have shared toilet/bath and don't offer breakfast. Check-in
is between 4 and 11 pm.

-------------------------------------------------------------------------------

PAYMENT

Participants staying at Hotel Grand Shinonome can pay directly at the hotel
when checking out. The hotel accepts major credit cards. Participants staying
at the other places should be prepared to pay cash at the RTA98 registration
desk upon arrival; participants will be informed in advance of the exact
amount.

===============================================================================

                      REGISTRATION AND ACCOMMODATION FORM


Please return the completed registration and accommodation form by email, fax,
or mail to

email: rta98@score.is.tsukuba.ac.jp

fax:   +81 298 50 3603 or +81 298 53 5206

mail:  RTA98 
       Institute of Information Sciences and Electronics
       University of Tsukuba
       Tsukuba 305-8573, Japan

One of these alternatives suffices. Participants will receive a confirmation
together with details of the accommodation after the registration and
accommodation form is processed.

-------------------------------------------------------------------------------

                   RTA98 REGISTRATION AND ACCOMMODATION FORM

-------------------------------------------------------------------------------

name:
      (first)       (middle)       (last)

affiliation:

mailing address:


phone:                      email:
fax:                        url:

I will attend the following workshops:
    [ ] WESTAPP98                  
    [ ] RTA98 mini workshop (A = Applications of Rewriting
                             C = Categorical Rewriting)

name(s) of accompanying person(s):

preferred name on name-tag:

workshop fees:                            yen
conference fee:                           yen
accompanying person fee:                  yen

TOTAL AMOUNT:                             yen

I will pay the total amount by
    [ ] bank transfer             (for participants in Japan)
        name of bank:
        date of transfer:
    [ ] international money order (for overseas participants)
    [ ] credit card               (for overseas participants)
        [ ] VISA  [ ] Mastercard
        credit card number:
        name of card holder:
        expiration date:
        date:              signature of card holder:

-------------------------------------------------------------------------------

[ ] I request accommodation
    [ ] single room
    [ ] twin room, share with:

    preference (S = Hotel Grand Shinonome, O = Other Accommodation)
    [ ] first choice
    [ ] second choice

arrival date:               departure date:

-------------------------------------------------------------------------------

[ ] vegetarian

special requests:

-------------------------------------------------------------------------------