diff --git a/slides/2024-07-05_formal_verification_solidity_july-2024.pdf b/slides/2024-07-05_formal_verification_solidity_july-2024.pdf
new file mode 100644
index 000000000..266888977
Binary files /dev/null and b/slides/2024-07-05_formal_verification_solidity_july-2024.pdf differ