From 29ebdc1e0f903b0cb38c8e7af498f797667501fb Mon Sep 17 00:00:00 2001 From: "Stainsby, Hayden" Date: Tue, 20 Feb 2024 11:58:30 +0100 Subject: [PATCH] meetup: add March meetup with talk by Guillaume Claret Included date, speaker details as well as a description of the talk contents. Ref: #14 --- content/meetups/2024-03-19.md | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 content/meetups/2024-03-19.md diff --git a/content/meetups/2024-03-19.md b/content/meetups/2024-03-19.md new file mode 100644 index 0000000..75b4936 --- /dev/null +++ b/content/meetups/2024-03-19.md @@ -0,0 +1,29 @@ ++++ +title = "2024-03-19" +date = "2024-03-19" +draft = false ++++ + +The March, 2024 Rust for Lunch meet-up. We'll have a single +talk and then time for questions afterwards. + +We'd like to remind everyone that all participants (speakers, moderators, and +attendees) must follow the [Code of Conduct](@/about.md#code-of-conduct) during +the meetup. + +- Meet-up call link: [https://lecture.senfcall.de/hay-gmh-wox-mru](https://lecture.senfcall.de/hay-gmh-wox-mru) (Senfcall) +- Date: **Tuesday, 19 March, 2024** +- Time: [**12:00 - 13:00 UTC**](https://everytimezone.com/s/8e70f314) + - **12:00 - 13:00 GMT** (e.g. London, Bamako) + - **13:00 - 14:00 WAT/CET** (e.g. Kinshasa, Berlin) + - **14:00 - 15:00 EET/CAT** (e.g. Lviv, Cairo) + +### Formal verification for Rust with coq-of-rust + +#### Speaker: [Guillaume Claret](https://github.com/clarus) + +With formal verification, we can assert that a program contains no bugs for a +specification, covering all execution cases. We present coq-of-rust +https://github.com/formal-land/coq-of-rust , a formal verification tool for +Rust that we developed. It works by translating Rust programs to the proof +system Coq.