• St. Petersburg

    May 23–26, 2019

    Days of Logic and Computability IV
    St. Petersburg

Program

You can click here to download the program as a PDF file PDF file


May 23

09:00–09:50

Registration

09:50–10:00

Opening

10:00–10:45

Michael Rathjen

10:50–11:35

Vasco Brattka

11:35–12:00

Coffee Break

12:00–12:45

Andrey Morozov

12:50–13:35

Sam Sanders

13:35–15:15

Lunch

15:15–16:00

Dima Grigoriev

16:05–16:40

Video “Logic tea” (2009; in Russian):

N. A. Shanin and his colleagues recollect the times of formation

of Leningrad group of mathematical logic

16:40–17:05

Five o’clock tea

 

 

May 24

10:00–10:45

Elena Nogina

10:50–11:35

Sergei Artemov

11:35–12:00

Coffee Break

12:00–12:45

Stanislav Speranski

12:50–13:35

Daniyar Shamkanov

13:35–15:15

Lunch

15:15–16:00

Albert Visser

16:05–16:50

Lev Beklemishev

16:50–17:15

Five o’clock tea

17:15–18:35

Video “80th anniversary of N. A. Shanin” (1999; in Russian)

 

 

May 25

10:00–10:45

Vladimir Lifschitz

10:50–11:35

Michel de Rougemont

11:35–12:00

Coffee Break

12:00–12:45

Vladik Kreinovich

12:50–13:35

Sergei Soloviev

13:35–15:15

Lunch

15:15–18:00

Session dedicated to N. A. Shanin:

a.       Anatol Slissenko

b.      Sergei Soloviev

c.       Eduard Karavaev

d.      free recollections about N. A. Shanin

18:30—

Conference banquet at the “Puerto” restaurant

 

 

May 26

10:00–10:45

Alexander Shen

10:50–11:35

Andrei Sipos

11:35–12:00

Coffee Break

12:00–12:45

Eugenio Omodeo

12:45–14:30

Lunch

14:30—

The social event of your choice:

a.        visiting N. A. Shanin’s grave in Komarovo (approx.
40 km from Saint Petersburg);

b.      city bus excursion with an English speaking guide.

Buses for both events will depart from the Andersen hotel.