From: Amin Bandali
Date: Fri, 5 Nov 2021 02:31:40 +0000 (-0400)
Subject: git-annex in bandali@jirud:~/src/site
X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/commitdiff_plain/3dbe8da613fd8203003e338bf8928f6abf0bf125?ds=inline
git-annex in bandali@jirud:~/src/site
---
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
- Site
-- bndl.org
+- kelar.org/~bandali
- Email
-- bandali@gnu.org
bandali@uwaterloo.ca
+- bandali@kelar.org
bandali@gnu.org
bandali@uwaterloo.ca
- Phone
- available upon request via email
- Last update
diff --git a/se212-f19.html b/se212-f19.html
deleted file mode 100644
index e257deb..0000000
--- a/se212-f19.html
+++ /dev/null
@@ -1,62 +0,0 @@
-
-
-
-
-
-
-SE 212 Material — bandali
-
-
-
-Material from SE 212 tutorials
-
-This page contains slides and other material from
-SE 212
-tutorials held by me in Fall 2019.
-If you have any questions, concerns, or suggestions about the
-presented material, please email me at bandali@uwaterloo.ca or come
-see me during
-my Friday
-office hours.
-
-
-- Tutorial 1:
-
-
-- Tutorial 2:
-
-
-- Tutorial 3: â
-- Tutorial 4: â
-- Tutorial 5:
-
-
-- Tutorial 6: â
-- Tutorial 7: worked through questions 1â5 of Homework 7
-- Tutorial 8: â
- Tutorial 9: â
-- Tutorial 10: worked through questions 1â10 of Homework 10
-
-
-