10月23日（金）
| 13:20～13:30 | [諸連絡] | |
| 13:30～14:00 | 瀬谷 聖 | judgemental equalityを分解した型理論 |
|---|---|---|
| 14:00～14:30 | 村瀬 唯斗 | 擬引用のスコープ構造を推論する様相論理について |
| 14:30～15:00 | 関 隆宏 | 部分構造論理BSLに対する2種類のGentzen流形式化 |
| 15:00～15:15 | [15分休憩] | |
| 15:15～15:45 | 野口 真柊 | 証明可能性論理へ埋め込める命題論理について |
| 15:45～16:15 | 榎本 侑弥 | TBA |
| 16:15～16:25 | [10分休憩] | |
| 16:25～16:55 | 小暮 晏佳 | TBA |
| 16:55～17:25 | 西村 祐輝 | Closure Semantics for Weak Modal Logics |
10月24日（土）
| 10:00～10:10 | [諸連絡] | |
| 10:10～10:40 | Elise Perrotin | Can bases help us organize the landscape of lightweight epistemic logics? |
|---|---|---|
| 10:40～11:10 | 山田 瑛嗣 | Eventual and Strong Eventual Notions in Public Announcements |
| 11:10～11:20 | [10分休憩] | |
| 11:20～11:50 | 市川 航士郎 | Proof Theory vs. Computability Theory for Predicative Theories |
| 11:50～12:20 | 鈴木 悠大 | On iterated beta_n-reflections |
| 12:20～13:30 | [昼休憩] | |
| 13:30～14:00 | 鈴木 集 | ミンコフスキー時空における因果様相の論理の強完全性 |
| 14:00～14:30 | 冨永 浩平 | Complexity of modal logic concerning both necessitation and conjunction |
| 14:30～15:00 | 谷口 雅弥 | TBA |
| 15:00～15:15 | [15分休憩] | |
| 15:15～15:45 | 林 俊佑 | On Coalgebraic Lindstrom Theorem |
| 15:45～16:15 | 今村 拓万 | BMコンビネータ論理における不動点コンビネータの存在について |
| 16:15～16:45 | 福本 弦 | TBA |
| 16:45～17:00 | [15分休憩] | |
| 17:00～17:30 | 照井 一成 | TBA |
| 17:30～18:00 | 佐藤 雅彦 | Algebra and Geometry of the Lambda Calculus |
10月25日（日）
| 10:00～10:10 | [諸連絡] | |
| 10:10～10:40 | 倉橋 太志 | \(\mathbf{K} + \Box^n \bot\) の正規拡大のクレイグ補間性 |
|---|---|---|
| 10:40～11:10 | 志村 立矢 | irreflexive and non-reflexive counterparts of Zeman's S4.1.4 |
| 11:10～11:20 | [10分休憩] | |
| 11:20～11:50 | 上島 晟宏 | 比較不能な定理集合を持つ算術の超準モデルについて |
| 11:50～12:20 | 池田 侑登 | Gödel コード化とジェミナル圏：Löb の定理の圏論的構造 |
| 12:20～13:30 | [昼休憩] | |
| 13:30～14:00 | 熊坂 翼 | Abstract provability structure の証明論と近傍意味論 |
| 14:00～14:30 | 渋谷 伊織 | 剰余付き抽象的様相構造における不動点の分析 |
| 14:30～14:40 | [10分休憩] | |
| 14:40～15:10 | 佐藤 雄太 | Kripke Game について |
| 15:10～15:40 | 鈴木 信行 | 冠頭標準形定理の変種について中間述語論理で考えてみる |
このような状況ですので、10/24(土)と10/25(日)の昼食については希望者に対して弁当の配達を注文する予定です。
昼食用の弁当を希望される方は参加申し込みフォームにてお申し込みください。
一食約 1000円 程度を想定しています。会場の受付にて集金をする予定です。
申し訳ございませんが、アレルギー等の対応はしかねますのでご理解のほどよろしくお願いいたします。
最寄り駅：阪急「六甲」駅、JR「六甲道」駅、阪神「御影」駅
[参考]「すうがく徒のつどい 第4回」の神戸大学への道案内 にキャンパスまでのアクセス方法が詳細に記されておりますので、参考になるかと思います。
※六甲周辺にはホテルはありません。三宮周辺であればたくさんのホテルがあります。