[Athena] séminaire "Interactions entre informatique, logique et langage", première séance 21 Janvier à Lille

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

Cher.es collègues,

Nous avons le plasir de vous annoncer la première séance du séminaire "Interactions entre informatique, logique et langage: histoire et philosophie", 21 Janvier 2015, à 14h, STL, 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.