slides 2024 FM

tlaplus · Sep 10, 2024 · 6b1dec6 · 6b1dec6
1 parent 4115799
commit 6b1dec6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/content/2024-fm/_index.md b/content/2024-fm/_index.md
@@ -19,7 +19,7 @@ Piazza Leonardo da Vinci<br>
 Room 3.1.7
 
 
-### Preliminary program
+### Program
 
 time (CEST)  | title  | speaker | affiliation | slides | 
 ------|--------|---------|--------|------------|
@@ -34,7 +34,7 @@ _12:30_ |	*Lunch* |
 15:20 | *Coffee Break* |
 15:50 | Validating Traces of Distributed Programs Against TLA+ Specifications | [Stephan Merz](https://members.loria.fr/SMerz/) | Inria | [pdf](/2024-fm/slides-merz.pdf) | 
 16:20 | [A Model-Based Approach for the Formal Verification of Specifications](/2024-fm/samokish.pdf) | Andrew Samokish | LMF & Knowledge Inside |  |
-16:50 | Towards TLAPS IDE | [Karolis Petrauskas](http://karolis.5grupe.lt/home/) | Vilnius University |  |
+16:50 | Towards TLAPS IDE | [Karolis Petrauskas](http://karolis.5grupe.lt/home/) | Vilnius University | [pdf](/2024-fm/slides-petrauskas.pdf) |
 17:20 | On Proof Support in Event-B and TLA | [Jean Paul Bodeveix](https://www.irit.fr/~Jean-Paul.Bodeveix/), [Mamoun Filali](https://www.irit.fr/~Mamoun.Filali/) & Anne Grieu | University of Toulouse & IRIT |  |
 17:50 | End of the meeting |
 

diff --git a/static/2024-fm/slides-petrauskas.pdf b/static/2024-fm/slides-petrauskas.pdf