Date: Tuesday, December 3rd 2024 – 13h00Place: A008Title: The Automation of Mathematics in Practice This presentation provides an overview of automated systems actively used in proving mathematical theorems, focusing on the practical successes achieved by SAT solvers, first-order theorem provers, and interactive theorem provers.Additionally, we present our progress towards improving…
Date: Tuesday, November 3rd 2024 – 13h00Place: A008Title: SC-TPTP : étendre le format TPTP pour les preuves basées sur les séquents
Date: Monday, February 19th 2024 – 13h00Place: B013 (Bob)Title: Communicating automata and k-synchronizability Distributed systems are ubiquitous and their implementation is complex and error-prone. In order to check for errors, they can be modeled as systems of communicating automata, where each automaton represents the behavior of an element of the…
Date: Thursday, March 14th 2024 – 13h00Place: visioTitle: Conception d’un prouveur automatique basé sur les tableaux analytiques et production de preuves vérifiables La déduction automatique est l’utilisation de programmes informatique afin d’automatiquement prouver des théorèmes mathématiques. Elle trouve son intérêt dans la détection de bogues au sein de systèmes critiques…
Date: Friday, June 23rd 2023 – 14h00Place: C103Title: The TPTP World – Infrastructure for Automated Reasoning The TPTP World is a well known and established infrastructure that supports research, development, and deployment of Automated Theorem Proving (ATP) systems for classical logics. The data, standards, and services provided by the TPTP World…
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.
Date: June 17, 2022 Place: Alice and Bob (B11-B13) Chair: Emmanuel Jeandel 9h30-10h00 Welcome 10h00-10h30 Dylan Marinho Guaranteeing Timed Opacity using Parametric Timed Model Checking Information leakage can have dramatic consequences on systems security. Among harmful information leaks, the timing information leakage occurs whenever an attacker successfully deduces confidential internal…
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…
