Conferences and seminars since 2006
APR
- 03/12/2020: [Séminaire APR] Sémantique des programmes probabilistes
- 02/20/2020: [Séminaire APR] Toward more generic and robust constraint solvers
- 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
- 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.
- 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: 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017)
- 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
- 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
- 12/09/2014: State of the Mirage: an OCaml unikernel
- 06/16/2014: 25th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms
- 04/10/2014: Borner la consommation de mémoire dynamique
- 03/13/2014: Representation and simulation of dynamical systems with a high degree of combinatorial explosion
- 02/27/2014: Types you can count on: Like types for JavaScript
- 02/13/2014: Analyse de l'utilisation mémoire des applications OCaml sans changer leur comportement
- 01/30/2014: [ANNULATION] Analyse de l'utilisation mémoire des applications OCaml sans changer leur comportement
- 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
- 11/14/2012: Proving cryptographic schemes in Agda Dependently typed functional programming for Alice and Bob
- 10/15/2012: Analysis of an exhaustive search algorithm in random graphs and the n^{c log n}-asymptotics,
- 12/14/2011: Conférence "Philippe Flajolet et la Combinatoire Analytique"