日本語

Workshop on Mathematical Logic and its Applications

JSPS Core-to-Core Program

September 16 - 17, 2016
Kyoto University, Kyoto, Japan


Description

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


Location

Kyoto University, South Yoshida Campus
Faculty of Integrated Human Studies Building
Room 1401 (4F)
South Yoshida Campus Map and Access (Building #84)


Program

Abstracts

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)

Social Gathering

KYOYA KIYOMIZU (京家きよみず 祇をん新橋)

(Only for those who have already registered)

Friday 16 September (starts at 19:00)
5000 yen per person (Food: 3500 yen + Drinks: 1500 yen)


Organizers