Meetings 1995 (Index)
1995年 7月
18-20
非古典論理とそのKripke意味論に関する諸問題
, 京都大学数理解析研究所
24-26
書き換えシステムの理論とその応用
, 京都大学数理解析研究所
28-30
数学基礎論 夏の学校 95
1995年 9月
17-20
記号論理と情報科学
(SLACS'95), 広島市立大学
18-20
証明論研究会
, 広島市立大学
25-28
Johan van Benthem 教授集中講義
, 千葉大学
28-29
論理学ワークショップ
, 千葉大学
1995年10月
13-14
代数, 論理, 幾何と情報科学研究集会
ALGI(Algebra, Logic and Geometry in Informatics), 電子技術総合研究所
1995年11月
23-25
数学基礎論若手の会
, 早稲田大学本庄セミナーハウス
1995年12月
4-6
数理論理学研究集会(MLG)
, 兼六荘(石川県金沢市)
Last modified: 3 June 1996 by Hajime Ishihara (ishihara@jaist.ac.jp).