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

January 31, 2013

my events

Filed under: — Andrei Rodin @ 6:52 am

2022

ICM 2022: International Congress of Mathematicians, Saint-Petersburg, July 6-14, 2022

2020

Logic, Relativity and Beyond, Fried Castle Resort (Hungary – Simontornya) 17 June – 21 June 2020

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