QEST + FORMATS 2025 Keynote Talk
· One min read
On August 26, 2025, Christoph Matheja gave the opening keynote talk at QEST + FORMATS 2025 in Aarhus, Denmark titled "Automating Proof Rules for Probabilistic Programs", featuring Caesar and HeyVL.
On August 26, 2025, Christoph Matheja gave the opening keynote talk at QEST + FORMATS 2025 in Aarhus, Denmark titled "Automating Proof Rules for Probabilistic Programs", featuring Caesar and HeyVL.