Notice: RCIS was reformed into RISEC on April 1, 2012.
It has been further merged into new Information Technology Research Institute on April 1, 2015.

Event Information

Organizing committee

Organizing Committee of CosyProofs2009

  • Tadashi Araragi (NTT)
  • Hubert Comon-Lundh (AIST)
  • Masami Hagiya (Univ. of Tokyo)
  • Yoshifumi Manabe (NTT)
  • Hirofumi Muratani (Toshiba Corporation)
  • Kazuo Ohta (Univ. of Electro-Communications)
  • Yutaka Oiwa (AIST)
  • Tatsuaki Okamoto (NTT)
  • Hideki Sakurada (NTT)
  • Yasuyuki Tsukada (NTT)
  • Hajime Watanabe (AIST)
  • Yukiko Ito (AIST)