[logic-ml] Kobe Colloquium: Dec. 7, 2017, Martin Ziegler

[Hirotaka Kikyo]

Kobe Colloquium on Logic, Statistics and Informatics

以下の要領でコロキウムを開催します。

日時: 2017/12/7 (木) 16.00 - 17:30
場所: 神戸大学六甲台第2キャンパス自然科学総合研究棟3号館421室

講演者：Martin Ziegler（Freiburg大学）
題目： A new Axiomatisation of the free N-pseudospace.

交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」
行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ．
http://www.kobe-u.ac.jp/guid/access/rokko/rokkodai-dai2.html

連絡先：桔梗宏孝 kikyo at kobe-u.ac.jp <mkikuchi at kobe-u.ac.jp>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20171201/4d285980/attachment.html>