[logic-ml] WIAS Seminar "Type Theory and Proof Theory"(3/16) 及び WIAS Top Runners’ Lecture Collection “Proof Theory and Computation"(3/16, 17) のご案内

[Makoto Fujiwara]

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

早稲田大学の藤原誠です．
以下の通り，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 at aoni.waseda.jp (藤原誠)

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20180221/81e217ad/attachment.html>