Invited talk: Connecting Probabilistic Programming Theory to Applications in Stan
Stan is a widely used probabilistic programming language, whose development has been driven, primarily, by applications in statistics. Despite its established role in computational statistics, it has been studied little in the programming languages (PL) community. In this talk, I will highlight some of the interesting PL features of Stan as well as some of the challenges and opportunities for research it raises for our discipline.
Tue 15 Jan Times are displayed in time zone: Greenwich Mean Time : Belfast change
|09:00 - 09:30|
|Probabilistic Lambda Calculus: Beyond Deterministic Evaluation|
|09:30 - 10:30|
|Invited talk: Connecting Probabilistic Programming Theory to Applications in Stan|
Matthijs VákárUniversity of OxfordFile Attached