[logic-ml] 数学基礎論とその応用

Makoto Kikuchi mkikuchi at kobe-u.ac.jp
Fri Apr 15 08:44:47 JST 2016


皆様,

以下の要領で数学基礎論全体の研究集会を予定しています.

名称:数学基礎論とその応用
期間:2016年9月26日(午前)〜29日(木)午後
場所:京都大学数理解析研究所

今回の集会は全て1時間の招待講演とし,一般の講演募集はしません.
午前は日本語による概論的な講演,午後は英語による最近の研究成果の
紹介となる予定です.プログラムの詳細は改めてご連絡します.
よろしくお願いします.

神戸大学 菊池誠



More information about the Logic-ml mailing list