証明論シンポジウム2024

日時: 2024/12/16 (月) 〜 2024/12/18 (水)

場所: 名古屋大学 東山キャンパス 野依記念物質科学研究館 2F

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

12/17 (火) 懇親会 (会場: 風来坊 栄店)
懇親会への参加を希望する場合は，こちらのフォームにも記入してください．

（講演を希望，あるいは懇親会への参加を希望される場合は，12/8 12/11 (水) までの登録をお願いいたします）

12/16 (月)

13:00〜13:45: 横山 駆（名古屋大）
On computable real numbers uniformly distributed modulo 1 with respect to Koksma sequences

14:00〜14:45: 中田 哲（名古屋大）
一般化された神託を可能世界にもつクリプキ意味論

15:00〜15:45: 齋藤 彰悟（東北大）
∃ℝの有界算術について

12/17 (火)

9:30〜10:15: 高瀬 理人（神戸大）
様相論理PFの一般化の位相意味論

10:30〜11:15: Leonardo Pacheco（東京科学大）
IGL without sharps

13:30〜14:15: 竹田 侑人（東北大）
Completeness theorem of modal logic in second-order arithmetic

14:30〜15:15: 鈴木 悠大（小山高専）
弱いbeta_nモデル反映原理と強従属選択公理

15:30〜16:15: 市川 航士郎（東京理科大）
Modular Ordinal Analysis via Iterated ω-Model Reflection and Dilators

12/18 (水)

9:30〜10:15: 関 隆宏（新潟大）
公理KとSを持つ部分構造論理における構造規則の導出可能性

10:30〜11:15: 安部 達也（千葉工大）
タイムスタンプ意味論と Owicki--Gries 論理

11:30〜12:15: 西村 祐輝（東京科学大）
Tableau Calculus for Strict Partial Order

14:30〜: Open Problem Session

15:30〜: Free Discussion

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

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

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

・2020: 証明論研究集会2020

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

・2018: 証明論研究集会2018

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

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