プ　ロ　グ　ラ　ム

11月2日（土）

13:30〜14:30 　渕　野　昌 (中部大・ 集合論)
　　　　　A Survey on recent developments around Forcing Axioms

14:40〜15:40 　板　井　昌　典 (東海大・ モデル論)
　　　　 ところでVaught予想はどうなった ?

15:50〜16:35　新　田　貴　士 (三重大）・岡　田　朋　子（名古屋大）
　　　　　Classification of non-well-founded sets and an application pdf　

16:35〜17:05　久　馬　栄　道（愛知学院大）
　　　　　NP完全問題を解く決定性アルゴリズム

11月3日（日）

10:00〜10:45　西　村　泰　一（筑波大）
　　　　 無限小の代数学

10:55〜12:25　山　下　秀　康(愛知学院大・超準解析)
　　　　Nonstandard smooth path integrals and differential geometry

14:00〜14:45 　新　田　貴　士(三重大）・岡　田　朋　子（名古屋大）
　　　　Nonstandard Fourier transformation and Feynman path integral pdf　

14:55〜15:55　 Tomasz 　Kowalski (Jaist・代数と論理)
　　　　 Algebraic Logic: a Survey

16:05〜17:05 　佐　々　木　克　巳 (南山大・非古典論理)
　　　　Provability and interpretability logics

11月4日（月）

10:30〜11:30 　山　崎　武 (大阪府立大・逆数学)
　　　　逆数学とその周辺

11:40〜12:40 　角　田　譲 (神戸大・抽象設計論)
　　　　 情報の流れと抽象設計論 pdf