2024
Fibonacci’s Garden: The Epistemology and Ethics of Formal Methods in the sciences (November 25-26, Lübeck + online)
Euclid in the Modern Age (November 18-19, Paris), inaugural conference of project EUCLIDES (programme)(project info on SPHERE site)
Colloque de la RHM 2024 (November 14-15, ETH Zürich)
Logic, Language and Mathematics in Frege and Wittgenstein (Strasbourg, October 30, 2024), (programme)
FPMW16 : 16e Rencontres françaises de philosophie des mathématiques (Nancy, October 16-18, 2024) (programme)
SPHERE seminar on History and Philosophy of Mathematics (program 2024-25)
Diagrams 2024: 14th International Conference on the Theory and Application of Diagrams, Münster, Germany, September 27 – October 1, 2024
Philosophy Conference at Emily Harvey Foundation, New York, August 17, 2024 (flyer)
Formalization of Mathematics, Workshop in Hausdorff Research Institute, Bonn, Germany, June 17-21,
Historical Past and Contemporary Propaganda in the Global Context,
June 7-8 2024: Bard College Berlin, Germany (call for proposals)(programme)
LHC days 2024 (Logique, Homotopie, Catégories), Nantes June 4-5, 2024 (April 26 for submitting talks, May 17 for attending)
Bridge the Gap: the importance of communicating the mathematical research to laypeople and in education. University of Balearic Islands, Palma de Mallorca, Spain, May 21-24, 2024
1st Pan-African Logic Congress, Cairo, April 28-30, 2024
Workshop on Homotopy Type Theory / Univalent Foundations, Leuven, April 2-3, 2024
Dear Jeremy, honorary workshop of Jeremy Gray, Paris, SPHERE, Mars 18, 2024
Closing Workshop of programme Rigour and the Growth of Knowledge, Paris, SPHERE, February 28-29, 2024 (programme)
EXUNMA2024: Explanation and Understanding With(In) Mathematics, Internet, January 16, 2024
2023
Актуальные проблемы аналитической философии, Томск 13-14 октября 2023
17th CLMPST, 24-29 July, 2023, Buenos Aires, Argentina (BookofAbstracts)(trailer)(allpics)(mypics: 1, 2, 3, 4)
International Category Theory Conference, July 2-8, 2023, UCLouvain, Louvain-la-Neuve, Belgium
Journées de Broglie 2023, July 3-5, 2023, Paris, Sorbonne, Campus des Cordeliers
Aristotelian Philosophy of Mathematics Workshop, University of Geneva (+Zoom), June 15, 2023 (program)
Mathematics Education meets the Philosophy of Mathematical Practice Workshop – Loughborough University – June 12-14, 2023 (program)(youtube)
Workshop on Mathematical Drawing, University of Helsinki (+zoom), June 10-11, 2023 (program)
LHC days (Logic, Homotopies, Categories), Paris, Paris-Cité, June 6-9, 2023 (program 6-7)(program 8-9)
INTERSEM2023, Paris, U. Paris-Cité, June 5-15, 2023 (program&abstracts)(programSPHERE)
Workshop on Mathematical Intuition, Archives Henri Poincaré, Nancy, May 30-31, 2023 (announcement 1) (announcement 2) (program&abstracts)
Journées Scientifiques 2023 organisées par les Archives Henri Poincaré, Couvent Saint-Jean-de-Bassel, 15-16 mai, 2023 (program)
Préserver le patrimoine numérique à travers les siècles. Journée de lancement du projet DDS. 13 avril 2023
2022
Honory meeting for the occasion of Thorsten Altenkirch 60 birthday, October 12, 2022, Nottingham and zoom, videos
Realism for Realistic People, a new book by Hasok Chang, Cambridge, two-days workshop, Archives Poincaré October 19-20, 2022
Second Fictionalism Workshop, Sorbonne Université, October 3, 2022, programme
Formalization in Logic, Language, and Mathematics, workshop in Archives Poincaré, Septembre 23-24, 2022
Ernst Cassirers theoretische Philosophie – Perspektiven aus Mathematik- und Kulturphilosophie, Universität Siegen, 19.-21. September 2022 (programme)(abstracts)
Perspektiven aus Mathematik- und Kulturphilosophie
HoTT/UF 2022, Haifa, Israel, July 31 – August 1, 2022
Poincaré 2022, Archives Henri Poincaré, Université de Lorraine, Nancy, France, 6-8 julliet 2022
PhilMath InterSem 2022, Paris June 1, 3, 7, 9, 14 2022
Grothendieck, a Multifarious Giant, Chapman University, May 24-28, 2022 (program)
ICM 2022: International Congress of Mathematicians, Saint-Petersburg, July 6-14, 2022 CANCELLED
UNILOG 2022, April 1-11, 2022; workshop on Axiomatic Method
Международная конференция к 80-летию со дня рождения Виталия Валентиновича Целищева, Новосибирск 25-26 февраля 2022
Formalize – 2, January 15, Internet
2021
FIT-M Dec. 16-18, HSE MSK
WEYL 2021 Dec. 8-10, 2021, University of Oslo
Интеллектуальные системы и компьютерные науки, МГУ 29 ноября – 3 декабря
Революция и эволюция: модели развития в науке, культуре, социуме, Нижний Новгород, 26-28 ноября 2021, отчетно-выборное общее собрание РОИФН (28 ноября)
Всероссийский съезд учителей и преподавателей математики и информатики, МГУ 18-19 ноября 2021
XLII международная годичная конференция Наука и Техника в Годы Бурь и Потрясений, ИИЕТ (СПБ) 25-29 октября 2021. (программа)
XI Южно-Российский политологический Конвент, Ростов-на-Дону 26-30 октября 2021 (программа). Российско-украинский круглый стол “Власть и сопротивление на пост-советском пространстве” (видео)
PhilMath InterSem 2021, June 2-15, 2021 Paris-INTERNET, program, abstracts
Mario Bunge Memorial Workshop / Мастерская памяти Марио Бунге, IPRAS-INTERNET, May 13, 2021
Logical Perspectives 2021, Moscow, Steklov Institute, June 7-11 and June 14-18, 2021
Formal Philosophy 2021, 21-23 June, HSE Moscow
Logic, Relativity and Beyond (LRB20), INTERNET 14-17 July, 2021
Workshop Homotopy type theory / Univalent Foundations, July 17-18, 2021, the Internet (programme)
ICHST 2021 : 26th International Congress of History of Science and Technology, Prague, July 25-31, 2021; workshop ‘Mathematical proofs and styles of reasoning: East vs. West’ : (programme)
2020
Теоретический семинар кафедры истории философии и логики Томского гос. университета и лаборатории логико-философских исследований Томского научного центра СО РАН. Томск 13-14 октября 2020. (объявление на сайте ТГУ)(программа с абстрактами докладов)(видео 13 октября)(видео 14 октября часть 1)(видео 14 октября часть 2) (слайды 1: Родин)(слайды 2: Доманов)(слайды 3: Ламберов)(слайды 4: Борисов)
Workshop on Homotopy Type Theory and Univalent Foundations, July 5-7, 2020, Paris, FranceDELAYED
uAnlytiCon 2020: Contextualism, Knowledge, and Truth, Ekatherinburg , May 15-16, 2020 DELAYED
Logic, Relativity and Beyond, Fried Castle Resort (Hungary – Simontornya) 17 June – 21 June 2020 DELAYED
Logical Perspectives 2020-21, Moscow, Steklov Institute, June 8-12 and 15-19 DELAYED until June 7-11 and June 14-18, 2021; Open Lectures (November 2020)
Formal Philosophy 2020, Moscow, HSE, June 4-5, 2020
Understanding Mathematical Explanation. April 6-7, 2020, Rutgers University Inn. DELAYED
The End of Philosophy of Mathematics? Princeton University, April 3-5, 2020 DELAYED
Fifth International Meeting of the Association for the Philosophy of Mathematical Practice, ETH Zürich, January 18-21, 2020
2019
Theoretical Physics and Mathematics of the Brain; 4-5 December 2019, MSU and Skoltech
Studia Logica Conference Trends in Logic 19, Moscow, HSE, October 2-4, 2019 (announcement at the HSE site)
INTERNATIONAL CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE AND TECHNOLOGY (CLMPST2019) PRAGUE, 5–10 August 2019 (program)
Исследовательская летняя школа ИЛЛЮМИНАЦИИ 2.0, Лукашино, Тюменская область, 30 июля – 4 августа 2019
Formal Philosophy, Moscow, HSE, June 27-28, 2019
TACL2019. Nice, June 17-21, 2019
Homotopy Type theory and Univalent Foundations, Oslo, 12-14 June 2019
Days of Logic and Computability 4 (Shanin 100 Conference), Saint-Petersburg, 23-26 May, 2019
uAnalytiCon-2019: Identity, Individual Concepts, and Semantic Uniformity, Ekaterinburg, Ural State University, 17-18 May, 2019
Philosophy of Science School in Dubrovnik, 15-19 April 2019
Психология и технологии в математическом образовании (Yandex&PME), Москва, Яндекс, 18-21 марта 2019. (details in English)
2018
Конференция «Горизонты логического плюрализма» к юбилею Владимира Леонидовича Васюкова, ВШЭ, 24 Ноября 2018
Formal Philosophy 2018, HSE, Moscow, October 1-2
Autumn School “Proof and Computation”, Aurachhof in Fischbachau near Munchen, September 16-22
1й Конгресс Русского Общества Истории и Философии Науки, 14-16 сентября 2018
Vladimir Voevodsky Memorial Conference; Princeton Institute of Advanced Studies, USA, September 11-14, 2018
Summer School “Illuminations”; Tyumen (West Siberia in Russia), 23-29 July 2018.
Workshop on Homotopy Type theory / Univalent Foundations, July 7-8, 2018, Oxford, United Kingdom
6th World Congress and School on Universal Logic, Vichy, France, June 16-26, 2018
Logic Today: Developments and Perspectives, Saint Petersburg, May 31 – June 2, 2018, (program)
Logical Perspectives 2018, Saint Petersburg, May 14–18, 2018; on MathNet with all videos
Teaching Logic and Prospects of Its Development, Kyiv, May 17-18
4-я сессия конференции научных работников РАН, Москва, 27 марта 2018, ФИАН (видео)
2017
Conference dedicated to the memory of Vladimir Voevodsky: December 28, 2017, Steklov Mathematical Institute, Conference hall
Van Fraassen Festival: 11-12 December, Utrecht University
Революция и эволюция: модели развития в науке, культуре, социуме : 24-25 ноября 2017, университет им. Н.И. Лобачевского, Нижний Новгород
Constructive Knowledge – 4: Epistemic Logics and the Problem of Jusification: November 15, IP RAS, Moscow (the workshop has been organized within the continuing project on Logical and Epistemological Aspcts of Constructive Knowledge)
Workshop on Proof Theory, Modal Logic and Reflection Principles: October 17-20, Steklov Institute, Moscow
Autumn School “Proof and Computation”: September 23-26, Herrsching near Munich
Logic Colloquium 2017, August 14-20, Stockholm
10-е Смирновские чтения по логике, 17-19 июня 2017, Москва МГУ
Философия науки и техники в России: вызовы информационных технологий, 2-3 июня, Вологда
(+ ежегодное собрание РОИФН). Фото, видео и другие материалы тут.
Логические и эпистемологические аспекты конструктивного знания, 27 апреля 2017, Москва ИФ РАН
TYPE THEORY IN LJUBLJANA JAN 30 – FEB 2 2017
Model Theory: Philosophy, Mathematics and Language, Munich Center for Mathematical Philosophy, 9-12 January 2017
2016
Гомотопическая теория типов и унивалентные основания математики: логика, эпистемология, философия науки, Уральский государственный университет, Екатеринбург, 29-30 ноября 2016
Nordic Exploratory workshop on epistemic democracy, Villa Marjaniemi, Ruissalo, Turku, 29 October 2016 (program)
The Bounds of Logic Reloaded, international workshop, Moscow HSE 20-21 October 2016 (program)
Аристотелевское наследие как конституирующий элемент европейской рациональности.
Москва ИФРАН 17-19 октября 2016 (program)
Конструктивное знание – 2, Москва ИФРАН 5 октября 2016 (в рамках проекта РГНФ)
Homotopy Type Theory in Logic, Metaphysics and Philosophy of Physics
Bristol, UK | 13-15 September 2016
FOMUS – Foundations of Mathematics: Univalent foundations and set theory
Bielefeld, Germany | July 18-23, 2016
Logic Today: Developments and Perspectives
Saint-Petersburg, Russia | June 22-24, 2016
Canterbury, UK | June 9-10, 2016
PhilMath Intersem 7. 2016 (Paris-Diderot June 2 – 28, 2016)
Homotopy Type Theory and Univalent Foundations of Mathematics. Toronto, Fields Institute, 16-20 May, 2016.
Teaching Logic and Prospects of its Development. Kiev 12-15 May 2016
Воркшоп “Логические и эпистемологические аспекты конструктивного знания“. ИФ РАН 25 апреля 2016 (в рамках проекта РГНФ)
Philosophy of Science in Dubrovnik 2016: Philosophy of Mathematics, Experimental Approaches to Philosophy, Colour Perception. Dubrovnik 11-15 April 2016
Философия науки и техники в России: концепция и дисциплина. Учредительная Конференция Русского Общества Истории и Философии Науки 25-26 марта 2016
См. также объявление на сайте ИФРАНа
2015
New mathematical methods in today’s physics Moscow, IP RAS 21-23 September 2015
7-es Rencontres Français de Philosophie des Mathematiques, Paris 5-7 Nov (program)
New Spaces in Mathematics and Physics: Formal and Philosophical Reflections , Paris, 28 Sent – 2 Oct 2015 (program)(ALL VIDEOS!!)
New mathematical methods in today’s physics: logical, epistemological and computational aspects , Moscow, 21-22 Sent 2015
15th Congress on Logic, Methodology, and Philosophy of Science (Helsinki, 3-8 August 2015)
2014
ТЕОРЕТИЧЕСКАЯ И ПРИКЛАДНАЯ ЭТИКА: ТРАДИЦИИ И ПЕРСПЕКТИВЫ, Санкт-Петербург,
20-22 ноября 2014
СОЦИАЛЬНАЯ ФИЛОСОФИЯ НАУКИ. РОССИЙСКИЕ ПЕРСПЕКТИВЫ. В ЧЕСТЬ АКАДЕМИКА СТЕПИНА.
Москва, ИФРАН, 18-19 ноября 2014
eng пленарная программа программа секций
Logical Aspects of Rational Agency (LARA-2014), Saint-Petersburg State University October 16, 2014
Sixth French Philosophy of Mathematics Workshop. Toulouse October 9-11, 2014
Conference page, program, abstract
Modern Issues in Foundations of Physics. A workshop in honour of Chris Isham on occasion of his 70th Birthday
Imperial College London, September 27 – 28, 2014. Workshop page, program and abstracts
Categories and Ontologies for Knowledge Representation (IP RAS September 17, 2014)
Summary: Knowledge Representation is a rapidly developing area of Artificial Intelligence, which brings together computer scientists and philosophers. The purpose of this workshop is to explore some applications of Category theory and Ontologies in Knowledge Representation.
Talks:
1) Sergei Kavalyaov (ICS RAS)
Category-theoretic models and methods for development of information systems (slides) (audio)
2) Alex Shkotin (SGM RAS)
Ontologies for Petrology (slides) (audio)
3) Irina Starikova (Sao Paulo U)
Cognitive Representations in Mathematical Reasoning (slides) (audio)
4) Andrei Rodin (IP RAS)
Categorical approaches in Knowledge Representation (slides) (audio)
5) Henson Graves (Lockheed Martin)
A Mathematical Framework for Engineering and Science Applications (slides)(audio)
The Helsinki Metaphysical Club Workshop on ICON
10 September 2014, University of Helsinki (program)
The conference Philosophy, Mathematics, Linguistics: Aspects of Interaction
2014 (PhML-2014) will be held on April 21–25, 2014 at the Euler
International Mathematical Institute (EIMI), which is a research unit of the
St. Petersburg Department of Steklov Institute of Mathematics (PDMI) of the
Russian Academy of Sciences (RAS).
The conference PhML-2014 is a sequel in the series of conferences intended
to provide a forum for philosophers, mathematicians, linguists, logicians,
and computer scientists who share an interest in cross-disciplinary research.
For more info see http://www.pdmi.ras.ru/EIMI/2014/PhML/index.html
Футурологический Конгресс 2014 (2е издание) Москва, Гоголь-Центр, 14-16 февраля программа
Конференция “Конструктивная теория доказательств” 17 февраля 2014, программа
2013
Постоянно действующий семинар “Актуальные проблемы философии науки и техники” отдела Философии науки и техники ИФРАН
Cinquième Rencontre française de philosophie des mathématiques / Fifth French Philosophy of Mathematics Workshop. Clermont-Ferrand, 17-19 octobre
Groupe de travail PHENOMATH Sixième rencontre : “Lire, dire et écrire (les mathématiques)”, Laboratoire Jean Dieudonné, Nice, 10-11 octobre.
Round table “Is New Physics Needed to Understand the Mind?“
Participants: Konstantin Anokhin, Tatiana Chernigovskaya, Vladislav Lectorsky, Mikhail Mensky, Alexander Panov, Roger Penrose, Andrei Rodin (moderator) (IP RAS, April 1, 2013) (MP3 audio)
Is New Physics Needed to Understand the Mind?
Lecture by Roger Penrose in Smolny College on March 28 (video1 – the lecture starts at the 28th minute of the record: video2)
2012
Realism and Modern Science: Institute of Philosophy RAS, November 22-23, 2012 (programme eng, programme rus, at IPHRAS archive, my talk)
PhilMath4 (Paris, IHPST and SPHERE, October 4-6, 2012): Annuary workshop on Philosophy of Mathematics (at philevents)
2011
Categories and Physics 2011: International workshop, University Paris-Diderot, November 30-December 2, 2011 (programme)
PhilMath3 (Paris, IHPST , September 27-28, 2011): Annuary workshop on Philosophy of Mathematics (at the IHPST Archive)
2006-2011 Regular seminar Categories and Physics (archive)
2010
THÉORIE DES CATÉGORIES ET LA PHILOSOPHIE DES MATHÉMATIQUES AUJOURD’HUI // CATEGORY THEORY AND PHILSOPHY OF MATHEMATICS TODAY: conference, ENS May 17, May 31 and June 14, 2010 (programme, my talk)
2005
IMPACT OF CATEGORIES: 60 Years of Category Theory in Historical and Philosophical Retrospect (Ecole Normale Superieure, 10-14 October, 2005) (poster and programme, my talk, full audio and video at ENS Archive)