The International Workshop on Rewriting in Proof and Computation (RPC'01) will be held at Itsutsubashi-kaikan, Sendai, Japan from October 25th(THU) to 27th(SAT), 2001. The workshop consists of 9 invited lectures and 12 contributed talks.
Inquiries: rpc01@nue.riec.tohoku.ac.jp The workshop consists of invited lectures and contributed talks. The workshop takes place just before the 4th International Symposium on Theoretical Aspect of Computer Software (TACS2001) which will be held at Sendai, October 29-31, 2001.
SCOPE (but not limited): |
|
|
INVITED SPEAKERS: |
![]() |
Mariangiola Dezani-Ciancaglini (Torino, Italy) |
![]() |
Kokichi Futatsugi (JAIST, Japan) |
![]() |
Ryu Hasegawa (Tokyo, Japan) |
![]() |
Susumu Hayashi (Kobe, Japan) |
![]() |
Jean-Pierre Jouannaud (Paris-Sud, France) |
![]() |
Yuji Kobayashi (Toho, Japan) |
![]() |
Robert Nieuwenhuis (Catalonia, Spain) |
![]() |
Michio Oyamaguchi (Mie, Japan) |
![]() |
Sophie Tison (Lille, France) |
PROGRAM: |
![]() |
10/25 |
![]() |
10/26 |
![]() |
10/27 |
![]() |
All (25-27) |
IMPORTANT DATES: |
![]() |
Registration Deadline: October 17, 2001 |
![]() |
Workshop: October 25-27, 2001 |
CONFERENCE SITE: |
The workshop will be held at Itsutsubashi-kaikan , which is located near the JR Sendai station and can be accessed easily.
REGISTRATION: |
![]() |
REGISTRATION INFORMATION |
Registration fee covers attendance in all sessions, a copy of the
proceedings, refreshments, and reception.
![]()
Regular participant 3,000 Yen ![]()
Student 2,000 Yen Please fill the attached registration form, and send it by email to:
rpc01@nue.riec.tohoku.ac.jp Registration forms should arrive by October 17 (WED). Registration will be confirmed by email.
![]() |
LUNCH BOX (BENTO)
There will be lunch box service at the conference site on October 26. Check the lunch box part in the registration form if you wish. There are several small restaurants in walking distance from the conference site, but they will be very crowded at lunchtime. So, we recommend you to take lunch box service, unless you skip either the lunch or the afternoon session. |
![]() |
LODGING
Unfortunately we cannot arrange lodging for participants from Japan,
|
  WORKSHOP ORGANIZATION: |
![]() |
ORGANIZING COMMITTEE:
|
||||||
![]() |
LOCAL ARRANGEMENTS STAFFS:
|
||||||
![]() |
CHAIR:
|
Research Institute of Electrical Communication, Tohoku University
Katahira 2-1-1, Aoba-ku, Sendai 980-8577, Japan
TEL: +81-22-217-5449 FAX: +81-22-217-5452 EMAIL: toyama@nue.riec.tohoku.ac.jp URL: http://www.nue.riec.tohoku.ac.jp/members/toyama.html
SPONSORS: |
Research Institute of Electrical Communication (RIEC)
Tohoku University
THE FOUNDATION FOR THE PROMOTION OF ELECTRICAL COMMUNICATION ENGINEERING
Foundation of Sendai Tourism Convention Bureau