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
Re: [irtf-discuss] Why the World Must Resist Calls to Undermine the InternetRe: [irtf-discuss] Why the World Must Resist Calls to Undermine the Internet
willi uebelherr
2022-03-28
irtf-discuss
/arch/msg/irtf-discuss/x9eGmvaDd4a2ISCdo3Csp-xyPpE/
3164459
1995672
Re: [irtf-discuss] [113attendees] HotRFC at IETF-113 -- 2nd call for participationRe: [irtf-discuss] [113attendees] HotRFC at IETF-113 -- 2nd call for participation
Spencer Dawkins at IETF
2022-03-22
irtf-discuss
/arch/msg/irtf-discuss/0M7jgG6--ezRTVvh30FWC35Xwb0/
3161715
1995833
Re: [irtf-discuss] [113attendees] HotRFC at IETF-113 -- 2nd call for participationRe: [irtf-discuss] [113attendees] HotRFC at IETF-113 -- 2nd call for participation
Michael Richardson
2022-03-22
irtf-discuss
/arch/msg/irtf-discuss/HmldXkVj96AcFRgcuKVuTInKbVY/
3161714
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
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] 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] [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] [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
David Lloyd-Jones
2022-03-22
irtf-discuss
/arch/msg/irtf-discuss/Wkd70lPxIUEJJhfkwCQWkveGxaE/
3161190
1995672
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] [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
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
Michael Richardson
2022-03-21
irtf-discuss
/arch/msg/irtf-discuss/1gDORTSa0wx6ob9y6jeOta8cDZ0/
3160476
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
willi uebelherr
2022-03-20
irtf-discuss
/arch/msg/irtf-discuss/rqBZenc2_-kQmhyPvoFEXQlrPyw/
3160349
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
Phillip Hallam-Baker
2022-03-20
irtf-discuss
/arch/msg/irtf-discuss/NboO_yPOSByRjc_58P1mUmElb9I/
3160291
1995672