Bonjour,
Une séance du GdT Logique et programmation est prévue pour ce vendredi,
19 février 2016, à 11h. Elle sera animée par Luc, qui nous présentera
un algorithme pour décider si un point est dans la sémantique
relationnelle d'un réseau, sous condition que ce réseau soit "connexe"
dans un sens approprié.
Attention : ni Domeniconi moi pourrons être présents à cette séance.
Pour cette raison, il faudra que quelqu'un de vous se charge d'ouvrir la
salle B 107. Les clés sont dans le tiroir de mon bureau. S'il vous
plaît remettez-les à leur place après les avoir utilisées !
Je profite pour vous annoncer les prochaines séances du séminaire/gdt :
26/02 : réunion (mail de Stefano à venir) + exposé libre
04/03 : Yoann Marquer (post-doc IRIF/LIAFA)
18/03 : Giulio Guerrieri (post-doc IRIF/PPS)
Amicalement,
Damiano
