皆様， (重複して受け取られた場合はご容赦ください)

早稲田大学の藤原誠です． 以下の通り，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ページをご覧下さい． たくさんの方々のご参加をお待ちしております．

世話人：藤原誠，秋吉亮太 (早稲田大学高等研究所) 問合せ先：makoto_fujiwara@aoni.waseda.jp (藤原誠)