Title : Computable Functions in Anonymous NetworksDate: Tuesday, May 23rd 2023 – 14h00Place: C103 Abstract: In this talk, we present several computability results in anonymous networks with broadcast communications. First, we recall the characterization, given by Boldi and Vigna, of the computable functions when agents have no information on their outgoing neighborhoods. Then we…
Title : Guaranteed properties of dynamical systems under perturbations.Date: Wednesday, May 3rd, 2023 – 14h00.Place: B013 Abstract : Since dynamical systems has a major impact on human development, especially critical systems that can put human lives at risk if something goes wrong. Hence, the need of studying the behavior of these systems in order to…
Date: Wednesday, April 5th, 2023 – 10h00. Place: to be announced. Title: Towards End-to-End Formal Verification of Voting Protocols.
Arnaud Spiwack (Tweag) Date: Thursday, May 12 2022 – 11h00 Place: B013 Title: Linear Haskell Since 2016, I’ve been leading the effort to supplement the functional programming language Haskell with linear typing (in the sense of linear logic). That is you can write a type of functions which are allowed…
Souheib BAARIR (Sorbonne Université – LIP6) Date: Friday, April 29 2022 – 13h00 Title: Contributions to the analysis of discrete systems through proportional satisfiability Despite its NP-Completeness, propositional satisfiability (SAT) covers a broad spectrum of applications. Nowadays, it is an active research area finding its applications in many contexts: planning…
