Rencontres PHILMATHMED 2025

5-6 Mai 2025, Frumam, Batiment 10, 2ème étage, Campus St. Charles, Marseille

La notion de démonstration à l’intersection de la logique, des mathématiques, de l’informatique et de la didactique

Comité scientifique : Claudio Bartocci (DIMA, Università degli Studi di Genova) ; Francesca Biagioli (Università degli Studi di Torino) ; Paola Cantù (CNRS/Univ Aix-Marseille) ; Thomas Hausberger (IMAG Montpellier) ; Sébastien Maronne (IMT Toulouse) ; Frédéric Patras (CNRS /LJAD Nice) ; Silvia de Toffoli (IUSS  Pavia), Thierry Paul (LYSM, CNRS Rome)

Comité d’organisation : Paola Cantù

Partenaires : RT CNRS SHS PHILMATH, ANR-23-CE54-0012 « Axiomatic Definitions », CGGG Centre Gilles Gaston Granger (CNRS et Aix-Marseille-Université,) LYSM Laboratoire Ypatia des Sciences Mathématiques (CNRS Mathématiques)

Les rencontres se dérouleront exclusivement en présentiel. Inscription gratuite mais obligatoire en remplissant le formulaire disponible ici.

____________________________
Programme

Lundi 5 mai 2025

13h30 Accueil

14h00-15h30 Lionel Vaux Auclair, Dérivation et développement de Taylor des preuves

16h00-17h30 Faustine Oliva, Le script de preuve formelle, une interface entre formalismes et intuitions ?

17h30-19h00 Table ronde  L’avenir de la notion de preuve dans un monde sans rigueur ? Thierry Paul et Nicolas Saby.

Mardi 6 mai 2025

9h00-10h30 Gianni Biolo, Le raisonnement géométrique d’Eduard Study lié à la Dyname et à autres outils algébriques-géométriques, dans la tradition mathématique germanique et ses liens avec la culture mathématique française

11h00-12h30 Simon Modeste, Un regard didactique (et épistémologique) sur les relations algorithme-preuve et sur les assistants de preuve

14h30-16h00 Frédéric Rouvière, Argumentation, raisonnement et démonstration en droit

16h30-18h00 Antonio Piccolomini, Normalisation et sémantique des preuves. Vers une interpretation Hilbertienne de la proof-theoretic semantics.

Les rencontres seront suivies par une journée sur l’espace organisée en collaboration avec l’ANR-23-CE54-0012 « Axiomatic Definitions ». Inscription gratuite mais obligatoire en remplissant le formulaire disponible ici. La journée sur l’espace sera également diffusée à distance.

7 Mai 2025, i2M, Campus St. Charles, Marseille

Comité d’organisation : Jean-Yves Briend et Paola Cantù

Partenaires : ANR-23-CE54-0012 « Axiomatic Definitions », Laboratoire I2M, Centre Gilles Gaston Granger, CNRS et Aix-Marseille-Université

Programme

Mercredi 7 mai 2025

9h00 Accueil

9h15-10h30 Olivia Caramello, La ‘notion unificatrice’ de topos

11h00-12h15 Francesca Biagioli, tbc

REPAS

14h00-15h15 Fréderic Jaëck, Espaces et structures : pourquoi, comment et autres questions philosophiques.

15h45-17h00 Jean-Yves Briend, Desargues et le Brouillon-Project sur les coniques : dans l’atelier du géomètre.

École Thématique XII 2025, inscriptions ouvertes !

L’onzième École Thématique “Mathématiques et philosophie contemporaines” organisée par le GDR Philmath en collaboration avec le CNRS aura lieu du 23 au 27 juin 2025 à Saint-Férréol, au Rlelais des quatre vents.

Cette année, l’école thématique CNRS « Mathématiques et Philosophie Contemporaines »XII est articulée autour de quatre sessions thématiques composées de cours (1h30 et 30mn de questions), d’exposés de recherche (1h et 30mn de questions) et de table rondes (1h30). S’y ajoute des sessions d’exposés libres en particuliers destinées aux jeunes chercheurs. Les thèmes traités en 2025 sont  : 

  • l’algèbre catégorique et homotopique ;
  • les manuscrits mathématiques d’Alexandre Grothendieck ;
  • l’épistémologie historique de Jean-Toussaint Desanti ;
  • l’épistémologie historique d’Alain Michel ;
  • le problème de la représentation et de la compréhension en mathématiques ;
  • l’informatisation du droit.

L’école thématique “Mathématiques et Philosophie Contemporaines XII” est soutenue par le CNRS (INSMI et INSHS), le Réseau Thématique “Philosophie des Mathématiques”, l’Institut de Mathématiques de Toulouse et le LABEX CIMI de Toulouse.

Porteur de l’école thématique : Sébastien Maronne (UT, IMT)

Comité d’organisation scientifique : Paola Cantù (CNRS, CGGG), Brice Halimi (Paris Cité, SPHere), Baptiste Mélès (CNRS, AHP), Frédéric Patras (CNRS, LJAD).

Toutes les informations sur le programme et les modalités de candidature (date limite le 16 mai 2025) sont disponibles à l’adresse

https://indico.math.cnrs.fr/event/13733

FPMW-ESPM Conference 2025

Joint Seventeenth French Philosophy of Mathematics Workshop and Second Conference of the European Society for the Philosophy of Mathematics

https://fpmwespm2025.sciencesconf.org


The seventeenth edition of the French Philosophy of Mathematics Workshop (FPMW 17) and the second conference of the European Society for the Philosophy of Mathematics will be held from the 15th to the 17th of October 2025 in Paris, at Université Paris Cité and Université Paris 1 Panthéon-Sorbonne.

The workshop program consists of five talks by invited speakers and five contributed talks (see the programs of previous editions of the workshop on this website). 

The invited speakers are: 

• Timothy Gowers (Collège de France)
• Elaine Landry (UC Davis)
• Georg Schiemer (University of Vienna)
• David Rabouin (CNRS, SPHERE, Paris)
• Andrea Sereni (IUSS Pavia)

For the five contributed talks, all topics and approaches in the philosophy of mathematics are welcome. The workshop is also open to philosophical talks about mathematics which do not fall under the philosophy of mathematics in a strict sense. 

Submission window: April 15th, 2025 – May 15th, 2025. 
Notification of acceptance (by email): July 1st, 2025.

Length of talks: 1-hour talk followed by 30 minutes of discussion. 

The languages of the workshop will be French and English. Talks in French should be supported by slides in English.

Proposals (between 10,000 and 15,000 characters), prepared for anonymous review, should be submitted in PDF to <fpmw-espm2025@sciencesconf.org> copying Brice Halimi in an email entitled “FPMW-ESPM2025”.

The workshop is supported financially by the Research Network PHILMATH, the European Society for the Philosophy of Mathematics, and the CNRS research units SPHERE (Université Paris Cité & CNRS) and IHPST (Université Paris 1 Panthéon-Sorbonne & CNRS).

Scientific committee: 

• Andrew Arana (Université de Lorraine)
• Silvia De Toffoli (IUSS Pavia)
• Mirna Džamonja (Université Paris Cité)
• Emmylou Haffner (CNRS, ENS)
• Brice Halimi (Université Paris Cité)
• Mary Leng (University of York)
• Øystein Linnebo (University of Oslo)
• Jean-Pierre Marquis (Université de Montréal)
• Carlo Nicolai (King’s College London)
• Alexander Paseau (University of Oxford)
• Frédéric Patras (CNRS, Université Côte d’Azur)
• Jean-Jacques Szczeciniarz (Université Paris Cité

If you’d like to be kept informed of events organized by the GDR PHILMATH, subscribe to the philmath_france@services.fr mailing list by clicking here or by sending a message to sympa@services.cnrs.fr with subscribe philmath_france@services.cnrs.fr in the subject line.

7èmes rencontres PhilMathMed – Philosophie, Histoire et Didactique des Mathématiques en Méditerranée

16-17 Mai 2024 à l’IMAG, Université de Montpellier

Pas de frais d’inscription, mais inscription obligatoire par mail à thomas.hausberger@umontpellier.fr

En l’absence de financement institutionnel (Ecole Doctorale, Laboratoire), une demande de financement pour le remboursement des frais de mission des étudiants peut-être effectuée en envoyant un courriel à paola.cantu@univ-amu.fr avant le 14 avril 2024.

Comité scientifique : Claudio Bartocci (DIMA, Università degli  studi di Genova) ; Francesca Biagioli (Università degli Studi di Torino) ; Paola Cantu (CGGG, Aix-Marseille Université) ; Thomas Hausberger (IMAG, Université de Montpellier) ; Sébastien Maronne (IMT, Université de Toulouse) ; Frédéric Patras (LJAD, Université Côte d’Azur) ; Andrea Sereni (IUSS Pavia).

Consulter le programme ici.

École Thématique XI 2024

L’onzième École Thématique “Mathémaitques et philosophie contemporaines” organisée par le GDR Philmath en colleboration avec le CNRS aura lieu du 24 au 28 juin 2024 à Saint-Férréol, au Rlelais des quatre vents.

Toutes les informations sur le programme et les modalités de candidature sont disponibles sur le site web de l’école thématique à l’adresse suivante

https://indico.math.cnrs.fr/e/MPhC11

Si vous souhaitez être tenu au courant des événements organisés par le GDR PHILMATH, abonnez-vous au flux suivant : https://philmath.hypotheses.org/feed

 

PhilMath

Ce site a pour objectif de décrire toutes les activités du Groupement de Recherche “Philosophie des Mathématiques” du CNRS (PhilMath, GDR 3719) dirigé par Jean-Jacques Sczeciniarcz (2014-2018), puis par Brice Halimi (2018-2022).

Le projet du GDR est d’encadrer en France le champ de recherches très important qu’est devenu, au sein de la philosophie des sciences et plus largement de la philosophie tout court, la philosophie des mathématiques, laquelle se conçoit en effet comme une philosophie non pas régionale, mais transversale.

Le site rassemble notamment toutes les informations concernant les principaux événements qui ponctuent les activités du GDR :

  • un colloque international annuel, le Colloque Français de Philosophie des Mathématiques (ou French PhilMath Workshop, FPMW), qui a lieu depuis 2009 ;
  • une école d’été annuelle, l’Ecole Thématique “Mathématiques et Philosophie contemporaine”, initiée en 2012.
  • A ces deux événements s’ajoute depuis 2016 le PhilMathMeD (Rencontres en Philosophie, Histoire et Didactique des Mathématiques en Méditerranée).