Subject
From
Date
List
[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
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] 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
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
Ross Finlayson
2022-11-05
irtf-discuss
/arch/msg/irtf-discuss/CrWMCTu72oTyoIbveoEJOfZYwM0/
3244513
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
Colin Perkins
2022-11-06
irtf-discuss
/arch/msg/irtf-discuss/UwA99bbMcAJkwHaaWJlnryVLCWo/
3244755
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
Toerless Eckert
2022-11-05
irtf-discuss
/arch/msg/irtf-discuss/ZbtlcypHyvKsjY6SudKlbcqRw8o/
3244517
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] 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] 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
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
Buday Gergely
2022-11-08
irtf-discuss
/arch/msg/irtf-discuss/8xXY8yMFjuiGnSkYAYKVhSe5-Ww/
3245725
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] [115attendees] Usable formal methods side meeting at IETF 115Re: [irtf-discuss] [115attendees] Usable formal methods side meeting at IETF 115
Sampo Syreeni
2022-12-05
irtf-discuss
/arch/msg/irtf-discuss/yR1oND6K2lTQuCnHEzTfs2V0zJA/
3254314
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-12-06
irtf-discuss
/arch/msg/irtf-discuss/cQcoa4_ouPLeY5DdtpXy0n1ixL0/
3254915
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] [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
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
Nicola Rustignoli
2022-11-14
irtf-discuss
/arch/msg/irtf-discuss/ey7-zX4hSK1GicKdfJFa3fIux9g/
3248436
2038084
[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] (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] 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] [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] 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] You may find my most recent op ed on geopolitics and the Internet for The Hill newspaper interestingRe: [irtf-discuss] [Internet Policy] You may find my most recent op ed on geopolitics and the Internet for The Hill newspaper interesting
willi uebelherr
2022-03-22
irtf-discuss
/arch/msg/irtf-discuss/IhU0HqTVWtOQyXwia9F1KrgMd1g/
3161435
2004415
Re: [irtf-discuss] [IRTF-Announce] Applied Networking Research Prize presentations at IETF 113Re: [irtf-discuss] [IRTF-Announce] Applied Networking Research Prize presentations at IETF 113
Colin Perkins
2022-03-21
irtf-discuss
/arch/msg/irtf-discuss/dikwNCl2y_K0n6Lc9jyos3B1WPQ/
3160796
2004156
[irtf-discuss] HotRFC at IETF-113 -- 2nd call for participation[irtf-discuss] HotRFC at IETF-113 -- 2nd call for participation
Aaron Falk
2022-03-14
irtf-discuss
/arch/msg/irtf-discuss/kFOUOq3E_9mtf_cjCwF_hVZbvh8/
3131727
1995833
Re: [irtf-discuss] HotRFC at IETF-113 -- 2nd call for participationRe: [irtf-discuss] HotRFC at IETF-113 -- 2nd call for participation
Spencer Dawkins at IETF
2022-03-21
irtf-discuss
/arch/msg/irtf-discuss/T3NjlyO38hJjxc8K5UkKnh5k5XI/
3161123
1995833
Re: [irtf-discuss] HotRFC at IETF-113 -- 2nd call for participationRe: [irtf-discuss] HotRFC at IETF-113 -- 2nd call for participation
Michael Richardson
2022-03-22
irtf-discuss
/arch/msg/irtf-discuss/5DEf5UF1JnxU6HJwL09wG73Xktc/
3161436
1995833
Re: [irtf-discuss] [113attendees] HotRFC at IETF-113 -- 2nd call for participationRe: [irtf-discuss] [113attendees] HotRFC at IETF-113 -- 2nd call for participation
John C Klensin
2022-03-22
irtf-discuss
/arch/msg/irtf-discuss/VMogoHFC__HtudpgBf6np2HpxVQ/
3161712
1995833
Re: [irtf-discuss] [113attendees] HotRFC at IETF-113 -- 2nd call for participationRe: [irtf-discuss] [113attendees] HotRFC at IETF-113 -- 2nd call for participation
Border, John
2022-03-22
irtf-discuss
/arch/msg/irtf-discuss/fDbFgHcwO6HXDyRe6LclDhXYTh4/
3161713
1995833