高知モデル理論研究集会
| 3月4日（月） | ||
| 13:00-13:10 | 事務連絡 | |
| 13:10-14:00 | 坪井明人 （筑波大学） | Real closed field as an extension of Q |
| 14:20-15:10 | 岡本圭史 （仙台高専） | 数理論理学関係者のための形式手法入門 |
| 15:30-16:20 | 小林宗広 （筑波大学） | 実閉体とPAのモデル |
| 16:30-17:00 | 討論 | モデル理論に関する問題紹介等（1) |
| 3月5日（火） | ||
| 9:30-10:20 | 新井 広 （高知工科大学） | 等式極小群について |
| 10:40-11:30 | 福崎賢治 （鹿児島国際大学） | Rational function fields and elementary equivalence |
| 11:50-12:30 | 討論 | モデル理論に関する問題紹介等（2) |
| 12:30-14:30 | 昼食休憩 | ** |
| 14:30-15:20 | 桔梗宏孝 （神戸大学） | フロベニウス写像について |
| 15:40-16:30 | 馬場英俊 （筑波大学） | モデルコンパニオンについて I |
| 3月6日（水） | ||
| 9:30-10:20 | 田中勇一 （筑波大学） | On gereric structures |
| 10:40-11:30 | 馬場英俊 | モデルコンパニオンについて II |
| 11:30-12:00 | 事務連絡 | |