Skip to main content

Bluesheets interim-2023-ufmrg-01: Wed 15:00
bluesheets-interim-2023-ufmrg-01-202305241500-00

Meeting Bluesheets Usable Formal Methods Research Group (ufmrg) RG
Date and time 2023-05-24 15:00
Title Bluesheets interim-2023-ufmrg-01: Wed 15:00
State Active
Other versions plain text
Last updated 2023-05-29

bluesheets-interim-2023-ufmrg-01-202305241500-00
Bluesheet for interim-2023-ufmrg-01
========================================================================

38 attendees.


Jan Winkelmann	
oooonduke	
Marc Petit-Huguenin	Impedance Mismatch LLC
Bob Halley	
Gergely Buday	
Stephen Farrell	
Cory Myers	ARTICLE 19 / Freedom of the Press Foundation
Jonathan Hammell	
Carsten Bormann	
Christoph Egger	
Guido Schmitz	
Tobias Reiher	
Christopher Brzuska	
Alison Becker	
Alexander Senier	
Yaron Sheffer	Intuit
Bas Spitters	
Lino Demasi	
Jonathan Hoyland	
Christopher Patton	
Lauren Hardy	
Brendan Z	
Edward Zieglar	
Rebecca Guthrie	
Felix Linker	
Emmanuel Gaudin	
Armando Faz-Hernández	
Karthikeyan Bhargavan	
Wes Hardaker	
Talia Ringer	
Alex Hodder-Williams	
Colin Perkins	
Christopher Wood	
Nikita Borisov	
Javier Bustos-Jiménez	
Lucas Pardue	
Rebecca Powell	
Rick Reed