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
None
/arch/msg/irtf-discuss/IN-Mhfc1sNTN7IWbZ4fDzA04Tbs/
3244757
2038084
Re: [115attendees] Usable formal methods side meeting at IETF 115Re: [115attendees] Usable formal methods side meeting at IETF 115
Marc Petit-Huguenin
2022-11-06
115attendees
None
/arch/msg/115attendees/IsscNOYiF8vesuVTsZSoNgz-6m0/
3244758
2038083
Re: [115attendees] Usable formal methods side meeting at IETF 115Re: [115attendees] Usable formal methods side meeting at IETF 115
Colin Perkins
2022-11-06
115attendees
None
/arch/msg/115attendees/aeMSeblgcdxX08wJBIlLOKnDtwM/
3244748
2038083
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
None
/arch/msg/irtf-discuss/Aik62uW0zwGWvYuQiS_Y-_QzX60/
3244747
2038084
Re: [115attendees] Usable formal methods side meeting at IETF 115Re: [115attendees] Usable formal methods side meeting at IETF 115
Stephane Bortzmeyer
2022-11-04
115attendees
None
/arch/msg/115attendees/kG6L6-OGfQt1EBBTC5YZOlzqbgg/
3244563
2038083
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
None
/arch/msg/irtf-discuss/h5-gDbjAbROzYboBmeJBbLwmrag/
3244562
2038084
I-D Action: draft-petithuguenin-computerate-specifying-17.txtI-D Action: draft-petithuguenin-computerate-specifying-17.txt
internet-drafts
2022-08-07
i-d-announce
None
/arch/msg/i-d-announce/jxli8ObHbq7yn_TauGk3t1px6RY/
3209388
2024146
[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
None
/arch/msg/fdt/1StakBcuVjLmEOIAXKZQ2a3NNh0/
3097381
1981301
I-D Action: draft-petithuguenin-computerate-specifying-16.txtI-D Action: draft-petithuguenin-computerate-specifying-16.txt
internet-drafts
2021-11-22
i-d-announce
None
/arch/msg/i-d-announce/uRbi1zV3xwgGemIz_lp8GTqdjgo/
3097380
1981300
[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
None
/arch/msg/fdt/e1kV7CddHvgGIXeC1FEhki4yvuk/
3091866
1979138
I-D Action: draft-petithuguenin-computerate-specifying-15.txtI-D Action: draft-petithuguenin-computerate-specifying-15.txt
internet-drafts
2021-11-07
i-d-announce
None
/arch/msg/i-d-announce/gucqAITsLQYOUnGW_xHBYmuTlXY/
3091865
1979137
[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
None
/arch/msg/fdt/fuIl6neePsSoKIPE4c8RvAFcBlI/
3082185
1974889
I-D Action: draft-petithuguenin-computerate-specifying-14.txtI-D Action: draft-petithuguenin-computerate-specifying-14.txt
internet-drafts
2021-10-11
i-d-announce
None
/arch/msg/i-d-announce/-iUfTg9jW8WrLP9fOuWYopP7oTI/
3082179
1974885
[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
None
/arch/msg/fdt/B-f7Uka8RkjLEnrEF8jRH_Hn5pA/
3077701
1973154
I-D Action: draft-petithuguenin-computerate-specifying-13.txtI-D Action: draft-petithuguenin-computerate-specifying-13.txt
internet-drafts
2021-09-27
i-d-announce
None
/arch/msg/i-d-announce/WohkyDdLZ02jCk0APuynYrt_aQ8/
3077699
1973153
[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
None
/arch/msg/fdt/H3v4Hp3Jre7VB4DGVitsQapgLDI/
3071286
1970482
I-D Action: draft-petithuguenin-computerate-specifying-12.txtI-D Action: draft-petithuguenin-computerate-specifying-12.txt
internet-drafts
2021-09-06
i-d-announce
None
/arch/msg/i-d-announce/-iEdzm6Qbkh0IBRy1AhG2sxxH8Y/
3071285
1970481
[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
None
/arch/msg/fdt/JtHdB5Z57VR6IhUyGu4NluMmhik/
3066914
1968646
I-D Action: draft-petithuguenin-computerate-specifying-11.txtI-D Action: draft-petithuguenin-computerate-specifying-11.txt
internet-drafts
2021-08-23
i-d-announce
None
/arch/msg/i-d-announce/EtMXA-ccLYDu6XTvjXWOpiJ7Ia8/
3066910
1968643
[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
None
/arch/msg/fdt/a6Y40kbZ2kvhDIwrtTJhPI8Pze0/
3065096
1967816
I-D Action: draft-petithuguenin-computerate-specifying-10.txtI-D Action: draft-petithuguenin-computerate-specifying-10.txt
internet-drafts
2021-08-16
i-d-announce
None
/arch/msg/i-d-announce/SOIdp4zLIRfrIx3h5lv0jpvGKeY/
3065092
1967813
[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
None
/arch/msg/fdt/bRq88vn1sBiI1HG4kCjRrIp1_is/
3039108
1956545
I-D Action: draft-petithuguenin-computerate-specifying-09.txtI-D Action: draft-petithuguenin-computerate-specifying-09.txt
internet-drafts
2021-05-30
i-d-announce
None
/arch/msg/i-d-announce/Ltaq04AHKCKcn3BU1aQQ0yCt_Ic/
3039106
1956544
[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
None
/arch/msg/fdt/eDYcZSLs9zDqqfWC40222JsdI90/
3026727
1950927
I-D Action: draft-petithuguenin-computerate-specifying-08.txtI-D Action: draft-petithuguenin-computerate-specifying-08.txt
internet-drafts
2021-04-25
i-d-announce
None
/arch/msg/i-d-announce/F7ZsbX1qBXGOBHeze2eBttnDI-4/
3026726
1950926
[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
None
/arch/msg/fdt/wqq_4zHBjsIlx7b1OTfYH0_8fK8/
3015156
1946209
I-D Action: draft-petithuguenin-computerate-specifying-07.txtI-D Action: draft-petithuguenin-computerate-specifying-07.txt
internet-drafts
2021-03-28
i-d-announce
None
/arch/msg/i-d-announce/MfB4SuomY4y4dxj-ZMX5qzhm54Q/
3015155
1946208
[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
None
/arch/msg/fdt/UVCKxcBBlQ-sKEBYa0Z2SlNXAKk/
3000211
1940219
I-D Action: draft-petithuguenin-computerate-specifying-06.txtI-D Action: draft-petithuguenin-computerate-specifying-06.txt
internet-drafts
2021-02-21
i-d-announce
None
/arch/msg/i-d-announce/mlAmlPY6fkViyvBydVNNnHfk_1g/
3000209
1940218
[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
None
/arch/msg/fdt/hrdETkGp5ZpVCcJMYIuWjKPxF8o/
2991926
1936699
I-D Action: draft-petithuguenin-computerate-specifying-05.txtI-D Action: draft-petithuguenin-computerate-specifying-05.txt
internet-drafts
2021-02-01
i-d-announce
None
/arch/msg/i-d-announce/WV8c_xK2RiWp3KY9MG_tb9A2IVE/
2991862
1936683
[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
None
/arch/msg/fdt/YvBOqc6JSIX37GM_MyeEF-7RP-g/
2930473
1913374
I-D Action: draft-petithuguenin-computerate-specifying-04.txtI-D Action: draft-petithuguenin-computerate-specifying-04.txt
internet-drafts
2020-09-12
i-d-announce
None
/arch/msg/i-d-announce/kSuQqT4jpV7D7pe6GzReb0Im6x0/
2930472
1913373
I-D Action: draft-petithuguenin-computerate-specifying-03.txtI-D Action: draft-petithuguenin-computerate-specifying-03.txt
internet-drafts
2020-03-09
i-d-announce
None
/arch/msg/i-d-announce/xFtqOhwUwVXYTWQ4y0tWQ4ocsTw/
2848187
1883470
Re: [hackathon] Formal languages side meeting at IETF 107Re: [hackathon] Formal languages side meeting at IETF 107
Marc Petit-Huguenin
2020-03-02
hackathon
None
/arch/msg/hackathon/hdjTHXdZbfhicqjP6xqKiOMo5HY/
2843403
1881257
Re: [fdt] Formal languages side meeting at IETF 107Re: [fdt] Formal languages side meeting at IETF 107
Marc Petit-Huguenin
2020-03-02
fdt
None
/arch/msg/fdt/qyOQNOuwceqwlIkQ87zuQza8xzw/
2843404
1881258
[fdt] Summary of the Formal Languages Bar BoF at IETF 106 in Singapore[fdt] Summary of the Formal Languages Bar BoF at IETF 106 in Singapore
Stephen McQuistin
2019-12-04
fdt
None
/arch/msg/fdt/kDfSHL4_EaVYhkX2wuUTAwk-jEM/
2812737
1869776
[fdt] Fwd: I-D Action: draft-petithuguenin-computerate-specifying-02.txt[fdt] Fwd: I-D Action: draft-petithuguenin-computerate-specifying-02.txt
Marc Petit-Huguenin
2019-11-20
fdt
None
/arch/msg/fdt/tMDF6AWKQbG_J451VTfj-daFL5Y/
2808142
1868171
I-D Action: draft-petithuguenin-computerate-specifying-02.txtI-D Action: draft-petithuguenin-computerate-specifying-02.txt
internet-drafts
2019-11-17
i-d-announce
None
/arch/msg/i-d-announce/BijT1zVOJ7ulRH3cPXgAkgwLPLs/
2805812
1867215
Re: [hackathon] Formal Languages at the HackathonRe: [hackathon] Formal Languages at the Hackathon
Marc Petit-Huguenin
2019-11-06
hackathon
None
/arch/msg/hackathon/Lfb1t5DRftYvBE6ttD-sSqXDb84/
2802214
1866165