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)