Accéder au contenu.
Menu Sympa

athena - [ATHENA] séminaire “Réflexions sur les processus de calcul, d’information et de programmation” -- 2ième séance jeudi 25 février à Lille

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


Chronologique Discussions 
  • 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.



Archives gérées par MHonArc 2.6.18.

Haut de le page