From 57545a229fe8caf4cdbd01e8361999eccc91f492 Mon Sep 17 00:00:00 2001 From: Stephan Merz Date: Tue, 16 Jul 2024 16:13:08 +0200 Subject: [PATCH] preliminary program 2024-FM --- content/2024-fm/_index.md | 26 ++++++++++++++++++++++++-- 1 file changed, 24 insertions(+), 2 deletions(-) diff --git a/content/2024-fm/_index.md b/content/2024-fm/_index.md index 1153d70..a2fb0dc 100644 --- a/content/2024-fm/_index.md +++ b/content/2024-fm/_index.md @@ -14,7 +14,27 @@ Milano, Italy
# 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