diff --git a/README.md b/README.md
index 19b7efa6..2c1f6ef3 100644
--- a/README.md
+++ b/README.md
@@ -14,6 +14,12 @@ Lean is an expressive functional programming language that allows to formalize t
 # Documentation
 
 Work in progress book/reference manual: [Scientific Computing in Lean](https://lecopivo.github.io/scientific-computing-lean/)
+
+Presentations:
+- [Automatic Differentiation in Lean](https://www.youtube.com/watch?v=Kjx5KvB8FL8)
+  Overview and motivation behind automatic differentiation in Lean, examples of forward and reverse mode AD.
+- [Scientific Computing in Lean](https://umbc.webex.com/umbc/ldr.php?RCID=fdb070fac47f174fcecf60a96960eacc)
+  Overview and motivation behind SciLean, working with n-dimensional arrays and symbolic/automatic differentiation.
   
 # Installation and running examples/tests