+</td>
+</tr>
+
+
+<tr valign="top">
+<td align="right" class="bibtexnumber">
+[<a name="bandali-magic-lassonde-2017">2</a>]
+</td>
+<td class="bibtexitem">
+<a href="https://shemshak.org/~bandali/">Amin Bandali</a>, <a href="https://github.com/cipher1024">Simon Hudon</a>, and <a href="https://www.eecs.yorku.ca/~jonathan/">Jonathan S. Ostroff</a>.
+ The magic of specifications and type systems.
+ Presented at the 2017 Lassonde Undergraduate Summer Student Research
+ Conference, York University, Toronto, Canada, August 2017.
+[ <a href="bandali-bib.html#bandali-magic-lassonde-2017">bib</a> |
+<a href="https://p.bndl.org/eecs4080-poster.pdf">poster</a> ]
+
+</td>
+</tr>
+
+
+<tr valign="top">
+<td align="right" class="bibtexnumber">
+[<a name="bandali-magic-cucsc-2017">1</a>]
+</td>
+<td class="bibtexitem">
+<a href="https://shemshak.org/~bandali/">Amin Bandali</a>, <a href="https://github.com/cipher1024">Simon Hudon</a>, and <a href="https://www.eecs.yorku.ca/~jonathan/">Jonathan S. Ostroff</a>.
+ The magic of specifications and type systems.
+ Presented at the Canadian Undergraduate Computer Science Conference
+ 2017, University of Toronto, Canada, June 2017.
+[ <a href="bandali-bib.html#bandali-magic-cucsc-2017">bib</a> |
+<a href="https://p.bndl.org/cucsc-2017-slides.pdf">slides</a> ]
+