Re: [irtf-discuss] [115attendees] Usable formal methods side meeting at IETF 115Re: [irtf-discuss] [115attendees] Usable formal methods side meeting at IETF 115
Nicola Rustignoli
2022-11-14
irtf-discuss
/arch/msg/irtf-discuss/ey7-zX4hSK1GicKdfJFa3fIux9g/
3248436
2038084
Re: [irtf-discuss] Side-meeting: specification of attestation in TEEsRe: [irtf-discuss] Side-meeting: specification of attestation in TEEs
Muhammad Usama Sardar
2022-11-10
irtf-discuss
/arch/msg/irtf-discuss/w8iOtdWOP6CGJOplKSrOG33FeDY/
3246953
2039198
[irtf-discuss] Side-meeting: specification of attestation in TEEs[irtf-discuss] Side-meeting: specification of attestation in TEEs
Muhammad Usama Sardar
2022-11-09
irtf-discuss
/arch/msg/irtf-discuss/SIJ1eJTjVBv3f-BupDlpajpgccA/
3246864
2039198
Re: [irtf-discuss] [115attendees] Usable formal methods side meeting at IETF 115Re: [irtf-discuss] [115attendees] Usable formal methods side meeting at IETF 115
Colin Perkins
2022-11-09
irtf-discuss
/arch/msg/irtf-discuss/JbZYd-5C84Y0WbszHFseXmlUuy4/
3246679
2038084
Re: [irtf-discuss] [115attendees] Usable formal methods side meeting at IETF 115Re: [irtf-discuss] [115attendees] Usable formal methods side meeting at IETF 115
Colin Perkins
2022-11-09
irtf-discuss
/arch/msg/irtf-discuss/YZNhm4IwLHhEHVG6otJ_wH3WVGo/
3246660
2038084
Re: [irtf-discuss] [115attendees] Usable formal methods side meeting at IETF 115Re: [irtf-discuss] [115attendees] Usable formal methods side meeting at IETF 115
Jonathan Hoyland
2022-11-08
irtf-discuss
/arch/msg/irtf-discuss/dPvFM-oQ_d8g9js6NhmhXcL6Ubw/
3246140
2038084
Re: [irtf-discuss] Usable formal methods side meeting at IETF 115Re: [irtf-discuss] Usable formal methods side meeting at IETF 115
Buday Gergely
2022-11-08
irtf-discuss
/arch/msg/irtf-discuss/8xXY8yMFjuiGnSkYAYKVhSe5-Ww/
3245725
2038084
Re: [irtf-discuss] Usable formal methods side meeting at IETF 115Re: [irtf-discuss] Usable formal methods side meeting at IETF 115
Sampo Syreeni
2022-11-07
irtf-discuss
/arch/msg/irtf-discuss/gTFjML3L46cX62fn70DMVCGQv3o/
3245633
2038084
Re: [irtf-discuss] Usable formal methods side meeting at IETF 115Re: [irtf-discuss] Usable formal methods side meeting at IETF 115
Sampo Syreeni
2022-11-07
irtf-discuss
/arch/msg/irtf-discuss/RBAp7YV3CK96iZJJfRYhM98Yn2k/
3245626
2038084
Re: [irtf-discuss] Usable formal methods side meeting at IETF 115Re: [irtf-discuss] Usable formal methods side meeting at IETF 115
Sampo Syreeni
2022-11-07
irtf-discuss
/arch/msg/irtf-discuss/gEDAdlxj4HO_LwN1vtqhqt9aN6A/
3245616
2038084
Re: [irtf-discuss] [115attendees] Usable formal methods side meeting at IETF 115Re: [irtf-discuss] [115attendees] Usable formal methods side meeting at IETF 115
Muhammad Usama Sardar
2022-11-06
irtf-discuss
/arch/msg/irtf-discuss/bWfTyHDGbUVYyWjirmPr4o4OEkk/
3244968
2038084
Re: [irtf-discuss] Usable formal methods side meeting at IETF 115Re: [irtf-discuss] Usable formal methods side meeting at IETF 115
Buday Gergely
2022-11-06
irtf-discuss
/arch/msg/irtf-discuss/KDtLA4WxuhGFY3KKZXkvpKDYZ_0/
3244952
2038084
Re: [irtf-discuss] Usable formal methods side meeting at IETF 115Re: [irtf-discuss] Usable formal methods side meeting at IETF 115
Buday Gergely
2022-11-06
irtf-discuss
/arch/msg/irtf-discuss/7MYw9r7VGOA0N14LZFL6ZumjU2I/
3244938
2038084
Re: [irtf-discuss] [115attendees] Usable formal methods side meeting at IETF 115Re: [irtf-discuss] [115attendees] Usable formal methods side meeting at IETF 115
Marc Petit-Huguenin
2022-11-06
irtf-discuss
/arch/msg/irtf-discuss/IN-Mhfc1sNTN7IWbZ4fDzA04Tbs/
3244757
2038084
Re: [irtf-discuss] Usable formal methods side meeting at IETF 115Re: [irtf-discuss] Usable formal methods side meeting at IETF 115
Colin Perkins
2022-11-06
irtf-discuss
/arch/msg/irtf-discuss/UwA99bbMcAJkwHaaWJlnryVLCWo/
3244755
2038084
Re: [irtf-discuss] [115attendees] Usable formal methods side meeting at IETF 115Re: [irtf-discuss] [115attendees] Usable formal methods side meeting at IETF 115
Colin Perkins
2022-11-06
irtf-discuss
/arch/msg/irtf-discuss/Aik62uW0zwGWvYuQiS_Y-_QzX60/
3244747
2038084
Re: [irtf-discuss] [115attendees] Usable formal methods side meeting at IETF 115Re: [irtf-discuss] [115attendees] Usable formal methods side meeting at IETF 115
Colin Perkins
2022-11-06
irtf-discuss
/arch/msg/irtf-discuss/tcTDxLKrb4X4XV9EpZx1O7dRsFA/
3244740
2038084
Re: [irtf-discuss] [115attendees] Usable formal methods side meeting at IETF 115Re: [irtf-discuss] [115attendees] Usable formal methods side meeting at IETF 115
Toerless Eckert
2022-11-05
irtf-discuss
/arch/msg/irtf-discuss/ZbtlcypHyvKsjY6SudKlbcqRw8o/
3244517
2038084
Re: [irtf-discuss] Usable formal methods side meeting at IETF 115Re: [irtf-discuss] Usable formal methods side meeting at IETF 115
Toerless Eckert
2022-11-05
irtf-discuss
/arch/msg/irtf-discuss/erPufV_198v9h9m6KbwUklrY6nw/
3244515
2038084
Re: [irtf-discuss] Usable formal methods side meeting at IETF 115Re: [irtf-discuss] Usable formal methods side meeting at IETF 115
Ross Finlayson
2022-11-05
irtf-discuss
/arch/msg/irtf-discuss/CrWMCTu72oTyoIbveoEJOfZYwM0/
3244513
2038084
Re: [irtf-discuss] [115attendees] Usable formal methods side meeting at IETF 115Re: [irtf-discuss] [115attendees] Usable formal methods side meeting at IETF 115
Stephane Bortzmeyer
2022-11-04
irtf-discuss
/arch/msg/irtf-discuss/h5-gDbjAbROzYboBmeJBbLwmrag/
3244562
2038084
Re: [irtf-discuss] [115attendees] [IRTF-Announce] Applied Networking Research Prize presentations at IETF 115Re: [irtf-discuss] [115attendees] [IRTF-Announce] Applied Networking Research Prize presentations at IETF 115
michaela
2022-11-04
irtf-discuss
/arch/msg/irtf-discuss/r-Ti0-5Sg1YAVcNTvz1ire8taZo/
3244362
2038091
[irtf-discuss] Usable formal methods side meeting at IETF 115[irtf-discuss] Usable formal methods side meeting at IETF 115
Colin Perkins
2022-11-04
irtf-discuss
/arch/msg/irtf-discuss/un7VHdGIBa7MCo-Dv2sxqj4F3qQ/
3244342
2038084
[irtf-discuss] (Second Call) Requests for Conversation (HotRFC session for IETF 115 - talks solicited[irtf-discuss] (Second Call) Requests for Conversation (HotRFC session for IETF 115 - talks solicited
Spencer Dawkins at IETF
2022-10-28
irtf-discuss
/arch/msg/irtf-discuss/VSHrjbooJAqnsLK-xNWw-jev-yc/
3242192
2035335
[irtf-discuss] Requests for Conversation (HotRFC session for IETF 115 - talks solicited[irtf-discuss] Requests for Conversation (HotRFC session for IETF 115 - talks solicited
Spencer Dawkins at IETF
2022-10-20
irtf-discuss
/arch/msg/irtf-discuss/jJn_3YVFbAuxfa9zlCkSDix-RgY/
3237932
2035335
[irtf-discuss] irtfopen - Requested session has been scheduled for IETF 115[irtf-discuss] irtfopen - Requested session has been scheduled for IETF 115
"IETF Secretariat"
2022-10-14
irtf-discuss
/arch/msg/irtf-discuss/L7gecmA451uT4raiSzEBMt0XwrE/
3235407
2034219
[irtf-discuss] irtfopen - New Meeting Session Request for IETF 115[irtf-discuss] irtfopen - New Meeting Session Request for IETF 115
IETF Meeting Session Request Tool
2022-09-12
irtf-discuss
/arch/msg/irtf-discuss/epuETZpBjR86LgEMdKwbC67yfdw/
3221487
2028560
[irtf-discuss] [CFP] DEADLINE EXTENDED | IEEE CAMAD 2022 | 2-4 November 2022 // Paris, France[irtf-discuss] [CFP] DEADLINE EXTENDED | IEEE CAMAD 2022 | 2-4 November 2022 // Paris, France
Boubakr Nour
2022-07-22
irtf-discuss
/arch/msg/irtf-discuss/y7_KLYNMQeKvhEwaTNREVrknIU0/
3204631
2022505
[irtf-discuss] [CFP] DEADLINEEXTENDED | IEEE CAMAD 2022 | 2-4 November 2022 // Paris, France[irtf-discuss] [CFP] DEADLINEEXTENDED | IEEE CAMAD 2022 | 2-4 November 2022 // Paris, France
Boubakr Nour
2022-07-18
irtf-discuss
/arch/msg/irtf-discuss/gaypI8mjqVWHxGvHsnfucDM5ozA/
3202107
2021492
[irtf-discuss] HotRFC at IETF-114 -- Call for participation (reminder)[irtf-discuss] HotRFC at IETF-114 -- Call for participation (reminder)
Aaron Falk
2022-07-12
irtf-discuss
/arch/msg/irtf-discuss/rB9r6NSocZSkesqXk6CoRbTMPd8/
3199968
1995299
Re: [irtf-discuss] HotRFC at IETF-114 -- Call for participationRe: [irtf-discuss] HotRFC at IETF-114 -- Call for participation
Pascal Urien
2022-07-12
irtf-discuss
/arch/msg/irtf-discuss/lmytblv4GAWfJy6oE34ClqBdneg/
3199967
1995299
[irtf-discuss] [CFP] Deadline Approaching | IEEE CAMAD 2022 | 2-4 November 2022 // Paris, France[irtf-discuss] [CFP] Deadline Approaching | IEEE CAMAD 2022 | 2-4 November 2022 // Paris, France
Boubakr Nour
2022-07-11
irtf-discuss
/arch/msg/irtf-discuss/lWy2Qb4fT-9CSbINrPO9AE4mvog/
3199966
2020808
[irtf-discuss] [CFP] IEEE International Workshop on Computer Aided Modeling and Design of Communication Links and Networks | 2-4 November 2022 // Paris, France[irtf-discuss] [CFP] IEEE International Workshop on Computer Aided Modeling and Design of Communication Links and Networks | 2-4 November 2022 // Paris, France
Boubakr Nour
2022-07-07
irtf-discuss
/arch/msg/irtf-discuss/NRWoIx_Y6PYlgXIAF5L4KtorBDs/
3198515
2020128
[irtf-discuss] HotRFC at IETF-114 -- Call for participation[irtf-discuss] HotRFC at IETF-114 -- Call for participation
Aaron Falk
2022-07-05
irtf-discuss
/arch/msg/irtf-discuss/aQZxoNsG2o7geqHYrJzSRIhZrLo/
3198514
1995299
[irtf-discuss] irtfopen - Requested session has been scheduled for IETF 114[irtf-discuss] irtfopen - Requested session has been scheduled for IETF 114
"IETF Secretariat"
2022-07-01
irtf-discuss
/arch/msg/irtf-discuss/m2TEBICOoZh_hPImacA91RLorSY/
3195142
2018516
[irtf-discuss] irtfopen - New Meeting Session Request for IETF 114[irtf-discuss] irtfopen - New Meeting Session Request for IETF 114
IETF Meeting Session Request Tool
2022-06-10
irtf-discuss
/arch/msg/irtf-discuss/5FZaCnCtbZvI4wd-8n36CSHQu0I/
3188040
2015593
[irtf-discuss] to: A Declaration for the Future of the Internet[irtf-discuss] to: A Declaration for the Future of the Internet
willi uebelherr
2022-05-05
irtf-discuss
/arch/msg/irtf-discuss/Lxd3p-gxHXVCMjNCt9jTX0ccen8/
3177994
2011110
Re: [irtf-discuss] [Internet Policy] Why the World Must Resist Calls to Undermine the InternetRe: [irtf-discuss] [Internet Policy] Why the World Must Resist Calls to Undermine the Internet
Sampo Syreeni
2022-04-06
irtf-discuss
/arch/msg/irtf-discuss/7_Oxr-o6j104UbCPUQjGjz1X1DI/
3167850
1995672
Re: [irtf-discuss] [Internet Policy] Why the World Must Resist Calls to Undermine the InternetRe: [irtf-discuss] [Internet Policy] Why the World Must Resist Calls to Undermine the Internet
Axel Abad
2022-03-29
irtf-discuss
/arch/msg/irtf-discuss/6L3XGJqxHc8158BkRc0DAXtCEtw/
3164703
1995672
Re: [irtf-discuss] [Internet Policy] Why the World Must Resist Calls to Undermine the InternetRe: [irtf-discuss] [Internet Policy] Why the World Must Resist Calls to Undermine the Internet
Joly MacFie
2022-03-29
irtf-discuss
/arch/msg/irtf-discuss/RJDB2McYAdpYiTJMtyHIGKYwltU/
3164648
1995672
627 Messages