数学基礎論サマースクールは数学基礎論の普及のために例年開催されている講習会です。 ご興味のある方ならどなたでも歓迎します。 最初にチュートリアルの時間を設けますので、 あまり基礎論になじみのない方も気兼ねなくご参加ください。 なお、今年のテーマは「証明と構成」です。 日時:2013年8月5日(月)-7日(水) (8日(木)-9日(金)には証明論研究集会が開催されます) 会場:慶応義塾大学 三田キャンパス 南校舎475教室 (交通アクセス・キャンパス案内) ※教室が変更となりました。ご注意ください。 参加費:無料 定員: 85名(先着順)。会場の都合です。どうぞご了承ください。 懇親会:8月6日18:30~(会費3000円+α) つるの屋 申し込み:終了しました。多数のお申込みをいただきましてどうもありがとうございました。 世話人:照井一成(京都大学) terui at kurims.kyo