Séance du mardi 4 Avril : Vincent Blazy

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

Vous trouverez ci-joint les documents nécessaires à la préparation de la séance de travail :

Séance du lundi 20 février : Jean-Baptiste Joinet – seconde séance

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

Vous pouvez trouver les slides de la première partie en cliquant sur le lien suivant : Télécharger

Séance du vendredi 10 juin : Jean-Baptiste Joinet

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 à 10h.

Nous aurons le plaisir d’écouter Jean Baptiste Joinet (Lyon 3, IHPST), le 7 juin 2022. Son intervention s’intitule :

Introduction à la logique linéaire

La séance aura lieu en mode hybride, le lien zoom pour s’y connecter est le suivant :
https://zoom.univ-paris1.fr/j/95000025523?pwd=YytPM3JSMC80U2UxZFp0SURER2psZz09

Rechercher dans OpenEdition Search

Vous allez être redirigé vers OpenEdition Search