From: Amin Bandali Date: Tue, 23 Apr 2019 05:51:41 +0000 (-0400) Subject: add presentations X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/commitdiff_plain/8b2bd4899f02ec1fa8f0d918396ea77afe0686ad add presentations --- diff --git a/index.html b/index.html index c58ebd7..d9d4a62 100644 --- a/index.html +++ b/index.html @@ -87,8 +87,9 @@

Publications

-
A Comparison of the Declarative Modelling Languages - B, Dash, and TLA+ +
+ A Comparison of the Declarative Modelling + Languages B, Dash, and TLA+ (pdf, bib, doi, @@ -109,8 +110,24 @@

Presentations

-
Will be added soon.
- +
+ The Magic of Specifications and Type + Systems +
+
Amin Bandali, Simon Hudon, + Jonathan Ostroff +
+
Slides + presented at + + CUCSC 2017, University of Toronto, Canada, June + 15-17, 2017. +
+
Poster + presented at + + Lassonde USSR Conference, York University, Toronto, Canada, + August 15, 2017.