Third St.Petersburg Days

August 24-26, 2015

Euler International Mathematical Institute, St. Petersburg, Russia

Monday, August 24

10:00-10:40Lev Beklemishev, "Parsons-Mints Theorem and its generalizations for arithmetical reflection principles."
10:45-11:25Sergei Soloviev, "Ideas of G.E. Mints in Categorical Theory of Proofs: 40 Years of Development."
11:25-11:50Coffee break
11:50-12:30Alex Citkin, "G. Mints and Search for Admissible Rules."
12:35-13:05Vladik Kreinovich and Olga Kosheleva, "How Transition from Purely Constructive Mathematics to Physics-Motivated Intuitionistic Mathematics Affects Decidability: An Important Facet of Mints's Legacy."
15:00-15:40Vladimir P. Orevkov, TBA
17:45-18:30Video with G.E. Mints
18:30-19:00The music that G.E. Mints liked
19:00-...Conference dinner

Tuesday, August 25

10:00-10:30Valentin Shehtman, "On the depth of modal and intermediate logics."
10:35-11:05Frode Bjørdal, "The Isolation of the Definable Real Numbers with Domination and Capture in Librationist Set Theory."
11:05-11:30Coffee break
11:30-12:00Amelia Harrison, Vladimir Lifschitz, David Pearce and Agustín Valverde, "A Direct Proof of Hosoi's Theorem"
12:35-13:00Anton A. Vladimirov, "On separable nets in constructive spaces."
15:00-15:25Sergey A. Melikhov, "A Galois connection between classical and intuitionistic logics: Syntax and semantics."
15:25-15:55Coffee break
15:55-16:20Nikolay V. Shilov, "Program Schemata Technique Thirty Years After."
16:25-16:50Vladimir A. Stepanov, "Truth theory for logic of self-reference statements as a hypercomplex structure."
18:00Dima Grigoriev "Алгоритмы и оценки в тропической алгебре." (The talk on the seminar of the Algorithmic methods laboratory, Fontanka, 27, Marble hall)

Wednesday, August 26

10:00-10:30Eduard F. Karavaev, "Probability Theory and Logic: the Elective Affinity."
10:35-11:05Anahit A. Chubaryan and A. Tshitoyan, "Improvement of lower bounds for steps and sizes of proofs in Frege systems."
11:05-11:30Coffee break
11:30-12:00Anatol Slissenko, "On Entropic Convergence of Algorithms."
12:35-13:00Delhibabu Radhakrishnan, "Dynamics of Belief: Abduction, Horn Knowledge Base And Database Updates."
15:00-15:25Denis I. Saveliev, "On modal logic of topological dynamics."
15:30-15:55Dmitrij Skvortsov, "A New (Simpler) Solution to Ono's Problem on the Strong Completeness for Intermediate Predicate Logics."
15:55-16:20Coffee break
16:20-16:55Alexander S. Gerasimov, "Infinite-valued first-order Lukasiewicz logic: calculi without structural rules and proof search for prenex sentences."
17:00-17:25Misha Gavrilovich, "Point set topology as diagram chasing computations."