日時: 2025/12/22 (月) 〜 2025/12/25 (木)

場所: 京都大学数理解析研究所 111号室

参加登録フォームは こちら

一部の参加者の旅費を援助できる可能性があります。旅費援助は講演者が優先されます。
（講演を希望，あるいは旅費の援助を希望される場合は，11/14 (金) までの登録をお願いいたします）

TBA

・2024: 証明論・計算論シンポジウム2024

・2023: RIMS共同研究(公開型)「証明論と計算論の最前線」

・2022: 証明論シンポジウム2022

・2021: RIMS共同研究 (公開型)「証明と計算の理論と応用」(2021年度)

・2020: 証明論研究集会2020

・2019: RIMS共同研究（公開型）「証明論とその周辺」（2019年度）

・2018: 証明論研究集会2018

・2017: RIMS共同研究（公開型）「証明論と証明活動」（証明論研究会2017）

世話人: 木原貴行 kihara@i.nagoya-u.ac.jp