preliminary program 2024-FM

content/2024-fm/_index.md

@@ -14,7 +14,27 @@ Milano, Italy<br>
 
 # TLA+ Community Event 2024
 
-### Co-organized with [FM 2024](https://www.fm24.polimi.it) in Milano (Italy), on September 10, 2024.
+### Preliminary program
+
+time (CEST)  | title  | speaker | affiliation | slides | 
+------|--------|---------|--------|------------|
+08:55 | Welcome & Opening Announcements | [Stephan Merz](https://members.loria.fr/SMerz/) | | |
+09:00 | [Apalache](https://apalache.informal.systems) Tutorial | [Igor Konnov](https://konnov.phd) |  |  |
+10:00 | Verifying Liveness Properties of Consensus Algorithms | [Giuliano Losa](https://www.losa.fr) | Stellar Foundation | |
+10:30 | *Coffee Break* |
+11:00 | Specifying BGP Using TLA+ | [Aman Shaikh](https://www.linkedin.com/in/aman-shaikh-798b48/) | Google |  |
+11:45 | Real Animation of TLA+ Models | [Michael Leuschel](https://www.cs.hhu.de/en/research-groups/software-engineering-and-programming-languages/our-team/team/michael-leuschel) & Jan Gruteser | HHU Düsseldorf |  |
+_12:30_ |	*Lunch* |
+14:00 | B+ or how to model system properties in a formal software model | [Thierry Lecomte](https://fr.linkedin.com/in/thierry-lecomte-19695b) | Clearsy |  |
+15:00 | Validation Traces of Distributed Programs Against TLA+ Specifications | [Stephan Merz](https://members.loria.fr/SMerz/) | Inria |  | 
+15:30 | *Coffee Break* |
+16:00 | A Model-Based Approach for the Formal Verification of Specifications | Andrew Samokish | LMF & Knowledge Inside |  |
+16:30 | Towards TLAPS IDE | [Karolis Petrauskas](http://karolis.5grupe.lt/home/) | Vilnius University |  |
+17:00 | 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:30 | End of the meeting |
+
+
+### Co-located with [FM 2024](https://www.fm24.polimi.it) in Milano (Italy), on September 10, 2024.
 
 [TLA+](https://lamport.azurewebsites.net/tla/tla.html) is a language that
 is used in academia and industry for formally specifying systems. It is
@@ -43,7 +63,9 @@ be given by July 15, 2024.
 There will not be formal proceedings, but the abstracts and presentations
 will be made available on the Web.
 
-Participants will be required to register to FM 2024.
+Participants will be required to 
+[register](https://www.fm24.polimi.it/?page_id=559) 
+to FM 2024 (early registration deadline July 30, 2024).
 
 ### Organizers
 * Igor Konnov, researcher in security and formal methods and TU Wien