From: Amin Bandali <bandali@gnu.org>
Date: Tue, 23 Apr 2019 05:51:41 +0000 (-0400)
Subject: add presentations
X-Git-Url: https://git.shemshak.org/~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 @@
       <section>
         <h2 id="publications">Publications</h2>
         <dl>
-          <dt><b>A Comparison of the Declarative Modelling Languages
-            B, Dash, and TLA<sup>+</sup></b>
+          <dt>
+            <strong>A Comparison of the Declarative Modelling
+            Languages B, Dash, and TLA<sup>+</sup></strong>
             (<a href="papers/2018-AbBaDaSe-modre.pdf">pdf</a>,
             <a href="papers/2018-AbBaDaSe-modre.bib">bib</a>,
             <a href="https://doi.org/10.1109/MoDRE.2018.00008">doi</a>,
@@ -109,8 +110,24 @@
       <section>
         <h2 id="presentations">Presentations</h2>
         <dl>
-          <dt>Will be added soon.</dt>
-          <!-- <dd></dd> -->
+          <dt>
+            <strong>The Magic of Specifications and Type
+              Systems</strong>
+          </dt>
+          <dd><strong>Amin Bandali</strong>, Simon Hudon,
+            Jonathan Ostroff
+          </dd>
+          <dd><a href="presentations/cucsc-2017-slides.pdf">Slides</a>
+            presented at
+            <abbr title="Canadian Undergraduate Computer Science Conference">
+              CUCSC 2017</abbr>, University of Toronto, Canada, June
+            15-17, 2017.
+          </dd>
+          <dd><a href="presentations/eecs4080-poster.pdf">Poster</a>
+            presented at
+            <abbr title="Lassonde Undergraduate Summer Student Research Conference">
+              Lassonde USSR Conference</abbr>, York University, Toronto, Canada,
+            August 15, 2017.</dd>
         </dl>
       </section>