All plenary, thematic sessions, and the panel discussion take place in the building of
EIMI located
at the address:
10, Pesochnaya naberezhnaya, St. Petersburg.
For more details, see the page Venue on the conference website.
Sections
1. Philosophical Insights into logic and mathematics
2. Mathematical and logical methods in philosophy and in sciences of language
| Monday, April 21 | |||
| Room |
Reception Hall
|
||
|
9:00 - 9:50
|
Registration, Coffee | ||
| Room |
Hall 1
|
||
|
9:50 - 9:55
|
Opening Ceremony
|
||
|
10:00 - 10:55
Plenary Lecture |
Nikolai Vavilov
Complexity and reliability of proofs and computations |
||
|
Break - 5 min.
|
|||
|
11:00 - 11:55
Plenary Lecture |
Anatoly M. Vershik
Does a freedom of the choice exist in mathematics? |
||
|
Coffee Break - 20 min.
|
|||
|
12:15 - 13:10
Plenary Lecture |
Yuri I. Manin
Point, Atom, Letter |
||
|
Lunch - 13:10 - 15:00 |
|||
|
15:00 - 15:55
Plenary Lecture |
Grigori Mints
Several Interesting Problems in Applied Logic |
||
|
Coffee Break - 20 min.
|
|||
|
16:15 - 17:10
Plenary Lecture |
Anatol Slissenko
In Quest of Information in Algorithmic Processes |
||
|
Break - 5 min.
|
|||
|
17:15 - 18:10
Plenary Lecture |
Elena Dragalina-Chernaya
Logical hylomorphism revisited |
||
|
Break - 5 min.
|
|||
|
18:15 - 20:00
|
Welcome |
||
| Tuesday, April 22 | |||
| Room |
Hall 1
|
||
|
11:00 - 11:55
Plenary Lecture |
Klaus Mainzer
The Effectiveness of Complex Systems. A Mathematical, Computational, and Philosophical Approach |
||
|
Coffee Break - 20 min.
|
|||
|
12:15 - 13:10
Plenary Lecture |
Dima Grigoriev
Analog computations: past and future? |
||
|
Lunch Break - 13:10 - 14:30 |
|||
| Room |
Hall 1
|
||
|
14:30 - 16:00
Panel Discussion |
Understanding complexity in cross-disciplinary research |
||
|
Coffee Break - 15 min.
|
|||
|
16:15 - 20:00
|
Excursion to St. Petersburg |
||
| Wednesday, April 23 | |||
| Room |
Hall 1
|
||
|
11:00 - 11:55
Plenary Lecture |
Yuri Gurevich
On Semantics-to-Syntax Analyses of Algorithms |
||
|
Coffee Break - 20 min.
|
|||
|
12:15 - 13:10
Plenary Lecture |
Vladik Kreinovich and Olga Kosheleva
Logic of Scientific Discovery: How Physical Induction Affects What Is Computable |
||
|
Lunch Break - 13:10 - 15:00 |
|||
| Sections |
Section 1
|
Section 2
|
|
| Rooms |
Hall 1
|
Hall 2
|
|
|
15:00 - 15:25
|
Sergei Soloviev
Context-dependent invertibility, isomorphism and subtyping in type theory: possible linguistic applications |
Reinhard Kahle
The logical cone. A new account to counterfactuals |
|
|
Coffee Break - 20 min.
|
|||
|
15:45 - 16:10
|
Alexandr Spaskov and Olesya Kozina
Number and Time |
Sergei Soloviev
presents the paper by Gregory Chaitin titled: Conceptual Complexity and Algorithmic Information |
|
|
Break - 5 min.
|
|||
|
16:15 - 16:40
|
Edward F. Karavaev
One way to determine the intervals in hybrid temporal logic |
Alain Lecomte
An Interaction Framework for Dialogue |
|
|
Free time - 16:40 - 19:30 |
|||
|
19:30 - 22:00
|
Conference Dinner |
||
| Thursday, April 24 | |||
| Room |
Hall 1
|
||
|
11:00 - 11:55
Plenary Lecture |
Andrei Rodin
Objectivity, Objecthood and Genetic Axiomatic Methods in Categorical Mathematics |
||
|
Coffee Break - 20 min.
|
|||
|
12:15 - 13:10
Plenary Lecture |
Vladimir L. Vasyukov
Univalent Foundations of Mathematics and Logical Pluralism |
||
|
Lunch 13:10 - 15:00 |
|||
| Sections |
Section 1
|
Section 2
|
|
| Rooms |
Hall 1
|
Hall 2
|
|
|
15:00 - 15:25
|
Leonid I. Manevich
Asymptotic thinking as a philosophical principle |
Henson Graves
A Practical Doctrine for Mathematical Applications |
|
|
Coffee Break - 20 min.
|
|||
|
15:45 - 16:05
|
Huria Benis Sinaceur
Facets and Levels of Mathematical Abstraction |
Edoardo Rivello
Eliminating the Ordinals from Proofs. An Analysis of Transfinite Recursion |
|
| Friday, April 25 | |||
| Room |
Hall 1
|
||
|
10:00 - 10:55
Plenary Lecture |
Oleg Prosorov
Linguistic universals of topological nature |
||
|
Coffee Break - 20 min.
|
|||
| Sections |
Section 1
|
Section 2
|
|
| Rooms |
Hall 1
|
Hall 2
|
|
|
11:15 - 11:40
|
Vladislav A. Shaposhnikov
The Applicability Problem and a Naturalistic Perspective on Mathematics |
Shane Steinert-Threlkeld
On the Decidability of Iterated Languages |
|
|
Break - 5 min.
|
|||
|
11:45 - 12:10
|
Vladislav A. Shaposhnikov
presents the paper by Vasily Perminov titled: Praxeological Substantiation of Logic |
Jan Wislicki
Semantics of quotation. Against the functional approach to quotation |
|
|
Coffee Break - 20 min.
|
|||
|
12:30 - 12:55
|
Andrei Patkul
The Problem of the Logic's Destruction and Grounding in Phenomenology |
Daniel Tiskin
Transparent Evaluation and Pronouns in Attitude Reports |
|
|
Break - 5 min.
|
|||
|
13:00 - 13:25
|
Vladimir Stepanov
Truth Theory for Logic of Self-Reference Statements as a Quaternion Structure |
Sergey I. Nikolenko,
Sergei Koltsov, Olessia Koltsova Measuring Topic Quality in Latent Dirichlet Allocation |
|
|
Break - 5 min.
|
|||
|
13:30 - 13:55
|
Oleg Prosorov
presents the paper by Alexey Parshin titled: A staircase of reflections: from gnoseology to anthropology |
|
|
|
Break - 5 min.
|
|||
| Room |
Hall 1
|
||
|
14:00 - 14:05
|
Closing
|
||
|
Lunch 14:05 - 15:00 |
|||
| Links to: PDMI, EIMI | Last Update: April 20, 2014 |