
Monday, August 24
9:30  Registration 
10:0010:40  Lev Beklemishev, "ParsonsMints Theorem and its generalizations for arithmetical reflection principles." 
10:4511:25  Sergei Soloviev, "Ideas of G.E. Mints in Categorical Theory of Proofs: 40 Years of Development." 
11:2511:50  Coffee break 
11:5012:30  Alex Citkin, "G. Mints and Search for Admissible Rules." 
12:3513:05  Vladik Kreinovich and Olga Kosheleva, "How Transition from Purely Constructive Mathematics to PhysicsMotivated Intuitionistic Mathematics Affects Decidability: An Important Facet of Mints's Legacy." 
13:0515:00  Lunch 
15:0015:40  Vladimir P. Orevkov, TBA 
15:4517:45  Reminiscences 
17:4518:30  Video with G.E. Mints 
18:3019:00  The music that G.E. Mints liked 
19:00...  Conference dinner 
Tuesday, August 25
10:0010:30  Valentin Shehtman, "On the depth of modal and intermediate logics." 
10:3511:05  Frode Bjørdal, "The Isolation of the Definable Real Numbers with Domination and Capture in Librationist Set Theory." 
11:0511:30  Coffee break 
11:3012:00  Amelia Harrison, Vladimir Lifschitz, David Pearce and Agustín Valverde, "A Direct Proof of Hosoi's Theorem" 
12:3513:00  Anton A. Vladimirov, "On separable nets in constructive spaces." 
13:0015:00  Lunch 
15:0015:25  Sergey A. Melikhov, "A Galois connection between classical and intuitionistic logics: Syntax and semantics." 
15:2515:55  Coffee break 
15:5516:20  Nikolay V. Shilov, "Program Schemata Technique Thirty Years After." 
16:2516:50  Vladimir A. Stepanov, "Truth theory for logic of selfreference statements as a hypercomplex structure." 
18:00  Dima Grigoriev "Алгоритмы и оценки в тропической алгебре." (The talk on the seminar of the Algorithmic methods laboratory, Fontanka, 27, Marble hall) 
Wednesday, August 26
10:0010:30  Eduard F. Karavaev, "Probability Theory and Logic: the Elective Affinity." 
10:3511:05  Anahit A. Chubaryan and A. Tshitoyan, "Improvement of lower bounds for steps and sizes of proofs in Frege systems." 
11:0511:30  Coffee break 
11:3012:00  Anatol Slissenko, "On Entropic Convergence of Algorithms." 
12:3513:00  Delhibabu Radhakrishnan, "Dynamics of Belief: Abduction, Horn Knowledge Base And Database Updates." 
13:0015:00  Lunch 
15:0015:25  Denis I. Saveliev, "On modal logic of topological dynamics." 
15:3015:55  Dmitrij Skvortsov, "A New (Simpler) Solution to Ono's Problem on the Strong Completeness for Intermediate Predicate Logics." 
15:5516:20  Coffee break 
16:2016:55  Alexander S. Gerasimov, "Infinitevalued firstorder Lukasiewicz logic: calculi without structural rules and proof search for prenex sentences." 
17:0017:25  Misha Gavrilovich, "Point set topology as diagram chasing computations." 
