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
Chronological Thread
- 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
Archive powered by MHonArc 2.6.18.