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