Chargement Évènements

« Tous les Évènements

  • Cet évènement est passé

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

12 octobre 2015 @ 0 h 00 min - 14 octobre 2015 @ 0 h 00 min

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

Détails

Début :
12 octobre 2015 @ 0 h 00 min
Fin :
14 octobre 2015 @ 0 h 00 min
Catégories d’évènement:
, ,