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