Conférences et séminaires organisés depuis 2006

APR

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