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

[Liesbeth De Mol <liesbeth.demol 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.