Collection Logique de la programmation probabiliste / Logic of Probabilistic Programming

Organizer(s) Avanzini, Martin ; Ehrhard, Thomas ; Faggian, Claudia ; Vaux Auclair, Lionel
Date(s) 31/01/2022 - 04/02/2022
linked URL https://conferences.cirm-math.fr/2686.html

All the collection videos (3)

01:01:47

published on February 21, 2022

Mathematical foundations of automatic differentiation - a tutorial

By Matthijs Vákár

01:24:22

published on February 21, 2022

Probabilistic model checking for strategic equilibria-based decision making: Part 1

By Marta Kwiatkowska

01:27:38

published on February 21, 2022

An introduction to statistical modelling semantics with higher-order measure theory

By Ohad Kammar

Mathematics
and Interactions

Master Class Lycéennes Séphora Berrebi

Séminaire Parisien de Statistique

One question, One researcher

Clément Delcamp : Topological Symmetry and Duality in Quantum Lattice Models

Collection Logique de la programmation probabiliste / Logic of Probabilistic Programming

Mathematical foundations of automatic differentiation - a tutorial

Probabilistic model checking for strategic equilibria-based decision making: Part 1

An introduction to statistical modelling semantics with higher-order measure theory

Random walks on simplicial complexes

Random Matrices and Dynamics of Optimization in Very High Dimensions (4/4)

Random Matrices and Dynamics of Optimization in Very High Dimensions (3/4)

Random Matrices and Dynamics of Optimization in Very High Dimensions (1/4)

Particle Approximation of the Doubly Parabolic Keller-Segel Equation in the Plane

Beauty of Life seen through Keyhole of Mathematics (4/4)

Cohomology of real algebraic varieties and sums of squares

Random walks on simplicial complexes

Imaginary Liouville conformal field theory

SageMath: research and experimentation in Combinatorics - Lecture 1