[Ufmrg] UFMRG confirmed as full IRTF RG[Ufmrg] UFMRG confirmed as full IRTF RG
Colin Perkins
2024-03-22
ufmrg
/arch/msg/ufmrg/LcbjCHOH2zqBZcgOioQoDWm2Gds/
3441443
2126080
Re: [Ufmrg] [TLS] Proposal: a TLS formal analysis triage panelRe: [Ufmrg] [TLS] Proposal: a TLS formal analysis triage panel
Bas Spitters
2024-03-20
ufmrg
/arch/msg/ufmrg/pEr48EgSudS3vsbFKfdeTgYa36o/
3440323
2125689
Re: [Ufmrg] [TLS] Proposal: a TLS formal analysis triage panelRe: [Ufmrg] [TLS] Proposal: a TLS formal analysis triage panel
Marc Petit-Huguenin
2024-03-20
ufmrg
/arch/msg/ufmrg/PUcJXdAQIyRSCKI-I5Dzyo0pN4c/
3440309
2125689
[Ufmrg] Chairs meeting with IAB this week...[Ufmrg] Chairs meeting with IAB this week...
Stephen Farrell
2024-03-18
ufmrg
/arch/msg/ufmrg/-jtbo2bJgF_F96yvAKK5J704K_s/
3438298
2124895
[Ufmrg] Verified Email[Ufmrg] Verified Email
Steve Crocker
2024-03-14
ufmrg
/arch/msg/ufmrg/i4irur-GR4oPaW_5RMFDVmaA1X8/
3436926
2124266
[Ufmrg] ICTAC 2024: First call for papers[Ufmrg] ICTAC 2024: First call for papers
Hans-Dieter Hiep
2024-02-06
ufmrg
/arch/msg/ufmrg/eieV8oG3D3QdxtFFJITQFn8_gLo/
3420148
2115976
Re: [Ufmrg] Formal Proofs, the Fine Print and Side EffectsRe: [Ufmrg] Formal Proofs, the Fine Print and Side Effects
Marc Petit-Huguenin
2024-02-03
ufmrg
/arch/msg/ufmrg/maalPak3dAx6xFnyWiIpLTx0-CY/
3418899
2114969
[Ufmrg] ufmrg - Not having a session at IETF 119[Ufmrg] ufmrg - Not having a session at IETF 119
IETF Meeting Session Request Tool
2024-02-02
ufmrg
/arch/msg/ufmrg/q1GJf0o9vR528ueliO50HW3spyY/
3418736
2115243
[Ufmrg] Formal Proofs, the Fine Print and Side Effects[Ufmrg] Formal Proofs, the Fine Print and Side Effects
Gergely Buday
2024-02-01
ufmrg
/arch/msg/ufmrg/_-HKKl59R6zxFuxMV1bpk-dwp04/
3418145
2114969
[Ufmrg] Call for Participation: EPN Tutorial on Usable Formal Methods for Security[Ufmrg] Call for Participation: EPN Tutorial on Usable Formal Methods for Security
Muhammad Usama Sardar
2024-01-31
ufmrg
/arch/msg/ufmrg/4u_G2naCiHl9lj08SA_cXkXbpdY/
3417518
2114645
Re: [Ufmrg] ufmrg plans for the year ahead - coupla questionsRe: [Ufmrg] ufmrg plans for the year ahead - coupla questions
Stephen Farrell
2024-01-29
ufmrg
/arch/msg/ufmrg/4sslIESC2mHK9oK2ITlByjArUgk/
3416312
2109794
[Ufmrg] ufmrg plans for the year ahead - coupla questions[Ufmrg] ufmrg plans for the year ahead - coupla questions
Stephen Farrell
2024-01-18
ufmrg
/arch/msg/ufmrg/dWlVqtr2USTZpiR7ILDyKFcDQ5Y/
3407249
2109794
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