Lieu: SND, Université Paris-Sorbonne, Maison de la Recherche, 28 rue Serpente, salle D223
Nous avons le plaisir de vous annoncer la cinquième séance du séminaire “Interactions entre informatique, logique et langage: histoire et philosophie”, Vendredi 15 Mai à 14.30h, SND, Université Paris-Sorbonne, Maison de la Recherche, 28 rue Serpente, salle D223, avec la participation de Per Martin-Löf (Stockholm University) et Göran Sundholm (Leiden University)