Program

Federated Conference on Rewriting, Deduction and Programming
April 19 - 23, 2005 Nara, Japan

RDP'05 Program

4/18	4/19	4/20	4/21	4/22	4/23
WG1.6	RTA	RTA	RTA	UNIF	RULE
				WRS
			TLCA	TLCA	TLCA

Special Events

－Anniversary session 20years of RTA (17:10-19:25, April 20)
－Conference Dinner (17:30-20:30, April 21)
including gagaku performance (18:30-19:00)
－Japanese tea ceremony (15:00-17:30, April 21)
－City walk (15:00-17:00 or 15:30-17:30, April 21)