• St. Petersburg

    May 23–26, 2019

    Days of Logic and Computability IV
    St. Petersburg

Welcome to Shanin 100 Conference!

St. Petersburg Days of Logic and Computability IV

    Following the success of the first three editions of the St. Petersburg days of logic and computability, we are pleased to announce the fourth edition of this series. These days will be held in the form of a conference devoted to the centennial of Nikolai Alexandrovich Shanin (1919—2011). At the beginning of 1960's he founded a group on the mathematical logic and the theory of algorithms in Lenigrad Branch of Steklov Mathematical Institute. This led to the large school still flourishing with several generations of researchers who are indebted to N. A. Shanin.

    The conference will be held at the Euler International Mathematical Institute in St. Petersburg, Russia, and will consist of a number of invited talks from the world’s leading researchers.