X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/0c44106aa6060fb4836f54b6230dfaae6ed8ddc1..6486444748489166fe12cbaa624614bf7d0a4928:/index.m4
diff --git a/index.m4 b/index.m4
index fa7f4b0..2459b42 100644
--- a/index.m4
+++ b/index.m4
@@ -37,13 +37,13 @@ co-host of the Emacs.el podcast with
the Systems Committee of the
Computer Science Club of the
University of Waterloo, and an intern with the FSF tech team starting
-in May 2020.
+in spring 2020.
Papers
-- A Comparison of the Declarative Modelling Languages B, DASH, and
+
- A Comparison of the Declarative Modelling Languages B, Dash, and
TLA+
[ pdf
@@ -52,7 +52,7 @@ TLA+
-
-Ali Abbassi, Amin Bandali,
+Ali Abbassi, Amin Bandali,
Nancy A. Day, Jose Serna
2018 IEEE 8th International Model-Driven Requirements Engineering
Workshop (MoDRE)
@@ -76,7 +76,7 @@ York University, Toronto, Canada, August 15, 2017">poster
-
-Amin Bandali,
+Amin Bandali,
Simon Hudon,
Jonathan S. Ostroff
@@ -136,5 +136,5 @@ and
-define(__copy, `2016–2019')dnl
+define(__copy, `2016–2020')dnl
include(footer.html)dnl