例年行われている証明論・計算論を中心とした研究集会です。 昨年度の様子については こちらを ご参照ください。今年度は下記の要領で開催します。
- 日時：2014年12月24日（水）13:20 － 26日（金）15:40
- 会場：京都大学 数理解析研究所 １１１号室 （交通アクセス）
- プログラム
- 懇親会：12月25日18時よりくれしまにて。会費4,000円。
- 研究集会への参加申し込みは不要です。懇親会参加希望の方は12月18日（木）までに世話人（照井一成 terui at kurims.kyoto-u.ac.jp）までご連絡ください。