From 3dbe8da613fd8203003e338bf8928f6abf0bf125 Mon Sep 17 00:00:00 2001 From: Amin Bandali Date: Thu, 4 Nov 2021 22:31:40 -0400 Subject: [PATCH 1/1] git-annex in bandali@jirud:~/src/site --- bandali-cv.txt | 28 ++++++++++++----------- cv.html | 4 ++-- se212-f19.html | 62 -------------------------------------------------- 3 files changed, 17 insertions(+), 77 deletions(-) delete mode 100644 se212-f19.html 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 diff --git a/cv.html b/cv.html index 6c57ce9..cb1c3ba 100644 --- a/cv.html +++ b/cv.html @@ -31,9 +31,9 @@ as bandali-cv.txt