Accueil

contact

Retrouvez nos coordonnées
sur la page Informations pratiques

Actualité de la délégation de Fontainebleau

Retrouvez toutes les actualités et faits marquants ...

Recherche

11/03/2015

Visite exceptionnelle de Jim Lipton

Jim Lipton, professeur au Département de mathématiques et d'informatique de Wesleyan University (Ct., USA), nous fait le plaisir de visiter pendant quelques jours le Centre de recherche en informatique, pour rencontrer en particulier Olivier Hermant et Emilio Gallego Arias. Son exposé a abordé ses travaux récents concernant une "Kripke semantics for Intuitionistic Higher-Order Logic with constraints".

Visite exceptionnelle de Jim Lipton - Mines Paris - PSL

Actualité de la délégation de Fontainebleau - Mines Paris - PSL

Partager

actualité

International Un docteur CRI à UCL avec la ministre de l'ESR Robin Le Conte des Floris, jeune docteur de la thèse…
> En savoir +

Formation Séminaire HPC / thèse à Rabat Claude Tadonki, enseignant-chercheur au CRI, a…
> En savoir +

Formation CloudTech au Maroc Claude Tadonki, enseignant-chercheur au Centre de recherche en informatique…
> En savoir +

Samuel Forest, élu membre de l’Académie des Sciences

Formation Samuel Forest, élu membre de l’Académie des… Samuel Forest lors de sa réception à…
> En savoir +

Les politiques publiques doivent-elles sauver des vies ou des années de vie en plus ?

Formation Les politiques publiques doivent-elles sauver des… Photo de Andre Taissin sur Unsplash François…
> En savoir +

Formation Prix TTI.5 de la controverse environnementale Le 31 mai, à la Maison de l’Océan à…
> En savoir +