Categorical Methods and Non-Classical Logics

研究集会名

Categorical Methods and Non-Classical Logics

日時

7月15日、16日、17日

会場

東北大学　理学部　数理科学記念館 （仙台市　青葉区　荒巻字青葉）

プログラム・予稿集

プログラムはここにあります

講演申込方法

下記のアドレスまで 6月10日（必着）

参加申込方法

参加自由

問合せ先

〒316 茨城県日立市中成沢4-12-1
茨城大学工学部情報工学科
鈴木信行
[E-MAIL]

nobuyuki@cis.ibaraki.ac.jp

[TEL] 0294-38-5140（直通）
[FAX] 0294-37-1429（学科共通）