Workshop program

The workshop consists of daily talks given by the participants. We will also have a dinner on Thursday evening.
Here is the detailed program of the workshops.

The abstracts can be found .

Tuesday 30.10.2018

Time Location

Opening:

Vice-Rector of the University of Helsinki Hanna Snellman,

Dean of the Faculty of Science Kai Nordlund,

Head of the Departement of Mathematics and Statistics Tuomas Hytönen,

Professor Feng Qi and Professor Jouko Väänänen

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