5 janvier 2015
Ce document est lié à :
info:eu-repo/semantics/reference/issn/2266-0720
info:eu-repo/semantics/openAccess
Florence THILL, « Séminaire « Interactions entre informatique, logique et langage : histoire et philosophie » », STL-Actualités, ID : 10.58079/ukys
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) 1ère séance : Mercredi 21 janvier 2015, 14h-17h, Université Lille 3, Bât. B, salle Danielle Corbin (B1.661) Giuseppe Primiero (Middlesex University) : « Software Theory Change for resilient near-complete specifications » Yonathan Ginzburg (Université de Paris VII) : « Q...