andrei rodin Andrei Rodin's blog about History and Philosophy of Mathematics

January 31, 2013

my events

Filed under: — Andrei Rodin @ 6:52 am

2024

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)

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 (abstract < 500 words by Feb. 29)

1st Pan-African Logic Congress, Cairo, April 28-30, 2024

Workshop on Homotopy Type Theory / Univalent Foundations, Leuven, April 2-3, 2024

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

Одиннадцатые Смирновские чтения по логике, Москва, 19-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

Конгресс Русского Общества Истории и Философии Науки, 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

Type theory and Philosophy

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

Conference page, program

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 ScienceInstitute 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 talkfull audio and video at ENS Archive)

No Comments »

No comments yet.

RSS feed for comments on this post.

Leave a comment

You must be logged in to post a comment.

Powered by WordPress