テーマ:計算論
開催日程:2023年9月11日(月)〜 2023年9月15日(金)
開催場所:明治大学駿河台キャンパス
開催委員:宮部賢志(明治大学)・木原貴行(名古屋大学)
連絡先:宮部賢志 research@kenshi.miyabe.name
ホームページ
2022年 | モデル理論 |
2021年 | 古典論理に限らない論理(非古典論理) |
2020年 | 新型コロナウィルス感染拡大の影響で延期 |
2019年 | 集合論(選択公理と連続体仮説) |
2018年 | 証明論(特に算術の無矛盾性証明) |
2017年 | 計算理論 |
2016年 | モデル理論 |
2015年 | 非古典論理(様相論理) |
2014年 | 集合論(特に強制法(forcing)理論) |
2013年 | 証明と構成 |
2012年 | 計算可能性とランダムネス |
2011年 | モデル理論 |
2010年 | 超準解析の基礎と応用 |
2009年 | 非古典論理の代数的セマンティクス |
2008年 | Asian Logic Conference (神戸)のため開催せず |
2007年 | 集合論のブール値モデルと強制法 |
2006年 | 証明論 |
2005年 | モデル理論 |
2004年 | 計算量 |
2003年 | 非古典論理 |
2002年 | 実数の集合論 |