athena AT services.cnrs.fr
Objet : Histoire des techniques
Archives de la liste
[ATHENA] Séminaire "Réflexions sur les processus de calcul, d'information et de programmation": dernière séance à Lille
Chronologique Discussions
- 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, educasup.philo AT ml.free.fr
- Cc: Dale Miller <dale.miller AT inria.fr>, Chazal <gerard.chazal AT orange.fr>, Alberto Naibo <Alberto.Naibo AT univ-paris1.fr>, "maelpegny AT gmail.com" <maelpegny AT gmail.com>, "Prof. Dr. Shahid Rahman" <shahid.rahman AT univ-lille3.fr>, Mark van Atten <vanattenmark AT gmail.com>, "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": dernière séance à Lille
- Date: Wed, 8 Jun 2016 11:21:22 +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 dernière séance de cette année de notre séminaire "Réflexions sur les processus de calcul, d'information et de programmation'", mercredi 15 juin à 14h, STL, Université de Lille 3, Salle Corbin (Bât. B, salle B1 661), avec la participation de:
Gerard Chazal (Université de Bourgogne), Informatique et philosophie du langage
Dale Miller (Inria and LIX/Ecole polytechnique), Applications of structural proof theory to computer science
Résumé, programme détaillé et les slides des autres séances sont disponible sur: https://calcul.hypotheses.org/
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 De Mol.
- [ATHENA] Séminaire "Réflexions sur les processus de calcul, d'information et de programmation": dernière séance à Lille, ldemol, 08/06/2016
Archives gérées par MHonArc 2.6.18.