From 8b2bd4899f02ec1fa8f0d918396ea77afe0686ad Mon Sep 17 00:00:00 2001 From: Amin Bandali Date: Tue, 23 Apr 2019 01:51:41 -0400 Subject: [PATCH 1/1] add presentations --- index.html | 25 +++++++++++++++++++++---- 1 file changed, 21 insertions(+), 4 deletions(-) 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.
-- 2.20.1