17/03/2026
11 h : Compiling Higher-Order Bayesian Networks
Gabriele Vanoni (IRIF, Université Paris Cité)
A fascinating connection has recently been exposed [Low et al. 2014] between quantum circuits and Bayesian Networks [Pearl 1988], the latter being a prominent tool for probabilistic reasoning. Such a line of research exploits the power of quantum computing to accelerate Bayesian …
Salle 428, couloir 26-00, 4 place Jussieu - 75005 Paris
Gabriele Vanoni (IRIF, Université Paris Cité)
A fascinating connection has recently been exposed [Low et al. 2014] between quantum circuits and Bayesian Networks [Pearl 1988], the latter being a prominent tool for probabilistic reasoning. Such a line of research exploits the power of quantum computing to accelerate Bayesian …
Salle 428, couloir 26-00, 4 place Jussieu - 75005 Paris
24/03/2026
11 h : Towards Reliable and Efficient Numerical Code through Sound Optimizations
Anastasia Isychev (TU Wien)
Numerical software is notoriously difficult to get right. Finite-precision computations do not follow real-valued arithmetic rules and can therefore exhibit unintended behavior, in particular, due to rounding errors. Finding an implementation that is not only accurate but also ef …
Salle 428, couloir 26-00, 4 place Jussieu - 75005 Paris
Anastasia Isychev (TU Wien)
Numerical software is notoriously difficult to get right. Finite-precision computations do not follow real-valued arithmetic rules and can therefore exhibit unintended behavior, in particular, due to rounding errors. Finding an implementation that is not only accurate but also ef …
Salle 428, couloir 26-00, 4 place Jussieu - 75005 Paris
