Cet évènement est passé

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

Name: GT « Géométrie du calcul » et « Logique, Algèbre et Calcul” (Journées 2015)
Start: 2015-10-12T00:00:00+02:00
End: 2015-10-14T00:00:00+02:00

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:: GdR Informatique Mathématique, Journées Groupe de travail, Soutien