|
Monday, August 24
| 9:30 | Registration |
| 10:00-10:40 | Lev Beklemishev, "Parsons-Mints Theorem and its generalizations for arithmetical reflection principles." |
| 10:45-11:25 | Sergei Soloviev, "Ideas of G.E. Mints in Categorical Theory of Proofs: 40 Years of Development." |
| 11:25-11:50 | Coffee break |
| 11:50-12:30 | Alex Citkin, "G. Mints and Search for Admissible Rules." |
| 12:35-13:05 | Vladik Kreinovich and Olga Kosheleva, "How Transition from Purely Constructive Mathematics to Physics-Motivated Intuitionistic Mathematics Affects Decidability: An Important Facet of Mints's Legacy." |
| 13:05-15:00 | Lunch |
| 15:00-15:40 | Vladimir P. Orevkov, TBA |
| 15:45-17:45 | Reminiscences |
| 17:45-18:30 | Video with G.E. Mints |
| 18:30-19:00 | The music that G.E. Mints liked |
| 19:00-... | Conference dinner |
Tuesday, August 25
| 10:00-10:30 | Valentin Shehtman, "On the depth of modal and intermediate logics." |
| 10:35-11:05 | Frode Bjørdal, "The Isolation of the Definable Real Numbers with Domination and Capture in Librationist Set Theory." |
| 11:05-11:30 | Coffee break |
| 11:30-12:00 | Amelia Harrison, Vladimir Lifschitz, David Pearce and Agustín Valverde, "A Direct Proof of Hosoi's Theorem" |
| 12:35-13:00 | Anton A. Vladimirov, "On separable nets in constructive spaces." |
| 13:00-15:00 | Lunch |
| 15:00-15:25 | Sergey A. Melikhov, "A Galois connection between classical and intuitionistic logics: Syntax and semantics." |
| 15:25-15:55 | Coffee break |
| 15:55-16:20 | Nikolay V. Shilov, "Program Schemata Technique Thirty Years After." |
| 16:25-16:50 | Vladimir A. Stepanov, "Truth theory for logic of self-reference 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:00-10:30 | Eduard F. Karavaev, "Probability Theory and Logic: the Elective Affinity." |
| 10:35-11:05 | Anahit A. Chubaryan and A. Tshitoyan, "Improvement of lower bounds for steps and sizes of proofs in Frege systems." |
| 11:05-11:30 | Coffee break |
| 11:30-12:00 | Anatol Slissenko, "On Entropic Convergence of Algorithms." |
| 12:35-13:00 | Delhibabu Radhakrishnan, "Dynamics of Belief: Abduction, Horn Knowledge Base And Database Updates." |
| 13:00-15:00 | Lunch |
| 15:00-15:25 | Denis I. Saveliev, "On modal logic of topological dynamics." |
| 15:30-15:55 | Dmitrij Skvortsov, "A New (Simpler) Solution to Ono's Problem on the Strong Completeness for Intermediate Predicate Logics." |
| 15:55-16:20 | Coffee break |
| 16:20-16:55 | Alexander S. Gerasimov, "Infinite-valued first-order Lukasiewicz logic: calculi without structural rules and proof search for prenex sentences." |
| 17:00-17:25 | Misha Gavrilovich, "Point set topology as diagram chasing computations." |
|
