テーマ：算術の証明論と構成的数学
開催日程：2024年9月17日（火）〜 2024年9月20日（金）
開催場所：東北大学情報科学研究科（青葉山キャンパス）
開催委員：横山啓太（東北大学）
連絡先：横山啓太 keita.yokoyama.c2[at]tohoku.ac.jp
ウェブサイト
| 2023年 | 計算論 |
| 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年 | 実数の集合論 |