[Athena] séminaire "Interactions entre informatique, logique et langage: rappel première séance 21 janvier

[Liesbeth De Mol <liesbeth.demol AT univ-lille3.fr>]

Cher.es collègues,

je me permets de vous rappeler que la première séance du séminaire "Interactions entre informatique, logique et langage: histoire et philosophie" se tiendra demain, le mercredi 21 Janvier de 14h à 17h à STL, Université de Lille 3, Salle D. Corbin (Bât. B, salle B1 661) avec les interventions suivantes:

Giuseppe Primiero (Middlesex University), /Software Theory Change for resilient near-complete specifications/

Yonathan Ginzburg (Université de Paris VII), /Quotation, Diagonalization, and Dialogue/

Résumés et programme détaillé sont consultable ici.

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.