diff --git a/images/posts/Verified-Software-Workshop.jpg b/images/posts/Verified-Software-Workshop.jpg new file mode 100644 index 0000000000000000000000000000000000000000..37eb22439c81231cffb6c61a09965f4eab1f37a8 Binary files /dev/null and b/images/posts/Verified-Software-Workshop.jpg differ