• 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:0009:50

Registration

09:5010:00

Opening

10:0010:45

Michael Rathjen

10:5011:35

Vasco Brattka

11:3512:00

Coffee Break

12:0012:45

Andrey Morozov

12:5013:35

Sam Sanders

13:3515:15

Lunch

15:1516:00

Dima Grigoriev

16:0516: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:4017:05

Five o’clock tea

 

 

May 24

10:0010:45

Elena Nogina

10:5011:35

Sergei Artemov

11:3512:00

Coffee Break

12:0012:45

Stanislav Speranski

12:5013:35

Daniyar Shamkanov

13:3515:15

Lunch

15:1516:00

Albert Visser

16:0516:50

Lev Beklemishev

16:5017:15

Five o’clock tea

17:1518:35

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

 

 

May 25

10:0010:45

Vladimir Lifschitz

10:5011:35

Michel de Rougemont

11:3512:00

Coffee Break

12:0012:45

Vladik Kreinovich

12:5013:35

Sergei Soloviev

13:3515:15

Lunch

15:1518: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:0010:45

Alexander Shen

10:5011:35

Andrei Sipos

11:3512:00

Coffee Break

12:0012:45

Eugenio Omodeo

12:4514: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.