meetup: add March meetup with talk by Guillaume Claret (#15)

Included date, speaker details as well as a description of the talk
contents.

Ref: #14

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.