diff --git a/_posts/2023-11-27-making-networks-safe-and-agile-with-formal-methods-and-programming-abstractions.md b/_posts/2023-11-27-making-networks-safe-and-agile-with-formal-methods-and-programming-abstractions.md
index 3a4ccaf..c540669 100644
--- a/_posts/2023-11-27-making-networks-safe-and-agile-with-formal-methods-and-programming-abstractions.md
+++ b/_posts/2023-11-27-making-networks-safe-and-agile-with-formal-methods-and-programming-abstractions.md
@@ -1,6 +1,6 @@
 ---
 layout: post
-title:  "Making Networks Safe and Agile with Formal Methods and Programming Abstractions"
+title:  "Making Networks Safe and Agile with Formal Methods and Programming Abstractions: Future Directions"
 authors: [nate, arvind, ratul, todd, david, anduo, pamela]
 categories: [formal methods, programming languages]
 image: assets/images/pl-nets.png