JSPS Core-to-Core Program
September 16 - 17, 2016
Kyoto University, Kyoto, Japan
This workshop will be held as part of the JSPS Core-to-Core Program "Mathematical Logic and its Applications", which is led by Japan Advanced Institute of Science and Technology (JAIST) in cooperation with Kyoto University and several institutes both in Japan and abroad. The workshop is intended for participants of the JSPS program, but anyone is welcome to attend.
We kindly ask that those who are not affiliated with the project but wish to attend the workshop to contact us before hand. In particular, those who wish to attend the social gathering should contact us before August 31, 2016.
Email: core2core2016 [at] jaist.ac.jp
Kyoto University, South Yoshida Campus
Faculty of Integrated Human Studies Building
Room 1401 (4F)
South Yoshida Campus Map and Access (Building #84)
Friday 16 September | ||
8:40 | Registration starts | |
9:05 | Greeting | |
9:10 - 9:45 | SCHWICHTENBERG, Helmut (LMU Munich) | slides |
9:45 - 10:20 | LI, Wenjuan (Tohoku University) | slides |
10:20 - 10:50 | Coffee break | |
10:50 - 11:25 | PELUPESSY, Florian (Tohoku University) | slides |
11:25 - 12:00 | YOKOYAMA, Keita (JAIST) | slides |
12:00 - 13:30 | Lunch break | |
13:30 - 14:05 | SETZER, Anton (Swansea University) | slides |
14:05 - 14:40 | DE BRECHT, Matthew (Kyoto University) | slides |
14:40 - 15:15 | THIES, Holger (University of Tokyo) | slides |
15:15 - 15:45 | Coffee break | |
15:45 - 16:20 | FUJIWARA, Makoto (Waseda University) | slides |
16:20 - 16:55 | KAWAI, Tatsuji (JAIST) | slides |
16:55 - 17:30 | BERGER, Josef (LMU Munich) | slides |
19:00 | Social Gathering | |
Saturday 17 September | ||
9:10 - 9:45 | SATO, Masahiko (Kyoto University) | slides |
9:45 - 10:20 | AKIYOSHI, Ryota (Waseda University) | slides |
10:20 - 10:50 | Coffee break | |
10:50 - 11:25 | KIMURA, Daisuke (Toho University) | 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 | MARUYAMA, Yoshihiro (Kyoto University) | slides |
14:40 - 15:15 | MATSUMOTO, Kei (Kyoto University) | slides |
15:15 - 15:45 | Coffee break | |
15:45 - 16:20 | KIHARA, Takayuki (UC Berkeley) | slides |
16:20 - 16:55 | NAKAZAWA, Koji (Nagoya University) | slides |
16:55 - 17:30 | HIROKAWA, Nao (JAIST) |
(Only for those who have already registered)
Friday 16 September (starts at 19:00)
5000 yen per person (Food: 3500 yen + Drinks: 1500 yen)