19 Mar
2023
19 Mar
'23
noon
logic-ml の皆様、
北海道大学の佐野勝彦と申します。Tadeusz Litak (Friedrich-Alexander-Universität Erlangen-Nürnberg)さんをお迎えして、北海道大学で、今週金曜日(3/24)の午後一時から
Sapporo Mini-workshop on Non-classical Logic https://sites.google.com/view/sapporo-workshop-logic-2023/home
を開催いたします。タイトルやアブストラクトについてはwebsiteをご覧ください。 Tadeusz Litakさんには、
"Lewis meets Brouwer: A quick overview of constructive strict implication"
というタイトルで最近のご研究についてお話しいただきます。 興味をおもちの方はどなたでもフラリと気楽におたちより下さい。
佐野勝彦