update index: actually haven’t done any Rust in a while

[~bandali/bndl.org] / index.html

diff --git a/index.html b/index.html
index c58ebd7..0bb507f 100644 (file)
--- a/index.html
+++ b/index.html
@@ -71,8 +71,7 @@
 
         <p>
           On the side, I dabble in <a href="https://leanprover.github.io">Lean</a>
-          and <a href="https://www.rust-lang.org">Rust</a>, and enjoy
-          <a href="https://stallman.org/articles/on-hacking.html">hacking</a> on
+          and enjoy <a href="https://stallman.org/articles/on-hacking.html">hacking</a> on
           <a href="https://www.gnu.org/software/emacs/manual/elisp.html">Emacs Lisp</a>.
           I&rsquo;m also a <a href="https://www.gnu.org/philosophy/free-sw.en.html">free software</a>
           and <a href="https://www.gnu.org/licenses/copyleft.en.html">copyleft</a>
@@ -87,8 +86,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 +109,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>
 
@@ -126,18 +142,8 @@
       <p>
         Copyright (c) 2016&ndash;2019 Amin Bandali<br>
         Verbatim copying and redistribution of this entire page are
-        permitted provided this notice is preserved.<br>
-        The <a href="https://www.gnu.org/graphics/gnu-inside.html">
-        GNU Inside</a> banner is available under the
-        <a href="https://creativecommons.org/licenses/by-sa/2.0/">
-          Creative Commons Attribution-ShareAlike 2.0 License</a>.
+        permitted provided this notice is preserved.
       </p>
-      <div id="gnu-inside">
-        <a href="https://www.gnu.org">
-          <img src="images/gnu-inside.png"
-               alt="GNU Inside!" title="GNU Inside!"/>
-        </a>
-      </div>
     </footer>
   </body>
 </html>