Skip to Content.
Sympa Menu

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

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.

Top of Page