Welcome to Orevkov’80 Conference!

St. Petersburg Days of Logic and Computability V

    Following the success of the first four editions of the St. Petersburg days of logic and computability, we are pleased to announce the fifth edition of this series. These days will be held in the form of a conference dedicated to the 80th birthday of Vladimir Pavlovich Orevkov, one of the famous representatives of St. Petersburg school in Mathematical Logic. The topics of the conference cover the main interests of V. P. Orevkov, namely, mathematical logic, constructive mathematics, proof theory, complexity of proofs and automated reasoning.

    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 from USA, UK, France, Germany, Sweden, Netherlands, Italy and Russia.