Re: [Ufmrg] [arch-d] Making Networks Safe and Agile with Formal Methods and Programming Abstractions: Future DirectionsRe: [Ufmrg] [arch-d] Making Networks Safe and Agile with Formal Methods and Programming Abstractions: Future Directions
Marc Petit-Huguenin
2023-11-28
ufmrg
/arch/msg/ufmrg/lVFlPTzGhsFgb7mqaUHmeMERO7Q/
3389428
2100486
Re: [Ufmrg] draft ietf-118 meeting minutesRe: [Ufmrg] draft ietf-118 meeting minutes
Stephen Farrell
2023-11-18
ufmrg
/arch/msg/ufmrg/ljuvuo43pgsgpQoTvjkSJYRtzn0/
3385892
2098561
[Ufmrg] draft ietf-118 meeting minutes[Ufmrg] draft ietf-118 meeting minutes
Stephen Farrell
2023-11-17
ufmrg
/arch/msg/ufmrg/jk31q66KTfs5hEfQXufL85ss8WM/
3385645
2098561
Re: [Ufmrg] Follow-up: HTTP/2 Rapid Reset & Formal AnalysisRe: [Ufmrg] Follow-up: HTTP/2 Rapid Reset & Formal Analysis
Liu Si
2023-11-08
ufmrg
/arch/msg/ufmrg/83bfChctJqLbL_NBY_xTOBZ5tOM/
3381273
2096637
[Ufmrg] Excellent presentation [was Re: Follow-up: HTTP/2 Rapid Reset & Formal Analysis][Ufmrg] Excellent presentation [was Re: Follow-up: HTTP/2 Rapid Reset & Formal Analysis]
Marc Petit-Huguenin
2023-11-08
ufmrg
/arch/msg/ufmrg/B65a79zFIMslycZ44Reg-8sEBAY/
3381262
2096637
Re: [Ufmrg] Follow-up: HTTP/2 Rapid Reset & Formal AnalysisRe: [Ufmrg] Follow-up: HTTP/2 Rapid Reset & Formal Analysis
Salz, Rich
2023-11-08
ufmrg
/arch/msg/ufmrg/DclDgY9MGJbO3SQevzA0uwK98w4/
3381213
2096637
Re: [Ufmrg] Follow-up: HTTP/2 Rapid Reset & Formal AnalysisRe: [Ufmrg] Follow-up: HTTP/2 Rapid Reset & Formal Analysis
Liu Si
2023-11-08
ufmrg
/arch/msg/ufmrg/OZOz7NHl57FNxo3MnaYJY8PPwsw/
3381208
2096637
[Ufmrg] Follow-up: HTTP/2 Rapid Reset & Formal Analysis[Ufmrg] Follow-up: HTTP/2 Rapid Reset & Formal Analysis
Felix Linker
2023-11-08
ufmrg
/arch/msg/ufmrg/vH9MfjylJPbBsD5xomPlxnGJclY/
3381168
2096637
Re: [Ufmrg] UFMRG training at IETF118 - detailsRe: [Ufmrg] UFMRG training at IETF118 - details
Stephen Farrell
2023-11-05
ufmrg
/arch/msg/ufmrg/I7eo8uRGvKtJH80biYiK1zQeuyI/
3378733
2093012
Re: [Ufmrg] UFMRG training at IETF118 - detailsRe: [Ufmrg] UFMRG training at IETF118 - details
Stephen Farrell
2023-11-05
ufmrg
/arch/msg/ufmrg/Ai2KHDG-OU-LJ9N9d1YNQfIj1Mo/
3378714
2093012
[Ufmrg] UFMRG training at IETF118 - details[Ufmrg] UFMRG training at IETF118 - details
Stephen Farrell
2023-10-23
ufmrg
/arch/msg/ufmrg/v9_LSA1JRsN7aF-0FF_YGH8FVEg/
3372833
2093012
[Ufmrg] A manifesto for applicable formal methods[Ufmrg] A manifesto for applicable formal methods
Gergely Buday
2023-10-20
ufmrg
/arch/msg/ufmrg/Gf0-Lm9rORmoT70z3tN06EJ7fJc/
3370788
2091761
[Ufmrg] Sunday training session @ ietf-118 is now listed on the main agenda[Ufmrg] Sunday training session @ ietf-118 is now listed on the main agenda
Stephen Farrell
2023-10-18
ufmrg
/arch/msg/ufmrg/bE0gQTlQxd7fiuqR0qWagCcj4zI/
3369931
2091311
Re: [Ufmrg] UFMRG training at IETF118Re: [Ufmrg] UFMRG training at IETF118
Stephen Farrell
2023-10-17
ufmrg
/arch/msg/ufmrg/V6d7AKBD5-mWJppOir6Y7sySL4Q/
3369119
2081453
[Ufmrg] Call For Agenda Items[Ufmrg] Call For Agenda Items
Jonathan Hoyland
2023-10-17
ufmrg
/arch/msg/ufmrg/fSgsGcLmAWgEZeJsN6ddIQEH1cY/
3368913
2090818
Re: [Ufmrg] UFMRG training at IETF118Re: [Ufmrg] UFMRG training at IETF118
Stephen Farrell
2023-10-14
ufmrg
/arch/msg/ufmrg/3YZ3jQ336AgfoQygsOxTQXi_Cv4/
3368152
2081453
Re: [Ufmrg] UFMRG training at IETF118Re: [Ufmrg] UFMRG training at IETF118
Marc Petit-Huguenin
2023-10-14
ufmrg
/arch/msg/ufmrg/MrUCmSviHEFtitkxVfVbmfFM6xQ/
3368116
2081453
[Ufmrg] ufmrg - Requested session has been scheduled for IETF 118[Ufmrg] ufmrg - Requested session has been scheduled for IETF 118
"IETF Secretariat"
2023-10-13
ufmrg
/arch/msg/ufmrg/idbY335d5oOZ8fdmaCSCUmYd1cQ/
3367799
2090223
[Ufmrg] Fwd: [isabelle] Call for Participation: VerifyThis Long-Term Collaborative Challenge[Ufmrg] Fwd: [isabelle] Call for Participation: VerifyThis Long-Term Collaborative Challenge
Gergely Buday
2023-09-26
ufmrg
/arch/msg/ufmrg/u_3oRY77_hxnaNdGObxUEWUkgQ4/
3360093
2086715
[Ufmrg] ufmrg - New Meeting Session Request for IETF 118[Ufmrg] ufmrg - New Meeting Session Request for IETF 118
IETF Meeting Session Request Tool
2023-09-15
ufmrg
/arch/msg/ufmrg/Jm4B-avsfCH5i-1rjuVEoFrAk4c/
3356121
2084772
Re: [Ufmrg] [EXT] Re: A few questions about UFMRG goalsRe: [Ufmrg] [EXT] Re: A few questions about UFMRG goals
Gergely Buday
2023-09-11
ufmrg
/arch/msg/ufmrg/NntButHafxb9DcfHY_zgJlVEbg8/
3354105
2082212
Re: [Ufmrg] [EXT] Re: A few questions about UFMRG goalsRe: [Ufmrg] [EXT] Re: A few questions about UFMRG goals
Hans-Dieter Hiep
2023-09-11
ufmrg
/arch/msg/ufmrg/XMqTqpfH5ffZFyUZK3RSgiAOoPE/
3354096
2082212
Re: [Ufmrg] bugs in formal methods softwareRe: [Ufmrg] bugs in formal methods software
Nadim Kobeissi
2023-09-08
ufmrg
/arch/msg/ufmrg/bW1_UkoGI6shm0bgi8A99dJLlW8/
3353289
2083485
Re: [Ufmrg] bugs in formal methods softwareRe: [Ufmrg] bugs in formal methods software
Muhammad Usama Sardar
2023-09-08
ufmrg
/arch/msg/ufmrg/Bla9i_kIDU7GevYJMGslGRD8oFw/
3353221
2083485
[Ufmrg] bugs in formal methods software[Ufmrg] bugs in formal methods software
Gergely Buday
2023-09-08
ufmrg
/arch/msg/ufmrg/RxwCnvlkditB43m27-y1v98pXwI/
3353102
2083485
Re: [Ufmrg] [EXT] Re: A few questions about UFMRG goalsRe: [Ufmrg] [EXT] Re: A few questions about UFMRG goals
Nadim Kobeissi
2023-09-08
ufmrg
/arch/msg/ufmrg/zmrZoD09nXANUtwEuahyNQwZWG0/
3353087
2082212
Re: [Ufmrg] [EXT] Re: A few questions about UFMRG goalsRe: [Ufmrg] [EXT] Re: A few questions about UFMRG goals
Muhammad Usama Sardar
2023-09-08
ufmrg
/arch/msg/ufmrg/__eU2W_3YGKuZW_iATRB_NCP0BA/
3352994
2082212
Re: [Ufmrg] [EXT] Re: A few questions about UFMRG goalsRe: [Ufmrg] [EXT] Re: A few questions about UFMRG goals
Jonathan Hoyland
2023-09-07
ufmrg
/arch/msg/ufmrg/G04YMakXlkYy_NZlth0jxnJqNUA/
3352833
2082212
Re: [Ufmrg] [EXT] Re: A few questions about UFMRG goalsRe: [Ufmrg] [EXT] Re: A few questions about UFMRG goals
Joshua D Guttman
2023-09-07
ufmrg
/arch/msg/ufmrg/Xr_gGxHbYXFhI7iy8dEmfiYFsVI/
3352776
2082212
Re: [Ufmrg] UFMRG training at IETF118Re: [Ufmrg] UFMRG training at IETF118
Jonathan Hoyland
2023-09-05
ufmrg
/arch/msg/ufmrg/XKNPS80huphIJtg-XFGOulJhZ1I/
3351687
2081453
Re: [Ufmrg] UFMRG training at IETF118Re: [Ufmrg] UFMRG training at IETF118
Cory Francis Myers
2023-09-05
ufmrg
/arch/msg/ufmrg/yeODUFJ1wZ1y89b-q4v1jMEOoBM/
3351651
2081453
Re: [Ufmrg] UFMRG training at IETF118Re: [Ufmrg] UFMRG training at IETF118
Stephen Farrell
2023-09-01
ufmrg
/arch/msg/ufmrg/6cft0qEEGw6wp1g4b2ihAYkssHA/
3350589
2081453
Re: [Ufmrg] A few questions about UFMRG goalsRe: [Ufmrg] A few questions about UFMRG goals
Stephen Farrell
2023-09-01
ufmrg
/arch/msg/ufmrg/7qkdrHWcw_ByOFEM59BgUS73EdU/
3350552
2082212
[Ufmrg] A few questions about UFMRG goals[Ufmrg] A few questions about UFMRG goals
Joshua D Guttman
2023-09-01
ufmrg
/arch/msg/ufmrg/9GDVBnNeFtM_BT6VmwFAmkkPC6E/
3350550
2082212
Re: [Ufmrg] UFMRG training at IETF118Re: [Ufmrg] UFMRG training at IETF118
Wes Hardaker
2023-08-31
ufmrg
/arch/msg/ufmrg/BjwuejFy4HqnzCO-FXu96mDFEQs/
3350229
2081453
Re: [Ufmrg] UFMRG training at IETF118Re: [Ufmrg] UFMRG training at IETF118
Stephen Farrell
2023-08-31
ufmrg
/arch/msg/ufmrg/VCWWMMhCnLBGDr3ipGF0SDFCFkk/
3350227
2081453
Re: [Ufmrg] UFMRG training at IETF118Re: [Ufmrg] UFMRG training at IETF118
Wes Hardaker
2023-08-31
ufmrg
/arch/msg/ufmrg/Wqb4enskb9COV4kKRtLNMJ-M5QE/
3350216
2081453
Re: [Ufmrg] UFMRG training at IETF118Re: [Ufmrg] UFMRG training at IETF118
Stephen Farrell
2023-08-31
ufmrg
/arch/msg/ufmrg/_aQjCAhl41-aqno_squx3WFyD-A/
3349960
2081453
[Ufmrg] Candidate problem: DNSSEC multi-signer protocol[Ufmrg] Candidate problem: DNSSEC multi-signer protocol
Steve Crocker
2023-08-30
ufmrg
/arch/msg/ufmrg/O9me5HoObAO2OISF0J_ZZC-qrHM/
3349621
2081798
Re: [Ufmrg] UFMRG training at IETF118Re: [Ufmrg] UFMRG training at IETF118
Muhammad Usama Sardar
2023-08-29
ufmrg
/arch/msg/ufmrg/wo1Mymfkrtuy_DoYOLye9toQJXY/
3349040
2081453
164 Messages