POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States
POPL 2025 (series) / LAFI 2025 (series) / LAFI 2025 /

Closing remarks

LAFI 2025
Sun 19 Jan 2025 17:28 - 17:30 at Peek-A-Boo - Fourth session Chair(s): Atılım Güneş Baydin

Sun 19 Jan

Displayed time zone: Mountain Time (US & Canada) change

16:00 - 17:30
Fourth sessionLAFI at Peek-A-Boo
Chair(s): Atılım Güneş Baydin University of Oxford
16:00
15m
Talk
Partially Evaluating Higher-Order Probabilistic Programs without Stochastic Recursion to Graphical Models (Remote)
LAFI
Christian Weilbach University of British Columbia, Frank Wood University of Oxford
16:16
15m
Talk
State Space Model Programming in Turing.jl
LAFI
Tim Hargreaves Department of Engineering, University of Cambridge, Qing Li Department of Engineering, University of Cambridge, Charles Knipp Federal Reserve Board of Governors, USA, Frederic Wantiez , Simon J. Godsill Department of Engineering, University of Cambridge, Hong Ge University of Cambridge
File Attached
16:32
55m
Other
Poster session
LAFI

17:28
2m
Day closing
Closing remarks
LAFI
Atılım Güneş Baydin University of Oxford
Atılım Güneş Baydin

Atılım Güneş Baydin

University of Oxford