The abstracts can be found
Tuesday 30.10.2018 |
Time | Location |
---|---|---|
Opening: |
9:00 | Exactum C122 |
Coffee | 9:30 | |
Feng Qi: On some problems of foundations of economics |
10:15 | Exactum C122 |
Juliette Kennedy: |
11:15 | Exactum C122 |
Lunch | ||
Wu Liuzhen: |
13:15 | Exactum D123 |
Afternoon coffee | 14:00 | |
Fan Yang: |
14:15 | Exactum D123 |
Miguel Moreno: |
15:15 | Exactum D123 |
Wednesday 31.10.2018 |
||
Li Hongbo: Verification of natural-styled proofs in university calculus on Maple platform |
9:15 | Exactum C222 |
Zhu Yizheng: Projective singletons |
10:15 | Exactum C222 |
Miika Hannula: |
11:15 | Exactum C222 |
Lunch | ||
Juha Kontinen: |
13:15 | Exactum C222 |
Afternoon coffee | 14:00 | |
Peng Yinhe: |
14:15 | Exactum C222 |
Lauri Hella: |
15:15 | Exactum C222 |
Thursday 1.11.2018 |
||
Li Wei: |
9:15 | Exactum C122 |
Kaisa Kangas: |
10:15 | Exactum C122 |
Tapani Hyttinen: Model theory without formal languages |
11:15 | Exactum C122 |
Lunch | ||
Dinner | 18:00 | Restaurant Elite |
Friday 2.11.2018 |
||
Shang Yun: |
9:15 | Exactum C122 |
Åsa Hirvonen: |
10:15 | Exactum C122 |
Jouko Väänänen: |
11:15 | Exactum C122 |
Lunch |