以下の通り，3月16日-17日(日本数学会2018年度年会@東京大学の直前)に早稲田大学早稲田キャンパスにて
1. WIAS Seminar "Type Theory and Proof Theory”
https://www.waseda.jp/inst/wias/news/2018/01/26/4899/及び
2. WIAS Top Runners’ Lecture Collection “Proof Theory and Computation”
https://www.waseda.jp/inst/wias/news/2018/01/16/4868/を開催いたします．
1. WIAS Seminar "Type Theory and Proof Theory”
日程：2018年3月16日(金)13:20-15:30
場所：早稲田大学 早稲田キャンパス 26号館 11階 1102教室
講演者及び講演題目：
・Chuangjie Xu (LMU Munchen), The computer as referee in mathematics
・山﨑紗紀子 (首都大学東京), An attempt at a new embedding of intuitionistic logic into linear logic
－via multi-succedent G3-style sequent calculus for intuitionistic logic－
2. WIAS Top Runners’ Lecture Collection “Proof Theory and Computation” (Helmut Schwichtenberg先生による2日間のチュートリアル講演です．)
日程：2018年3月16日(金)16:00-18:00, 3月17日(土)16:00-18:00
場所：早稲田大学 早稲田キャンパス 26号館 11階 1102教室
(初日は1のWIAS Seminarに引き続き同じ会場で行われます．)
講演者：Helmut Schwichtenberg (LMU Munchen, Emeritus Professor)
講演題目：Proof Theory and Computation
講演要旨含め，詳細は上記webページをご覧下さい．
たくさんの方々のご参加をお待ちしております．
世話人：藤原誠，秋吉亮太 (早稲田大学高等研究所)
問合せ先：
[email protected] (藤原誠)