On Monday January 12 I present my recent book in the laboratory SPHERE, University Paris-Cité. There’ll be other book presentations during the same session, which begins at 9h30 CET and continues utilising 13h CET (my presentation will start about 11h-11h15) (program)(slides)(video)
January 10, 2026
The Axiomatic Architecture of Scientific Theories
December 5, 2025
Topological Data Analysis in the Biomedical Research
Invited talk at the workshop Fibonacci’s Garden 2: Navigating the fog (The Epistemology and Ethics of Formal Methods in the sciences with a focus on the life sciences & medicine and the question of explainability) (my abstract)(other abstracts)(slides)(video)
November 23, 2025
Special Issue of The Mathematics Enthusiast on Liberal Arts Mathematics
Call for Papers: deadline for submissions April 15, 2026
August 4, 2025
Аксиоматическая архитектура научных теорий (Москва: Директ-Медиа 2025)
В издательстве Директ-Медиа вышла моя монография “Аксиоматическая архитектура научных теорий”, которая представляет собой переработанный варианта моей докторской диссертации с таким же названием.
Книгу можно купить в электронном или бумажном виде по этой ссылке.
May 25, 2025
Truth and Meaning in the Automated Proof Verification
Talk at the workshop on Truth and Meaning in Mathematics (Reykjavik, 25-27 June, 2025)(schedule) (abstract)(slides)(video)
Automated Proof Verification and Foundations of Mathematics
Invited lecture in the Institute of Philosophy of Slovak Academy of Sciences (Bratislava), June 16 starting 11 a.m.) (abstract)(poster)(youtube stream and video)(slides)
May 3, 2025
Euclid, Lobachevsky, and teaching geometry in the Russian Empire of the early 19th century
Invited talk at the workshop The Elements of Euclid between the 18th and 19th Centuries (Paris, SPHERE, June 2, 2025) organised by Vincenzo de Risi as a part of the project EUCLIDES (abstract)(program)(slides)
March 17, 2025
A.N. Kolmogorov sur la controverse Hilbert-Brouwer
communication libre au Congrès de la Société Française d’Histoire des Sciences et des Techniques (Nancy, 9-11 avril 2025)(programme)(résumé)(affiches)
March 13, 2025
‘The End of Theory’ and the Topological Data Analysis in the Biomedical Research
A recent draft, submitted as a chapter to : José Antonio Perez-Escobar and Deniz Sarikaya (editors) Mathematical tools in the life sciences: describing, explaining, understanding, and operating. Book series: History, Philosophy and Theory of the Life Sciences Springer (pdf)
February 2, 2025
Понятие математической структуры согласно Владимиру Воеводскому
Приглашенный доклад на семинаре по теории категорий Высшей школы экономики (Москва), 7 февраля 2025: по зуму. (резюме)