X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/a974e138a0e59afd40a7c31821ab70c3285cf7b8..3dbe8da613fd8203003e338bf8928f6abf0bf125:/bandali-cv.txt

diff --git a/bandali-cv.txt b/bandali-cv.txt
index 2195709..f4351b3 100644
--- a/bandali-cv.txt
+++ b/bandali-cv.txt
@@ -2,15 +2,16 @@
 
                              Amin Bandali
 
-              ------------------------------------------
-              site:  https://bndl.org
-              email: bandali@gnu.org
-                     bandali@uwaterloo.ca
-              phone: available upon request via email
+         ----------------------------------------------------
+         site:  https://kelar.org/~bandali
+         email: bandali@kelar.org
+                bandali@gnu.org
+                bandali@uwaterloo.ca
+         phone: available upon request via email
 
-              this file: https://bndl.org/bandali-cv.txt
-              last update: 2021-10-30
-              ------------------------------------------
+         this file: https://kelar.org/~bandali/bandali-cv.txt
+         last update: 2021-10-30
+         ----------------------------------------------------
 
 
 SUMMARY OF QUALIFICATIONS
@@ -71,8 +72,9 @@ RESEARCH INTERESTS
 
 PUBLICATIONS & PRESENTATIONS
 
-  The complete bibliography of my publications is available as
-  a BibTeX bibliography file from https://bndl.org/bandali.bib.
+  The complete bibliography of my publications is available
+  as a BibTeX bibliography file from
+  https://kelar.org/~bandali/bandali.bib.
 
   PAPERS
 
@@ -95,9 +97,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://kelar.org/~bandali/mmath/bandali-mmath-thesis.pdf
       hdl: https://hdl.handle.net/10012/16059
-      http: https://bndl.org/mmath
+      http: https://kelar.org/~bandali/mmath/
 
   TALKS
 
@@ -109,7 +111,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://kelar.org/~bandali/2021/03/20/libreplanet-2021
 
     The Magic of Specifications and Type Systems