![[SCS]: CSI Talk - with Gabriele Vanoni, Higher-Order Bayesian Networks, Exactly](https://static.wixstatic.com/media/14e2bd_1d80cde7ab0b496ea20053a9d9c21f25~mv2.png/v1/fill/w_980,h_653,al_c,q_90,usm_0.66_1.00_0.01,enc_auto/14e2bd_1d80cde7ab0b496ea20053a9d9c21f25~mv2.png)
![[SCS]: CSI Talk - with Gabriele Vanoni, Higher-Order Bayesian Networks, Exactly](https://static.wixstatic.com/media/14e2bd_1d80cde7ab0b496ea20053a9d9c21f25~mv2.png/v1/fill/w_980,h_653,al_c,q_90,usm_0.66_1.00_0.01,enc_auto/14e2bd_1d80cde7ab0b496ea20053a9d9c21f25~mv2.png)
Do., 30. Nov.
|St. Gallen: B 64-103 Besprechungsraum
[SCS]: CSI Talk - with Gabriele Vanoni, Higher-Order Bayesian Networks, Exactly
Gabriele Vanoni explores Higher-Order Bayesian Networks, delving into an intriguing intersection of probabilistic models and programming languages. In this talk, he will demonstrate how advanced techniques rooted in linear logic, intersection types, rewriting theory, and Girard's geometry of interac
Time & Location
30. Nov. 2023, 14:00
St. Gallen: B 64-103 Besprechungsraum, Torstrasse 25, 9010 St. Gallen, Switzerland
About the event
Important this is an event organized by the School of Computer Science. It is not affiliated with the ACM Student Chapter!
Gabriele Vanoni explores Higher-Order Bayesian Networks, delving into an intriguing intersection of probabilistic models and programming languages. In this talk, he will demonstrate how advanced techniques rooted in linear logic, intersection types, rewriting theory, and Girard's geometry of interaction are combined in a novel way to provide a compositional and cost-aware semantics.