Association memberships

Takeuti Symposium

Consciousness Meeting

Workshop "Logic and Philosopy of Math"

「ヒルベルト・ワークショップ」

日仏情報学ワークショップ（フランス外務省主催）

日本科学哲学会大会ワークショップ「フォーマルオントロジーの工学と哲学」

日本学術振興会

「フッサールの論理国際会議」（Logique de Husserl 2001),パリ・フッサール文庫

日本科学基礎論学会

日本におけるフランス年日仏シンポジウム「VR（仮想現実）の社会的・文化的インパクト」

「情報科学の論理」

論理プログラミングと自動推論(Logic　Programming　and　Automated　Rea

日本科学哲学会大会ワークショップ「21世紀の論理学－課題と展望」

「タイプ理論と証明理論」国際ワークショップInternationd Works shop on Th

自動演繹証明国際学会1998年度大会（ドイツLindau大会）(International Conf

RTA98（Rewriting Thecnique and Application国際会議98年度大

数学の哲学国際シンポジウム（Philosophy of Mathematics 96)

ヨーロッパ理論情報学会（EATCS）, Theoretical Computer Science誌、

第3回線形論理国際会議（フランス・マルセイユ大学1998年４月開催）

科学哲学会大会実行委員会