各種情報その他 ＞ イベント情報 ＞ 論理と計算に関する研究集会
イベント情報
論理と計算に関する研究集会 [2019年11月20日]
開催日：2019年12月1日 13:00 -18:00
会場：首都大学東京 南大沢キャンパス 5号館 （教室未定）
論理と計算に関する研究集会
プログラム
13:00 – 14:30 福田陽介 （京都大学） 「
14:45 – 16:15 山形頼之 （産業技術総合研究所） TBA
16:30 – 18:00 松田直祐 （神奈川大学） 「公理型のオーダーと論理の関係」
事前登録は必要ありません。
その他詳細については以下のページをご覽ください。
会場となる教室等、追加の情報もこのページで告知致します。