Séminaire R3S présenté par Richard Waldinger le 25/06/2018 à 14h00 en amphi. Etoile TSP

Quand: le lundi 25 juin 2018, à 14h00 Où:Amphi. Etoile, à Télécom SudParis (Evry) Titre: Natural Language Access to Knowledge: Where Reasoning Makes Sense Richard Waldinger Artificial Intelligence Center SRI…

Continuer la lectureSéminaire R3S présenté par Richard Waldinger le 25/06/2018 à 14h00 en amphi. Etoile TSP

Séminaire SAMOVAR/R3S présenté par Emilio J. Gallego-Arias, le 5/06/2018 en G09

Title: Towards formally-verified Solidity specifications Quand: le mardi 05 juin 2018 à 14h00 Où: Salle G09, Télécom SudParis, Evry. Abstract: In the last few years, permission-less distributed execution platforms have…

Continuer la lectureSéminaire SAMOVAR/R3S présenté par Emilio J. Gallego-Arias, le 5/06/2018 en G09

Séminaire Samovar présenté par Sylvain Le Corff le 30 mai 2018 à 14h00 en G08

Title: Practical and theoretical challenges for partially observed models. Quand: Le mercredi 30 mai 2018 à 14h00 Où: en salle G08, à Télécom SudParis (Evry) Abstract This talk introduces challenging…

Continuer la lectureSéminaire Samovar présenté par Sylvain Le Corff le 30 mai 2018 à 14h00 en G08