These are all the meetings we have in "Rust Verification Wo…" (part of the organization "Rust Programming Lan…"). Click into individual meeting pages to watch the recording and search or read the transcript.
11 May 2021
Ruofei Fei Chen (Soares) and Stephanie Balzer
- 3 participants
- 29 minutes
11 May 2021
Zvonimir Rakamaric
- 4 participants
- 31 minutes
11 May 2021
Oliver Scherer (presented by Niko Matsakis)
- 3 participants
- 30 minutes
11 May 2021
Florian Gilcher and Sabree Blackmon
- 3 participants
- 16 minutes
11 May 2021
Ralf Jung and Michael Sammler
- 3 participants
- 30 minutes
11 May 2021
Yulu Pan and Yuichi Nishiwaki
- 3 participants
- 21 minutes
11 May 2021
Zafer Esen, Philipp Rümmer and Amanda Stjerna
- 5 participants
- 28 minutes
11 May 2021
Aaron Tomb and Stuart Pernsteiner
- 7 participants
- 42 minutes
11 May 2021
Denis Merigoux, Franziskus Kiefer and Karthikeyan Bhargavan
- 3 participants
- 26 minutes