Re: [arch-d] Making Networks Safe and Agile with Formal Methods and Programming Abstractions: Future DirectionsRe: [arch-d] Making Networks Safe and Agile with Formal Methods and Programming Abstractions: Future Directions
Marc Petit-Huguenin
2023-11-28
architecture-discuss
/arch/msg/architecture-discuss/m1mC4yBFo2WqYyIiHY8Wb-Wx988/
3389429
2100482
[arch-d] Making Networks Safe and Agile with Formal Methods and Programming Abstractions: Future Directions[arch-d] Making Networks Safe and Agile with Formal Methods and Programming Abstractions: Future Directions
Hesham ElBakoury
2023-11-28
architecture-discuss
/arch/msg/architecture-discuss/d053n1HPwb29ZPHZCmOYsIM_xy4/
3389413
2100482
[arch-d] Reminder: Call for Papers: IAB workshop on Barriers to Internet Access of Services (BIAS)[arch-d] Reminder: Call for Papers: IAB workshop on Barriers to Internet Access of Services (BIAS)
IAB Executive Administrative Manag…
2023-11-20
architecture-discuss
/arch/msg/architecture-discuss/blXdVPR0envT202zgDZZao-rlK4/
3386422
2098970
[arch-d] Taming particular aspects of the Internet[arch-d] Taming particular aspects of the Internet
S Moonesamy
2023-11-05
architecture-discuss
/arch/msg/architecture-discuss/TceyrRNrWm5K91XHDzf48hm-MRc/
3378728
2095492