X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/0c44106aa6060fb4836f54b6230dfaae6ed8ddc1..3fdab855a4dd23026c0320dbb01a58acbfd7c728:/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