日本学術振興会研究拠点形成事業
2016年9月16日(金)〜17日(土)
京都大学、吉田南キャンパス、総合人間学部棟
北陸先端科学技術大学院大学が京都大学などの内外の協力機関および協力者と実施しております日本学術振興会研究拠点形成事業「数理論理学とその応用の国際拠点形成」の一環として、表記のワークショップを開催いたします。本拠点形成事業参加研究者のためのワークショップですが、それ以外の方もご参加いただけます。
当日参加も可能ですが、本事業参加研究者以外で参加を予定されている方はできるだけ事前にご連絡を頂けますようにお願い申し上げます。特に、懇親会に参加希望される方は、8 月 31 日までにご連絡ください。
Email: core2core2016 [at] jaist.ac.jp
京都大学、吉田南キャンパス
総合人間学部棟
1401 教室 (4階)
吉田南構内マップ (Building #84)
9月16日（金） | ||
| 8:40 | 受付開始 | |
| 9:05 | ご挨拶 | |
| 9:10 - 9:45 | SCHWICHTENBERG, Helmut (LMU Munich) | slides |
| 9:45 - 10:20 | LI, Wenjuan (東北大学) | slides |
| 10:20 - 10:50 | Coffee break | |
| 10:50 - 11:25 | PELUPESSY, Florian (東北大学) | slides |
| 11:25 - 12:00 | 横山 啓太 (JAIST) | slides |
| 12:00 - 13:30 | Lunch break | |
| 13:30 - 14:05 | SETZER, Anton (Swansea University) | slides |
| 14:05 - 14:40 | DE BRECHT, Matthew (京都大学) | slides |
| 14:40 - 15:15 | THIES, Holger (東京大学) | slides |
| 15:15 - 15:45 | Coffee break | |
| 15:45 - 16:20 | 藤原 誠 (早稲田大学) | slides |
| 16:20 - 16:55 | 河井 達治 (JAIST) | slides |
| 16:55 - 17:30 | BERGER, Josef (LMU Munich) | slides |
| 19:00 | 懇親会 | |
9月17日（土） | ||
| 9:10 - 9:45 | 佐藤 雅彦 (京都大学) | slides |
| 9:45 - 10:20 | 秋吉 亮太 (早稲田大学) | slides |
| 10:20 - 10:50 | Coffee break | |
| 10:50 - 11:25 | 木村 大輔 (東邦大学) | slides |
| 11:25 - 12:00 | PREINING, Norbert (JAIST) | slides |
| 12:00 - 13:30 | Lunch break | |
| 13:30 - 14:05 | BERGER, Ulrich (Swansea University) | slides |
| 14:05 - 14:40 | 丸山 善宏 (京都大学) | slides |
| 14:40 - 15:15 | 松本 慧 (京都大学) | slides |
| 15:15 - 15:45 | Coffee break | |
| 15:45 - 16:20 | 木原 貴行 (UC Berkeley) | slides |
| 16:20 - 16:55 | 中澤 巧爾 (名古屋大学) | slides |
| 16:55 - 17:30 | 廣川 直 (JAIST) | |
（申し込みが済んだ方のみ）
9月16日（金）19：00〜
1人5000円（食事 3500円 ＋ 飲み物 1500円）
