The International Workshop on
Rewriting in Proof and Computation
(RPC'01)

Sendai, Japan, October 25-27, 2001

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.

rewriting systems higher order rewriting lambda and combinatory calculi applications of rewriting functional and logic programming

rewriting logic equational logic unification and matching automated deduction proof verification

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 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, so you are encouraged to book by yourself. A list of hotels in Sendai is shown as follows. Dai-ich Hotels Roynet Hotel Sendai Sendai Fuji Hotel The Mitsui Urban Hotel Sendai Kokusai Hotel

	ORGANIZING COMMITTEE: Yoshihito Toyama (Tohoku,Chair) Aart Middeldorp (Tsukuba) Yohji Akama (Tohoku)
	LOCAL ARRANGEMENTS STAFFS: Keiichirou Kusakari (Tohoku) Mika Ito (Secretary)
	CHAIR: Yoshihito Toyama

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

Research Institute of Electrical Communication (RIEC)
Tohoku University
THE FOUNDATION FOR THE PROMOTION OF ELECTRICAL COMMUNICATION ENGINEERING
Foundation of Sendai Tourism Convention Bureau