X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/7808cfc75162b31f8a0a3fa6c462bea40c82d360..76b32a1423b69a094d42f50c0a7906bece44fb8e:/bandali-cv.txt?ds=inline

diff --git a/bandali-cv.txt b/bandali-cv.txt
index 2195709..2f6711f 100644
--- a/bandali-cv.txt
+++ b/bandali-cv.txt
@@ -95,9 +95,9 @@ PUBLICATIONS & PRESENTATIONS
       MMath Thesis, University of Waterloo, David R. Cheriton
       School of Computer Science, July 2020.
 
-      pdf: https://p.bndl.org/bandali-mmath-thesis.pdf
+      pdf: https://bndl.org/mmath/bandali-mmath-thesis.pdf
       hdl: https://hdl.handle.net/10012/16059
-      http: https://bndl.org/mmath
+      http: https://bndl.org/mmath/
 
   TALKS
 
@@ -109,7 +109,7 @@ PUBLICATIONS & PRESENTATIONS
       slides: https://p.bndl.org/bandali-jami-libreplanet-2021.pdf
       slides with notes:
        https://p.bndl.org/bandali-jami-libreplanet-2021-with-notes.pdf
-      http: https://bndl.org/libreplanet-2021
+      http: https://bndl.org/2021/03/20/libreplanet-2021
 
     The Magic of Specifications and Type Systems