• 日時： 2016年7月27日（水）〜29日（金）
• 会場： 京都大学 北部総合教育研究棟1階 益川ホール （会場への行き方はこちら）

プログラム

• 7 月 27 日 (水)：吉田 悠一 (国立情報学研究所) 「SoS 緩和による証明のアルゴリズム化」
• 7 月 28 日 (木)： 脇 隼人 (九州大学) 「Slater条件から見た半正定値計画問題」
• 7 月 29 日 (金)：松井 知己 (東京工業大学) ：「0-1 整数計画におけるラウンディング技法」

詳細なプログラムはこちら