[fdt] Fwd: [irtf-discuss] Usable formal methods side meeting at IETF 115[fdt] Fwd: [irtf-discuss] Usable formal methods side meeting at IETF 115
Colin Perkins
2022-11-04
fdt
/arch/msg/fdt/3E4VmUPpTZvUGI_Or3eEUeYo1M4/
3244347
2038087
[fdt] Fwd: I-D Action: draft-petithuguenin-computerate-specifying-16.txt[fdt] Fwd: I-D Action: draft-petithuguenin-computerate-specifying-16.txt
Marc Petit-Huguenin
2021-11-22
fdt
/arch/msg/fdt/1StakBcuVjLmEOIAXKZQ2a3NNh0/
3097381
1981301
[fdt] Fwd: I-D Action: draft-petithuguenin-computerate-specifying-15.txt[fdt] Fwd: I-D Action: draft-petithuguenin-computerate-specifying-15.txt
Marc Petit-Huguenin
2021-11-07
fdt
/arch/msg/fdt/e1kV7CddHvgGIXeC1FEhki4yvuk/
3091866
1979138
[fdt] Machine-readable documents at Hackathon 112[fdt] Machine-readable documents at Hackathon 112
Marc Petit-Huguenin
2021-10-29
fdt
/arch/msg/fdt/5fmuAp8lcFIeAycBG2aBmzPcOAc/
3089521
1978335
[fdt] Fwd: I-D Action: draft-petithuguenin-formal-fsm-00.txt[fdt] Fwd: I-D Action: draft-petithuguenin-formal-fsm-00.txt
Marc Petit-Huguenin
2021-10-11
fdt
/arch/msg/fdt/0HOEVe5Vg7esY1obXF8m2e_F_-s/
3082200
1974897
[fdt] Fwd: I-D Action: draft-petithuguenin-computerate-specifying-14.txt[fdt] Fwd: I-D Action: draft-petithuguenin-computerate-specifying-14.txt
Marc Petit-Huguenin
2021-10-11
fdt
/arch/msg/fdt/fuIl6neePsSoKIPE4c8RvAFcBlI/
3082185
1974889
[fdt] Fwd: I-D Action: draft-petithuguenin-computerate-specifying-13.txt[fdt] Fwd: I-D Action: draft-petithuguenin-computerate-specifying-13.txt
Marc Petit-Huguenin
2021-09-27
fdt
/arch/msg/fdt/B-f7Uka8RkjLEnrEF8jRH_Hn5pA/
3077701
1973154
[fdt] Fwd: I-D Action: draft-petithuguenin-computerate-specifying-12.txt[fdt] Fwd: I-D Action: draft-petithuguenin-computerate-specifying-12.txt
Marc Petit-Huguenin
2021-09-06
fdt
/arch/msg/fdt/H3v4Hp3Jre7VB4DGVitsQapgLDI/
3071286
1970482
[fdt] Fwd: I-D Action: draft-petithuguenin-computerate-specifying-11.txt[fdt] Fwd: I-D Action: draft-petithuguenin-computerate-specifying-11.txt
Marc Petit-Huguenin
2021-08-23
fdt
/arch/msg/fdt/JtHdB5Z57VR6IhUyGu4NluMmhik/
3066914
1968646
[fdt] Fwd: I-D Action: draft-petithuguenin-computerate-specifying-10.txt[fdt] Fwd: I-D Action: draft-petithuguenin-computerate-specifying-10.txt
Marc Petit-Huguenin
2021-08-16
fdt
/arch/msg/fdt/a6Y40kbZ2kvhDIwrtTJhPI8Pze0/
3065096
1967816
[fdt] Fwd: I-D Action: draft-petithuguenin-computerate-specifying-09.txt[fdt] Fwd: I-D Action: draft-petithuguenin-computerate-specifying-09.txt
Marc Petit-Huguenin
2021-05-30
fdt
/arch/msg/fdt/bRq88vn1sBiI1HG4kCjRrIp1_is/
3039108
1956545
[fdt] Fwd: I-D Action: draft-petithuguenin-computerate-specifying-08.txt[fdt] Fwd: I-D Action: draft-petithuguenin-computerate-specifying-08.txt
Marc Petit-Huguenin
2021-04-25
fdt
/arch/msg/fdt/eDYcZSLs9zDqqfWC40222JsdI90/
3026727
1950927
[fdt] Fwd: I-D Action: draft-petithuguenin-computerate-specifying-07.txt[fdt] Fwd: I-D Action: draft-petithuguenin-computerate-specifying-07.txt
Marc Petit-Huguenin
2021-03-28
fdt
/arch/msg/fdt/wqq_4zHBjsIlx7b1OTfYH0_8fK8/
3015156
1946209
Re: [fdt] An Introduction to Computerate SpecifyingRe: [fdt] An Introduction to Computerate Specifying
Marc Petit-Huguenin
2021-03-01
fdt
/arch/msg/fdt/k4SBdqPNNLn_MlP0KSN0qnuuy7U/
3004155
1941139
Re: [fdt] An Introduction to Computerate SpecifyingRe: [fdt] An Introduction to Computerate Specifying
Marc Petit-Huguenin
2021-02-26
fdt
/arch/msg/fdt/muhlZVLjgYtcEEnXVBen4Qd53eg/
3003240
1941139
[fdt] An Introduction to Computerate Specifying[fdt] An Introduction to Computerate Specifying
Marc Petit-Huguenin
2021-02-23
fdt
/arch/msg/fdt/23VRtmY6kMRSOB5IyN6FfBenMQM/
3001859
1941139
[fdt] Fwd: I-D Action: draft-petithuguenin-computerate-specifying-06.txt[fdt] Fwd: I-D Action: draft-petithuguenin-computerate-specifying-06.txt
Marc Petit-Huguenin
2021-02-21
fdt
/arch/msg/fdt/UVCKxcBBlQ-sKEBYa0Z2SlNXAKk/
3000211
1940219
[fdt] Fwd: I-D Action: draft-petithuguenin-computerate-specifying-05.txt[fdt] Fwd: I-D Action: draft-petithuguenin-computerate-specifying-05.txt
Marc Petit-Huguenin
2021-02-01
fdt
/arch/msg/fdt/hrdETkGp5ZpVCcJMYIuWjKPxF8o/
2991926
1936699
Re: [fdt] [Cacao] Public Comment for CACAO DraftRe: [fdt] [Cacao] Public Comment for CACAO Draft
Bret Jordan
2020-12-16
fdt
/arch/msg/fdt/ExhJJs_adKqZ3sTuluEQ9m7ItIY/
2976369
1929935
Re: [fdt] [Cacao] Public Comment for CACAO DraftRe: [fdt] [Cacao] Public Comment for CACAO Draft
Carsten Bormann
2020-12-15
fdt
/arch/msg/fdt/4dWj1VjGYfLZeiKl02rRtfSIFeo/
2976281
1929935
Re: [fdt] [Cacao] Public Comment for CACAO DraftRe: [fdt] [Cacao] Public Comment for CACAO Draft
Bret Jordan
2020-12-15
fdt
/arch/msg/fdt/-YZ_C2P9UMbEP9i4k-lGMsF0GOA/
2976221
1929935
Re: [fdt] [Cacao] Public Comment for CACAO DraftRe: [fdt] [Cacao] Public Comment for CACAO Draft
Carsten Bormann
2020-12-15
fdt
/arch/msg/fdt/Xvpb_RaKmZgJ7mbvBhdKkY52_-k/
2975991
1929935
[fdt] Fwd: [CFRG] XDR in RFC8391[fdt] Fwd: [CFRG] XDR in RFC8391
Carsten Bormann
2020-12-02
fdt
/arch/msg/fdt/3LGYgZsCdtswHoPF6GnWE1D7r3Y/
2970446
1928101
[fdt] Fwd: [OPSAWG] Can we please adopt draft-tuexen-opsawg-pcapng?[fdt] Fwd: [OPSAWG] Can we please adopt draft-tuexen-opsawg-pcapng?
Carsten Bormann
2020-11-11
fdt
/arch/msg/fdt/F1ZTlhXHwtSC81VtUV_MO8R518M/
2961771
1925121
[fdt] Fwd: New Version Notification for draft-mcquistin-augmented-ascii-diagrams-07.txt[fdt] Fwd: New Version Notification for draft-mcquistin-augmented-ascii-diagrams-07.txt
Stephen McQuistin
2020-11-10
fdt
/arch/msg/fdt/G7BsqQZji49yEbtDWTfXZ9eFYaI/
2961417
1925024
[fdt] Materials from last week's meeting[fdt] Materials from last week's meeting
Stephen McQuistin
2020-10-01
fdt
/arch/msg/fdt/44fkDPXIzhxRsfDSK5YxI5TVsHQ/
2937596
1915994
Re: [fdt] FDT side meetingRe: [fdt] FDT side meeting
Stephen McQuistin
2020-09-23
fdt
/arch/msg/fdt/miU1e1DQii8gjaBkonTE5q8rT68/
2934208
1913225
Re: [fdt] FDT side meetingRe: [fdt] FDT side meeting
Stephen McQuistin
2020-09-18
fdt
/arch/msg/fdt/rU1PcCt0en5BKHjySAeLHPpyrj0/
2932343
1913225
[fdt] Fwd: I-D Action: draft-petithuguenin-computerate-specifying-04.txt[fdt] Fwd: I-D Action: draft-petithuguenin-computerate-specifying-04.txt
Marc Petit-Huguenin
2020-09-12
fdt
/arch/msg/fdt/YvBOqc6JSIX37GM_MyeEF-7RP-g/
2930473
1913374
[fdt] FDT side meeting[fdt] FDT side meeting
Stephen McQuistin
2020-09-11
fdt
/arch/msg/fdt/DleZr-Rv7GT1q_I_N02ifuuQMLI/
2930071
1913225
[fdt] Cancelled: FDT side meeting[fdt] Cancelled: FDT side meeting
Stephen McQuistin
2020-09-10
fdt
/arch/msg/fdt/vd1zGXVUjTqKM5QV3DiB3yGG7Dc/
2929369
1912287
Re: [fdt] Proposed charter text & meetingRe: [fdt] Proposed charter text & meeting
David Kemp
2020-09-07
fdt
/arch/msg/fdt/H9LDO4Vi6U1Sz4ITcBODWMY8Ds4/
2927766
1909539
Re: [fdt] Proposed charter text & meetingRe: [fdt] Proposed charter text & meeting
Stephen McQuistin
2020-09-07
fdt
/arch/msg/fdt/ci88UVxQQnZR9tSboUmLUnVqy0w/
2927715
1909539
[fdt] FDT side meeting[fdt] FDT side meeting
Stephen McQuistin
2020-09-07
fdt
/arch/msg/fdt/qcxQ_Ul3PoQMVIzpToh1EwauS4o/
2927712
1912287
Re: [fdt] Proposed charter text & meetingRe: [fdt] Proposed charter text & meeting
Stephane Bortzmeyer
2020-09-06
fdt
/arch/msg/fdt/mG5rK2DwXlpfxo4dTM1RKzANL3Y/
2927582
1909539
Re: [fdt] Proposed charter text & meetingRe: [fdt] Proposed charter text & meeting
Marc Petit-Huguenin
2020-09-06
fdt
/arch/msg/fdt/b-2jwDvnucUrZwkOQw-NmV-bnYk/
2927577
1909539
Re: [fdt] Proposed charter text & meetingRe: [fdt] Proposed charter text & meeting
Stephane Bortzmeyer
2020-09-06
fdt
/arch/msg/fdt/yqU25iO2EDNQcaKBSnM-oec_RJU/
2927574
1909539
Re: [fdt] Proposed charter text & meetingRe: [fdt] Proposed charter text & meeting
Stephen McQuistin
2020-08-28
fdt
/arch/msg/fdt/lhuOq_KFhYfvDPja_An1LGMt7ks/
2924759
1909539
Re: [fdt] Proposed charter text & meetingRe: [fdt] Proposed charter text & meeting
Marc Petit-Huguenin
2020-08-28
fdt
/arch/msg/fdt/0vq-mW9Vu2Q2DHj7-QQKOEck-Y4/
2924752
1909539
Re: [fdt] Proposed charter text & meetingRe: [fdt] Proposed charter text & meeting
Carsten Bormann
2020-08-28
fdt
/arch/msg/fdt/XEwAxUi_HP2WRKNBBZiCXxCY5nA/
2924738
1909539