diff --git a/teaching/2024/cs422/CS422-Fall-2024-02-Conventional-Executable-Semantics.pdf b/teaching/2024/cs422/CS422-Fall-2024-02-Conventional-Executable-Semantics.pdf new file mode 100644 index 0000000..3fca127 Binary files /dev/null and b/teaching/2024/cs422/CS422-Fall-2024-02-Conventional-Executable-Semantics.pdf differ