GT "Géométrie du calcul" et "Logique, Algèbre et Calcul” (Journées 2015)

Date: 
Lundi, 12 Octobre, 2015 - Mercredi, 14 Octobre, 2015
Lieu: 

Nancy

Description: 

les groupes de travail "Géométrie du calcul" et "Logique, Algèbre et Calcul” du GDR IM et le groupe de travail “Langages, Types et Preuves” du GDR GPL organisent des journées communes au LORIA à Nancy du 12 au 14 octobre 2015.

Site Web : http://www.loria.fr/~merz/2015-GeoCal-LAC-LTP/

Orateurs invités:
. Sylvain Conchon, Univ. Paris Sud & LRI
. Andrew Polonsky, LIPN
. Noam Zeilberger, Inria Saclay