Update video url and meeting time

Author: Xavier Denis

content/meetings/contracts.md

@@ -23,4 +23,4 @@ Felix has been working on the Rust compiler since before Rust 1.0; he was co-lea
 
 **Meeting Link**: [https://ethz.zoom.us/j/68120170474](https://ethz.zoom.us/j/68120170474)
 
-**Recording Link**: [https://www.youtube.com/watch?v=j60gcdpHNaM](https://www.youtube.com/watch?v=j60gcdpHNaM)
+**Recording Link**: [https://www.youtube.com/watch?v=j60gcdpHNaM](https://www.youtube.com/watch?v=j60gcdpHNaM	)

content/meetings/verifast-rust.md

@@ -1,6 +1,6 @@
 +++
 title = "Towards Sound `unsafe` Rust"
-date = 2024-10-28T19:00:00+02:00
+date = 2024-10-28T19:00:00+01:00 (Paris/Zurich)
 +++
 
 Rust guarantees memory safety and data race freedom through its type checker, which enforces *ownership* and *borrowing* rules. However, adhering strictly to these rules can limit expressiveness and restrict certain high-performance implementations. To address this limitation, Rust allows programmers to relax some type system checks within `unsafe` blocks. The challenge, however, is that maintaining type system invariants within these relaxed blocks becomes the programmer's responsibility.