Last slide deck 2025

Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>

Author: lemmy

content/2025-etaps/_index.md

@@ -51,7 +51,7 @@ Participants will be required to register to ETAPS 2025.
 | 11:15 | *Translating C to PlusCal for Model Checking of Safety Properties on Source Code* | [Guillaume DI FATTA](https://www.linkedin.com/in/guillaume-di-fatta-0441a3253/), [Emmanuel Ohayon](https://scholar.google.fr/citations?user=nYVf510AAAAJ&hl=fr), and [Amira Methni](https://dblp.org/pid/167/5040.html)| Asterios Technologies | [abstract](di-fatta.pdf), [slides](di-fatta-slides.pdf) | [video](https://youtu.be/0A5qMWvFgdI), [Q&A](https://youtu.be/NgYIS02EUnI) |
 | 12:00 | *TLA+ for All: Model Checking in a Python Notebook* | [Konstantin Läufer](https://laufer.cs.luc.edu) & [George K. Thiruvathukal](https://gkt.sh) | Loyola University Chicago | [abstract](laufer.pdf), [slides](laufer-slides.pdf) |[video](https://youtu.be/726oDQQRxBQ) |
 | _12:30_ | *Lunch* | | | | |
-| 14:00 | *Formal models for monotonic pipeline architectures* | [J.-P. Bodeveix](https://dblp.org/pid/97/1837.html), [A. Bonenfant](https://scholar.google.fr/citations?user=8k2MVLYAAAAJ&hl=fr), [T. Carle](https://scholar.google.fr/citations?user=3iKALIoAAAAJ&hl=sr), [M. Filali](https://dblp.org/pid/60/599.html), [C. Rochange](https://www.irit.fr/~Christine.Rochange/) | | [abstract](filali.pdf), [slides]() | [video](https://youtu.be/6mTGeNVkKZo) |
+| 14:00 | *Formal models for monotonic pipeline architectures* | [J.-P. Bodeveix](https://dblp.org/pid/97/1837.html), [A. Bonenfant](https://scholar.google.fr/citations?user=8k2MVLYAAAAJ&hl=fr), [T. Carle](https://scholar.google.fr/citations?user=3iKALIoAAAAJ&hl=sr), [M. Filali](https://dblp.org/pid/60/599.html), [C. Rochange](https://www.irit.fr/~Christine.Rochange/) | | [abstract](filali.pdf), [slides](filali-slides.pdf) | [video](https://youtu.be/6mTGeNVkKZo) |
 | 14:45 | *TLA+ Modeling of MongoDB Transactions* | [Murat Demirbas](https://www.linkedin.com/in/murat-demirbas-distributolog-a2233b176/) & [Will Schultz](https://www.linkedin.com/in/william-schultz-a22714a2/) | MongoDB | [abstract](demirbas.pdf), [slides](demirbas-slides.pdf) | [video](https://youtu.be/fIWUo4gzvNE) |
 | 15:30 | *Are We Serious About Using TLA+ For Statistical Properties?* | [A. Jesse Jiryu Davis](https://emptysqua.re) | MongoDB | [txt](davis.txt), [slides](davis-slides.pdf) | [video](https://youtu.be/Wekywox2Ghk) |
 | _16:00_ | *Coffee Break* | | | | |