Conférences et séminaires organisés depuis 2006
APR
- 12/03/2020: [Séminaire APR] Sémantique des programmes probabilistes
- 20/02/2020: [Séminaire APR] Toward more generic and robust constraint solvers
- 23/05/2019: Michelson : langage de smart-contracts de la blockchain Tezos
- 13/05/2019: Developments in Property-Based Testing
- 28/03/2019: An abstract domain for trees with numeric relations
- 21/03/2019: Questions de l’heure en combinatoire algébrique.
- 14/03/2019: Get rid of inline assembly through trustable verification-oriented lifting
- 07/03/2019: Lasp: Elements of a programming language for edge computing
- 21/02/2019: Towards verified modelling of Digital Signal Processing algorithms
- 08/11/2018: Une introduction à l'analyse topologique de données
- 18/10/2018: "MrPython: Terre de Contraste: Entre Tradition et Modernité" (titre provisoire)
- 11/10/2018: Tierless Web programming in ML
- 14/06/2018: Relational summaries for interprocedural analysis
- 31/05/2018: Développement de programmes impératifs par raffinements, au sein de l'assistant de preuves Coq
- 17/05/2018: Nouvelle Algorithmique pour le Calcul Polyédral via Programmation Linéaire Paramétrique
- 12/04/2018: Complexité Causale des Processus
- 15/03/2018: La reconnaissance de motifs hybride. Application aux flots de liens.
- 15/12/2017: Link Stream Edition: Sparse Split and Bi-Sparse Split
- 14/12/2017: Language-integrated queries: a BOLDR approach
- 07/12/2017: Spacetime Programming: A Synchronous Language for Combinatorial Exploration
- 23/11/2017: Ada and SPARK - Defense in Depth for Safe Micro-controller Programming
- 09/11/2017: Cubicle : a model checker for parameterized array-based transition systems.
- 27/10/2017: Etude de l’efficacite d’un code correcteur et cycles dans son graphe de Tanner
- 13/10/2017: F-M-DELETION paramétré par la largeur arborescente.
- 18/09/2017: Statistical Similarity of Binaries; At Scale
- 22/06/2017: Séminaire APR: Advances in the combinatorial characterization of correlation-immune Boolean functions
- 24/02/2017: Séminaire APR: On static malware detection
- 26/01/2017: Séminaire APR: Synthesizing Ranking Functions From Bits and Pieces
- 15/01/2017: 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017)
- 24/11/2016: Le langage Leibniz pour le calcul scientifique
- 10/11/2016: Introduction aux /blockchains/.
- 16/06/2016: Post-modern C++ and C++17 abstractions for heterogeneous computing with Khronos OpenCL SYCL
- 09/06/2016: Merlin : des EDIs modernes pour OCaml... et Reason
- 07/04/2016: Sous le capot du MOOC OCaml
- 24/03/2016: Verifying clock-directed modular code generation for Lustre
- 04/02/2016: Static Analysis by Abstract Interpretation of Functional Properties of Device Drivers in TinyOS
- 10/12/2015: On the Expressiveness of Asynchronous Multiparty Sessions
- 27/11/2015: Abstracting Gradual Typing
- 08/06/2015: Journée en l'honneur de Christian Queinnec
- 14/04/2015: Renouveau de l'intégration en OCaml
- 10/04/2015: Un cadre formel adapté aux réseaux de robots mobiles.
- 27/03/2015: Higher Order Fixpoint Logic: Expressiveness and Descriptive Complexity
- 24/03/2015: Théorie des types pour les concepteurs de circuits. Le cas du langage CAPH.
- 20/03/2015: Programmation BSP à la ML : exemples, utilisation pour la vérification de codes et perspectives pour les architectures hiérarchiques
- 13/03/2015: Verification of embedded C software using static analysis by abstract interpretation
- 06/03/2015: Motivations for Bernoulli measures on heap monoids
- 27/01/2015: FreeFem++, un logiciel de résolution numérique d'équations aux dérivés partielles
- 09/12/2014: State of the Mirage: an OCaml unikernel
- 16/06/2014: 25th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms
- 10/04/2014: Borner la consommation de mémoire dynamique
- 13/03/2014: Representation and simulation of dynamical systems with a high degree of combinatorial explosion
- 27/02/2014: Types you can count on: Like types for JavaScript
- 13/02/2014: Analyse de l'utilisation mémoire des applications OCaml sans changer leur comportement
- 30/01/2014: [ANNULATION] Analyse de l'utilisation mémoire des applications OCaml sans changer leur comportement
- 20/06/2013: De l'interaction entre granularités fonctionnelle et modulaire
- 23/05/2013: Mosh: A State-of-the-Art Good Old-Fashioned Mobile Shell
- 25/04/2013: Compiler Testing via a Theory of Sound Optimisations in the C11/C++11 Memory Model
- 11/04/2013: Use formal methods to verify an Ada program with SPARK2014
- 28/03/2013: OCaml-Java : OCaml sur la JVM
- 21/03/2013: On the provenance of Free and Open Source Software and the legal implications of its reuse
- 14/03/2013: Patoline : la typographie "lego" en OCaml
- 28/02/2013: Harmony : Une plate-forme d'observation de l'évolution logicielle
- 14/02/2013: Le sens du partage
- 31/01/2013: Hosting and Automation at the OSUOSL
- 14/11/2012: Proving cryptographic schemes in Agda Dependently typed functional programming for Alice and Bob
- 15/10/2012: Analysis of an exhaustive search algorithm in random graphs and the n^{c log n}-asymptotics,
- 14/12/2011: Conférence "Philippe Flajolet et la Combinatoire Analytique"