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 |
|||
-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)
![]() |
![]() |