Séminaires : Phd Seminar - Séminaire des doctorant.e.s

Equipe(s) : doctorants,
Responsables :Salim Alloun, Pedro Alves, Baptiste Dugué, Brian Flanagan, Ivory Fronteau, Kostyantyn Krutoy
Email des responsables :
Salle :
Adresse :
Description

Le séminaire des doctorant.e.s est l'occasion pour les doctorant.e.s de présenter des résultats et des problématiques dignes d'intérêt devant un public de non-spécialistes. L'ambiance y est informelle ; poser des questions naïves est encouragé, et les questions moins naïves sont bienvenues dans la mesure où elles n'entravent pas le bon déroulement de l'exposé.

Chaque jeudi à 18h, en alternance entre Jussieu et Sophie Germain.

The PhD seminar is an opportnuity for PhD students to present results and topics worthy of interest in front of a non-specialist audience. The mood is informal ; asking naive questions is highly encouraged and less naive questions are also welcomed, as long as they don't intefere with the smoothness of the talk.

Every Thursday at 6pm, alternating between Jussieu and Sophie Germain.

Orateur(s) Matthieu Herrmann - ,
Titre Conception d'un outil de formalisation des mathématiques basé sur le système formel W
Date09/06/2016
Horaire18:00 à 19:00
Diffusion
Résume La formalisation des mathématiques est un objectif de longue date, les premières tentatives connues remontant à la fin du 19ème siècle.La formalisation d'un domaine exige la compréhension de ses mécanismes intrinsèques ; les travaux sur la formalisation des mathématiques requièrent donc une compréhension du fonctionnement des mathématiques ainsi que de leurs structures.Si ces derniers sont bien souvent invisibles (implicites) aux mathématiciens qui les utilisent «naturellement», ils doivent nécessairement être explicités dans le cas d'une implémentation informatique.Nous proposons, dans ce séminaire, d'explorer une partie de ces mécanismes et structures aux travers du prisme informatique.
Salle
Adresse
© IMJ-PRG