Laboratoire d'informatique de l'École polytechnique

Séminaire commun Comète-Parsifal

Ce séminaire accueille aussi bien des orateurs locaux que les visiteurs accueillis dans ces 2 équipes. Ce séminaire est un lieu d'échange et de fertilisation croisée des idées entre les 2 équipes, puisque la logique computationnelle et la théorie de la concurrence jouent un rôle important dans les fondements de leurs recherche.

Past events

Comète Seminar - Talks by Laurent Fribourg and Catuscia Palamidessi 2017-11-02

Comète Seminar - Talk by Radu Madare and Camilo Rocha 2017-10-26

Talk by Julian Gutierrez: «Nash Equilibrium and Bisimulation Invariance» 2017-09-27

Talk by Rob van Glabbeek: «Congruence Formats in Structural Operational Semantics» 2017-09-12

Talk by G. Cherubin: «Bayes, not Naïve: Security Bounds on Website Fingerprinting Defenses» 2017-05-17

Talk by Prof. Moreno Falaschi, «Slicing Concurrent Constraint Programs» 2016-10-18

«Open Multiparty Interactions in the link-calculus», talk by Linda Brodo 2016-10-11

Comete Seminar : «Automated Verification of e-Exam Protocols» 2016-08-30