athena AT services.cnrs.fr

Subject: Histoire des techniques

List archive

[ATHENA] séminaire "Réflexions sur les processus de calcul, d'information et de programmation", séance de 18 mai, Lille

From: "ldemol" (liesbeth.demol AT univ-lille3.fr via athena Mailing List) <athena AT services.cnrs.fr>
To: theuth AT listes.univ-rennes1.fr, athena AT services.cnrs.fr
Cc: "Prof. Dr. Shahid Rahman" <shahid.rahman AT univ-lille3.fr>, "maelpegny AT gmail.com" <maelpegny AT gmail.com>, Mark van Atten <vanattenmark AT gmail.com>, Alberto Naibo <Alberto.Naibo AT univ-paris1.fr>, "mounier AT msh-paris.fr" <mounier AT msh-paris.fr>
Subject: [ATHENA] séminaire "Réflexions sur les processus de calcul, d'information et de programmation", séance de 18 mai, Lille
Date: Tue, 10 May 2016 10:36:40 +0200
Authentication-results: t2gpsmtp1.dsi.cnrs.fr (amavisd-new); dkim=pass header.i= AT univ-lille3.fr

Cher.es collègues,

nous avons le plaisir de vous annoncer la prochaîne séance du séminaire "Réflexions sur les processus de calcul, d'information et de programmation'", mercredi 18 mai à 14h, STL, Université de Lille 3, Salle Corbin (Bât. B, salle B1 661), avec la participation de:

Jean-Paul Delahaye (CRIStAL, Université de Lille 1), Les mesures numériques de la complexité

Johan G. Granström (Google Research), Identity in Intuitionistic Type Theory

Résumé, programme détaillé et les slides des exposés de la dernière séance sont disponible ici.
Responsables: Liesbeth De Mol (CNRS/STL, Université de Lille 3), Pierre Mounier-Kuhn (CNRS, Centre Roland Mousnier, Université Paris Sorbonne), Alberto Naibo (IHPST, Université Paris 1 Panthéon-Sorbonne, CNRS, ENS), Maël Pegny (IHPST, Université Paris 1 Panthéon-Sorbonne, CNRS, ENS), Shahid Rahman (STL, Université de Lille 3), Mark van Atten (CNRS/SND, Université Paris-Sorbonne), cordialement,
Liesbeth.

[ATHENA] séminaire "Réflexions sur les processus de calcul, d'information et de programmation", séance de 18 mai, Lille, ldemol, 05/10/2016