Retour à l'index du GREYC

Séminaire Algorithmique

Site du CNRS

Séminaire Algorithmique

Le séminaire a lieu le mardi à 11 h 45 (sauf modification exceptionnelle), au campus Côte de Nacre, bâtiment Sciences 3, salle S3 351, 3ème étage.

Résumé du séminaire du Mardi 18 Janvier 2011

Formule logiques, jeux et protocoles réseau

par Yves Legrandgerard (PPS, Paris 7)

Une relation remarquable entre une notion fondamentale de logique - celle de formule du calcul des prédicats - et la spécification de protocoles réseau.

GREYC
Campus Côte de Nacre, boulevard du Maréchal Juin
BP 5186
14032 Caen Cedex
FAX : +33 (0)2 31 56 73 30
http://www.greyc.fr