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.

Talk by Raphaëlle Crubillé: «On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem» 2020-01-21

Talk by Valeria Vignudelli: «A powerset construction for nondeterministic and probabilistic systems» 2020-01-16

talk by Karima Makhlouf and Sami Zhioua: «Intuitive Introduction to Fairness and Privacy in Machine Learning» 2019-11-29

Talk by Ashish Dandekar: «Calibration of noise for a privacy-preserving mechanism» 2019-11-22

Talk by G. Loukides: «String sanitization: a combinatorial approach» 2019-10-31

Talk by Reza Shokri: «Trusting Machine Learning: Privacy, Robustness, and Interpretability Challenges» 2019-07-01

Talk by Amina Doumane: «Completeness for identity-free Kleene Lattices» 2019-02-19

Talk by Prakash Panangaden: «Quantitative Equational Logic» 2018-02-12

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