Outils logiques, mathématiques et informatiques pour la philosophie

Université Paris 1 Panthéon – Sorbonne, CNRS
UMR 8590 IHPST – Institut d’Histoire et de Philosophie des Sciences et des Techniques
13, rue du Four – 75006 PARIS
Atelier de travail OutilsLog
Adrien Champougny et Perceval Pillon

Informations pratiques : Salle de conférence de l’IHPST, 2e étage, 13 rue du four à 15h30.

Nous aurons le plaisir d’écouter Vincent Blazy, le mardi 4 avril. Son intervention s’intitule :
 “La théorie des types, des logicistes aux cubistes”

La séance aura lieu en mode hybride, le lien zoom pour s’y connecter est le suivant :
LIEN

Résumé de l’intervention :

TBA

Université Paris 1 Panthéon – Sorbonne, CNRS
UMR 8590 IHPST – Institut d’Histoire et de Philosophie des Sciences et des Techniques
13, rue du Four – 75006 PARIS
Atelier de travail OutilsLog
Adrien Champougny et Perceval Pillon

Informations pratiques : Salle de conférence de l’IHPST, 2e étage, 13 rue du four à 14h30.

Nous aurons le plaisir d’écouter Jean Baptiste Joinet (Lyon 3, IHPST), le 20 février 2023. Son intervention s’intitule :

Introduction à la logique linéaire, deuxième partie

La séance aura lieu en mode hybride, le lien zoom pour s’y connecter est le suivant : https://pantheonsorbonne.zoom.us/j/94250274015?pwd=Rk8vTFBvTUs3ZWtkVU52c2Y4S0lQUT09