• St. Petersburg

    May 12–15, 2021

    Days of Logic and Computability V
    St. Petersburg

Program

Due to the Covid–19 pandemic, all talks will take place at Zoom. A Zoom link will be sent to registered participants by e-mail on May 11, 2021.


Timetable uses MSK (Moscow Standard Time, i.e., UTC/GMT +3 hours).


May 12

16:55

Opening

17:00Ц17:50

Lev Beklemishev

18:00Ц18:50

Helmut Schwichtenberg

19:00Ц19:50

Vladimir Lifschitz

20:00Ц20:50

Sam Buss

 

 

May 13

17:00Ц17:50

Daniyar Shamkanov

18:00Ц18:50

Sergei Soloviev

19:00Ц19:50

Andreas Weiermann

20:00Ц20:50

Thomas Studer

 

 

May 14

17:00Ц17:50

Stanislav Speranski

18:00Ц18:50

Melvin Fitting

19:00Ц19:50

Matthias Baaz

20:00Ц20:50

Anatol Slissenko

21:00Ц21:50

Alexei Semenov

 

 

May 15

17:00Ц17:50

Junhua Yu

18:00Ц18:50

Olga Kosheleva and Vladik Kreinovich

19:00Ц19:50

Arnon Avron

20:00Ц22:00

A talk by V. P. Orevkov followed by a session of sharing memories (in Russian).