Accéder au contenu.
Menu Sympa

athena - [Athena] Séminaire "Interactions entre informatique, logique et langage: Deuxième séance 25 Février

athena AT services.cnrs.fr

Objet : Histoire des techniques

Archives de la liste

[Athena] Séminaire "Interactions entre informatique, logique et langage: Deuxième séance 25 Février


Chronologique Discussions 
  • From: Liesbeth De Mol <liesbeth.demol AT univ-lille3.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>, Shahid Rahman <shahid.rahman AT univ-lille3.fr>
  • Subject: [Athena] Séminaire "Interactions entre informatique, logique et langage: Deuxième séance 25 Février
  • Date: Tue, 17 Feb 2015 08:28:22 +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 du séminaire "Interactions entre informatique, logique et langage: histoire et philosophie", 25 Février 2014, à 14h, STL, Lille 3, Salle D. Corbin (Bât. B, salle B1 661) avec les interventions suivantes:

Amirouche Moktefi (Tallin University of Technology), A Boolean legacy: the problem of elimination in the algebra of logic
Pierre Mounier-Kuhn (CNRS, Paris 1 et Centre Koyré), Logique et informatique: filiation ou rencontre

Résumés, programme détaillé, des textes relevants aussi que les slides des exposés de la première séance sont maintenant disponsibles sur le nouveau site web du séminaire: http://calcul.hypotheses.org

Organisateurs: Liesbeth De Mol (CNRS/STL, Université de Lille 3), Alberto Naibo (IHPST, Université Paris 1 Panthéon-Sorbonne, CNRS, ENS), Shahid Rahman (STL, Université de Lille 3) et Mark van Atten (CNRS/SND, Université Paris-Sorbonne)

Ce séminaire est en partenariat avec le séminaire "Histoire et Philosophie de l'Informatique : pratiques, concepts, méthodes" organisé à l'IHPST (Université Paris 1 Panthéon-Sorbonne, CNRS, ENS). Voir ici pour l'annonce.

cordialement,
Liesbeth.



  • [Athena] Séminaire "Interactions entre informatique, logique et langage: Deuxième séance 25 Février, Liesbeth De Mol, 17/02/2015

Archives gérées par MHonArc 2.6.18.

Haut de le page