Committee memberships
Okada, Mitsuhiro
21-40 items (total 44)
1998
組織委員会日本側代表
- Organization Name
- 日本におけるフランス年日仏シンポジウム「VR（仮想現実）の社会的・文化的インパクト」
1998 - 1999
国際会議プログラム委員会委員
- Organization Name
- 「情報科学の論理」
1998 - 1998
組織委員会日本側代表
- Organization Name
- 日本におけるフランス年日仏シンポジウム「VR（仮想現実）の社会的・文化的インパクト」
1998.01
委員
- Organization Name
- 論理プログラミングと自動推論(Logic Programming and Automated Rea
1997
プログラム委員兼組織委員
- Organization Name
- 「タイプ理論と証明理論」国際ワークショップInternationd Works shop on Th
1997 - 1998
プログラム委員
- Organization Name
- 自動演繹証明国際学会1998年度大会（ドイツLindau大会）(International Conf
1997 - 1997.11
オーガナイザー(1997年11月）
- Organization Name
- 日本科学哲学会大会ワークショップ「21世紀の論理学－課題と展望」
1997.04 - 2000.03
編集担当幹事代表
- Organization Name
- 三田哲学会誌「哲学」
1996
国内組織委員
- Organization Name
- RTA98（Rewriting Thecnique and Application国際会議98年度大
1996 - 2000
客員編集員（Guest editor)
- Organization Name
- ヨーロッパ理論情報学会（EATCS）, Theoretical Computer Science誌、
1996 - 1998
共同プログラム委員長
- Organization Name
- 第3回線形論理国際会議（フランス・マルセイユ大学1998年４月開催）
1996 - 1996
組織委員長
- Organization Name
- 数学の哲学国際シンポジウム（Philosophy of Mathematics 96)
1995
委員
- Organization Name
- 科学哲学会大会実行委員会
1995 - 1996
客員編集員（Guest editor)
- Organization Name
- Electronic Notes of Theoretical Computer Science(E
1995 - 1996
共同プログラム委員長
- Organization Name
- 第２回線形論理国際会議(Linear Logic 96, 1996年4月）
1993 - 1997
国際組織委員会委員
- Organization Name
- RTA(Rewriting Technique and Application)
1993 - 1996
組織委員
- Organization Name
- IEEE-LICS（Logic in Computer Science)
1993.06
Conference Co-Chair
- Organization Name
- LICS93（IEEE-Logic in Computer Science)
1993.06
Conference Chair
- Organization Name
- RTA93（Rewriting Tecniques and Applications)
1991.12
ワークショップ国際委員長兼報告集委員長
- Organization Name
- MWPL（Montreal Workshops) P.Scottと共同編集