Nous avons le plaisir de vous annoncer la deuxième séance de l’axe “Interactions entre logique, calcul et linguistique” du séminaire “Réflexions sur les processus de calcul, d’information et de programmation”, le jeudi 25 Février à 14h, Auditorium Ircica, 50 avenue Halley, Parc scientifique de la Haute Borne, Villeneuve d’Ascq, avec la participation de Philip Wadler.
Cette séance est co-organisé avec CRIStAL et INRIA Lille.