diff --git a/slides/Safe_types_untyped_contexts.pdf b/slides/Safe_types_untyped_contexts.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..1b45d333e8ef85754074c6394fedb96c0e1e2c54
Binary files /dev/null and b/slides/Safe_types_untyped_contexts.pdf differ