Bienvenue aux Mines Paristech
Bienvenue à MINES ParisTech
Newsletter International
Website
Théorie & Pratique
Vous êtes

rechercher
une actualité

Ecole
Entreprise
Formation
International
Recherche
Sciences de la terre et
de l'environnement
Energétique et procédés
Mécanique et matériaux
Mathématiques et systèmes
Economie, management
et société
Partager

Recherche

11/03/2015

Visite exceptionnelle de Jim Lipton

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 ParisTech

webTV

Lecture

Conférence éthique et intelligence artificielle : Elise Berlinski

Lecture

Certificat exécutif : digital native, 3 questions à...

Lecture

Carlos Adrian Correa Florez, MINES ParisTech PhD, PERSEE center

Lecture

Certificat exécutif : digital native, 3 questions à...

Lecture

Lancement de la Chaire industrielle ANR TOPAZE

+ TOUS

actus / Sciences de la terre et l'environnement

Consulter les actus de cette thématique

actus / Énergétique et procédés

Consulter les actus de cette thématique

actus / Mécanique et matériaux

Consulter les actus de cette thématique

actus / Mathématique et systèmes

Consulter les actus de cette thématique

actus / Économie, management et société

Consulter les actus de cette thématique
Plan du site
MINES
ParisTech

60, Boulevard Saint-Michel
75272 PARIS Cedex 06
Tél. : +33 1 40 51 90 00

Implantations
Mentions légales | efil.fr | ©2012 MINES ParisTech | +33 1 40 51 90 00 |