Séminaire « Interactions entre informatique, logique et langage : histoire et philosophie »
Responsables : Liesbeth De Mol (STL,CNRS / Université Lille 3), Alberto Naibo (IHPST, Université Paris 1 Panthéon-Sorbonne, ENS), Shahid Rahman (STL, Université Lille 3) et Mark van Atten (CNRS/SND, Université Paris-Sorbonne)
Prochaine séance : mercredi 25 févier 2015 , 14h-17h
Pierre Mounier-Kuhn (CNRS, Paris 1 et Centre Koyré) : « Logique et informatique: filiation ou rencontre ? »
Amirouche Moktefi (Tallinn University of Technology) : « A Boolean legacy: the problem of elimination in the algebra of logic »
voir le blog du séminaire
Université Lille 3, Bât. B, salle Danielle Corbin (B1.661)