Bluesheets IETF118: ufmrg : Sun 11:00
bluesheets-118-ufmrg-202311051100-00
| Meeting Bluesheets | Usable Formal Methods Research Group (ufmrg) RG | |
|---|---|---|
| Date and time | 2023-11-05 11:00 | |
| Title | Bluesheets IETF118: ufmrg : Sun 11:00 | |
| State | Active | |
| Other versions | plain text | |
| Last updated | 2023-11-05 |
bluesheets-118-ufmrg-202311051100-00
Bluesheet for IETF-118: ufmrg UFMRG Formal Methods Training Sun-1100 ======================================================================== 41 attendees. Tobia Castaldi Meetecho Ebrima Jaw University of Twente Felix Linker ETH Zurich Steve Crocker Edgemoor Research Institute Simon Friedberger Mozilla Michael Jenkins NSA-CCSS Cory Myers ARTICLE 19 / Freedom of the Press Foundation Kiran Makhijani Futurewei Laurent Toutain IMT Atlantique Alessandro Ghedini Cloudflare Renan Krishna Interdigital Europe Ltd Beltram Maldant Wire Jianfei(Jeffrey) HE City University of Hong Kong Murugiah Souppaya NIST Rüdiger Volk Ryo Kajiwara Jean-Michel Combes Orange Naoki Matsuhira Hafiz Farooq Saudi Aramco Marc Petit-Huguenin Impedance Mismatch LLC Peter Koch DENIC eG Jonas Primbs University of Tübingen Etienne Zink University of Tuebingen Rich Salz Akamai Technologies David Millman None Alexander Dax CISPA Helmholtz Center for Information Security Yusaku Kinoshita Mercari Gábor Lencse Szechenyi Istvan University Kazuya Okada Toyota Motor Corporation Julian Mair Stephen Farrell Trinity College Dublin Kazunori Fujiwara JPRS Kentaro Teramoto Mercari, Inc. Simon Romano Meetecho/University of Napoli Renzo Navas IMT Atlantique Nobuo Aoki SOKENDAI / JPNIC Michael Tüxen Münster University of Applied Sciences Jonathan Hoyland Cloudflare Christopher Patton Cloudflare Christopher Inacio Carnegie Mellon University Ties de Kock RIPE NCC