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” -- 2ième séance jeudi 25 février à Lille

From: "Liesbeth De Mol" (liesbeth.demol AT univ-lille3.fr via athena Mailing List) <athena AT services.cnrs.fr>
To: "theuth AT listes.univ-rennes1.fr" <theuth AT listes.univ-rennes1.fr>, "athena AT services.cnrs.fr" <athena AT services.cnrs.fr>
Cc: Mark van Atten <vanattenmark AT gmail.com>, Alberto Naibo <Alberto.Naibo AT univ-paris1.fr>, maël P <maelpegny AT gmail.com>, Pierre Mounier <mounier AT msh-paris.fr>, Shahid Rahman <shahid.rahman AT univ-lille3.fr>, Mathieu Giraud <mathieu.giraud AT univ-lille1.fr>, "Yann.Secq AT univ-lille1.fr" <Yann.Secq AT univ-lille1.fr>, Gilles Dowek <gilles.dowek AT inria.fr>
Subject: [ATHENA] séminaire “Réflexions sur les processus de calcul, d’information et de programmation” -- 2ième séance jeudi 25 février à Lille
Date: Thu, 18 Feb 2016 13:23:09 +0100
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 deuxième séance de l’axe “Interactions entre logique, calcul et linguistique” du séminaire “Réflexions sur les processus de calcul, d’information et de programmation”, jeudi 25 Février à 14h, Auditorium Ircica, 50 avenue Halley, Parc scientifique de la Haute Borne, Villeneuve d'Ascq, avec la participation de:

Philip Wadler (University of Edinburgh), Propositions as Types

Cette séance est co-organisé avec CRIStAL et INRIA Lille.

Résumé, programme détaillé et les slides des exposés de la premiè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” -- 2ième séance jeudi 25 février à Lille, Liesbeth De Mol, 18/02/2016
- [ATHENA] Annulation 2ième séance séminaire “Réflexions sur les processus de calcul, d’information et de programmation”, Liesbeth De Mol, 24/02/2016

Archives gérées par MHonArc 2.6.18.