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