website: news updates

website/blog/2022-10-10-whatsapp-privacy-aware-program-analysis.md

@@ -1,7 +1,7 @@
 ---
-slug: whatsapp-privacy-aware-program-analysis
 title: Winner of the 2022 WhatsApp Privacy Aware Program Analysis Request for Proposals
 authors: phisch
+tags: [grants]
 ---
 
 

website/blog/2023-09-28-oopsla23.md

@@ -1,5 +1,4 @@
 ---
-slug: oopsla23
 title: Paper Accepted at OOPSLA '23
 authors: phisch
 tags: [publications]

website/blog/2023-10-27-oopsla23-distinguished-artifact.md

@@ -1,5 +1,4 @@
 ---
-slug: oopsla23-distinguished-artifact
 title: Distinguished Artifact at OOPSLA '23 
 authors: phisch
 tags: [publications]

website/blog/2024-01-14-dafny-2024-talk.md

@@ -0,0 +1,12 @@
+---
+title: Talk at the Dafny 2024 Workshop
+authors: phisch
+tags: [talks]
+---
+
+On January 14, 2024, I presented Caesar and the basics of our quantitative intermediate language HeyVL at the [Dafny 2024 workshop](https://popl24.sigplan.org/home/dafny-2024).
+The workshop was part of the POPL 2024 conference.
+
+<iframe width="560" height="315" src="https://www.youtube-nocookie.com/embed/ZLcDieBq05o?si=Cy36J26qvXpckR3q&amp;start=26188" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share" allowfullscreen></iframe>
+
+The talk starts at timestamp 7:16:23 and ends at timestamp 7:34:00.

website/blog/2024-01-18-erc-poc-grant.md

@@ -0,0 +1,13 @@
+---
+title: ERC Proof of Concept Grant
+authors: phisch
+tags: [grants]
+---
+
+
+We are happy to announce that RWTH's [MOVES group](https://moves.rwth-aachen.de/), headed by Prof. Joost-Pieter Katoen, will receive funding from the European Research Council (ERC) for a [Proof of Concept Grant](https://erc.europa.eu/apply-grant/proof-concept) to improve Caesar.
+
+Caesar was originally built in part through [FRAPPANT](https://moves.rwth-aachen.de/research/projects/frappant/), the 2018 ERC Advanced Grant "Formal Reasoning about Probabilistic Programs: Breaking New Ground for Automation".
+The new ERC Proof of Concept research proposal "A Deductive Verifier for Probabilistic Programs (VERIPROB)" is about applying knowledge from FRAPPANT to build Caesar into a prototype that can be made use of by industry — "to turn science into practice".
+
+See also the [press release by the university](https://www.rwth-aachen.de/cms/root/die-rwth/aktuell/pressemitteilungen/januar/~bfqqei/die-arbeit-mit-der-wahrscheinlichkeit/?lidx=1) and [the ERC announcement](https://erc.europa.eu/news-events/news/Proof-of-Concept-Grants-2023).