Conference Officials
Federated
Conference on Rewriting, Deduction and Programming
April 19 - 23, 2005 Nara, Japan
CONTACT
Hitoshi
Ohsaki
National Institute of Advanced Industrial Science and Technology (AIST)
Nakoji 3-11-46
Amagasaki
Hyogo 661-0974
Japan
E-mail:
Masahito
Hasegawa
Research Institute for Mathematical Sciences, Kyoto University
Kyoto 606-8502
Japan
E-mail:
RTA'05 ORGANIZING COMMITTEE
Kokichi Futatsugi |
Masami Hagiya |
Teruo Higashino |
Hitoshi Ohsaki (Chair) |
Toshiki Sakabe |
Hiroyuki Seki |
Yoshihito Toyama |
TLCA'05 ORGANIZING COMMITTEE
Masahito Hasegawa (Chair) |
Ryu Hasegawa |
Mitsu Okada |
Masahiko Sato |
Masako Takahashi |
CONFERENCE SECRETARY
Maki Ishida | ![]() |
![]() |
![]() |