Panel discussion

in honor of UNESCO World Logic Day 2024

Call for Registration

Ural Federal University named after the first President of Russia B.N. Yeltsin

Ural Institute of Humanities

Department of Philosophy

Chair of Ontology and Theory of Knowledge

January 14, 2024

an online panel discussion in honor of UNESCO World Logic Day, ”Formal Methods and Their Applications”, which took place on January 14, 2024 at 12:00 (UTC time: 7:00).

The panel discussion was focused on the wide range of issues related to the formal methods and their applications in mathematics, linguistics, computer science, and philosophy.

The panel discussion was held in Russian.

Panel discussion starts at 11:50 (YEKT, UTC+5).

Program

11:50-12:00 — opening address

12:00-12:30 — Andrei Rodin (Université de Lorraine, Archives Henri-Poincaré, Nancy, France), Why is the Hilbert-style Axiomatic Method Not Suitable for Constructing Scientific Theories?

12:30-13:00 — Nikolay Shilov, Nikolay Kudasov (Innopolis University, Innopolis, Russia), Formal Methods in Programming: a View across a Generation

13:00-13:30 — Vitaly Dolgorukov (HSE University, Moscow, Russia), Ontological Argument: the Version of K. Gödel

13:30-14:00 — Ivan Rygaev (Institute for Information Transmission Problems of RAS, Moscow, Russia), Language and Logic: Formal Methods in Linguistics

14:00-16:00 — discussion

The panel discussion was recorded and uploaded to YouTube-channel of uAnalytiCon.