Computer Science Laboratory Sorbonne Université - CNRS UMR 7606

LIP6 supports the Pink October campaign for breast cancer awareness.

All current and past events

APR

2026

05/19/2026: Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
03/31/2026: Reachability of quantified problems to guarantee control and neural network properties
03/24/2026: Towards Reliable and Efficient Numerical Code through Sound Optimizations
03/17/2026: Compiling Higher-Order Bayesian Networks
03/10/2026: Observation Petri nets
02/24/2026: Memory Allocators: Formal Verification and Evaluation
02/17/2026: Static Typing of Dynamic Languages: A set-theoretic type algebra for the R language
02/10/2026: A Journey into the (In)Completeness of Program Analysis by Abstract Interpretation
01/27/2026: Detecting of timing leaks of programs using parametric timed model checking

2025

03/27/2025: Thin spans and their modelling of rigid intersection types
03/18/2025: Sound static analysis of modern software architectures
03/06/2025: Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation

2024

11/14/2024: [ERC TORI] Challenges and Accomplishments of the "Full Field" Inference Method BORG (Bayesian Origin Reconstruction from Galaxies)

2020

03/12/2020: [Séminaire APR] Sémantique des programmes probabilistes
02/20/2020: [Séminaire APR] Toward more generic and robust constraint solvers

2019

05/23/2019: Michelson : langage de smart-contracts de la blockchain Tezos
05/13/2019: Developments in Property-Based Testing
03/28/2019: An abstract domain for trees with numeric relations
03/21/2019: Questions de l’heure en combinatoire algébrique.
03/14/2019: Get rid of inline assembly through trustable verification-oriented lifting
03/07/2019: Lasp: Elements of a programming language for edge computing
02/21/2019: Towards verified modelling of Digital Signal Processing algorithms

2018

11/08/2018: Une introduction à l'analyse topologique de données
10/18/2018: "MrPython: Terre de Contraste: Entre Tradition et Modernité" (titre provisoire)
10/11/2018: Tierless Web programming in ML
06/14/2018: Relational summaries for interprocedural analysis
05/31/2018: Développement de programmes impératifs par raffinements, au sein de l'assistant de preuves Coq
05/17/2018: Nouvelle Algorithmique pour le Calcul Polyédral via Programmation Linéaire Paramétrique
04/12/2018: Complexité Causale des Processus
03/15/2018: La reconnaissance de motifs hybride. Application aux flots de liens.

2017

12/15/2017: Link Stream Edition: Sparse Split and Bi-Sparse Split
12/14/2017: Language-integrated queries: a BOLDR approach
12/07/2017: Spacetime Programming: A Synchronous Language for Combinatorial Exploration
11/23/2017: Ada and SPARK - Defense in Depth for Safe Micro-controller Programming
11/09/2017: Cubicle : a model checker for parameterized array-based transition systems.
10/27/2017: Etude de l’efficacite d’un code correcteur et cycles dans son graphe de Tanner
10/13/2017: F-M-DELETION paramétré par la largeur arborescente.
09/18/2017: Statistical Similarity of Binaries; At Scale
06/22/2017: Séminaire APR: Advances in the combinatorial characterization of correlation-immune Boolean functions
02/24/2017: Séminaire APR: On static malware detection
01/26/2017: Séminaire APR: Synthesizing Ranking Functions From Bits and Pieces
01/15/2017: 44^th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017)

2016

11/24/2016: Le langage Leibniz pour le calcul scientifique
11/10/2016: Introduction aux /blockchains/.
06/16/2016: Post-modern C++ and C++17 abstractions for heterogeneous computing with Khronos OpenCL SYCL
06/09/2016: Merlin : des EDIs modernes pour OCaml... et Reason
04/07/2016: Sous le capot du MOOC OCaml
03/24/2016: Verifying clock-directed modular code generation for Lustre
02/04/2016: Static Analysis by Abstract Interpretation of Functional Properties of Device Drivers in TinyOS

2015

12/10/2015: On the Expressiveness of Asynchronous Multiparty Sessions
11/27/2015: Abstracting Gradual Typing
06/08/2015: Journée en l'honneur de Christian Queinnec
04/14/2015: Renouveau de l'intégration en OCaml
04/10/2015: Un cadre formel adapté aux réseaux de robots mobiles.
03/27/2015: Higher Order Fixpoint Logic: Expressiveness and Descriptive Complexity
03/24/2015: Théorie des types pour les concepteurs de circuits. Le cas du langage CAPH.
03/20/2015: Programmation BSP à la ML : exemples, utilisation pour la vérification de codes et perspectives pour les architectures hiérarchiques
03/13/2015: Verification of embedded C software using static analysis by abstract interpretation
03/06/2015: Motivations for Bernoulli measures on heap monoids
01/27/2015: FreeFem++, un logiciel de résolution numérique d'équations aux dérivés partielles

2014

2013

06/20/2013: De l'interaction entre granularités fonctionnelle et modulaire
05/23/2013: Mosh: A State-of-the-Art Good Old-Fashioned Mobile Shell
04/25/2013: Compiler Testing via a Theory of Sound Optimisations in the C11/C++11 Memory Model
04/11/2013: Use formal methods to verify an Ada program with SPARK2014
03/28/2013: OCaml-Java : OCaml sur la JVM
03/21/2013: On the provenance of Free and Open Source Software and the legal implications of its reuse
03/14/2013: Patoline : la typographie "lego" en OCaml
02/28/2013: Harmony : Une plate-forme d'observation de l'évolution logicielle
02/14/2013: Le sens du partage
01/31/2013: Hosting and Automation at the OSUOSL

2012

2011

12/14/2011: Conférence "Philippe Flajolet et la Combinatoire Analytique"