re-add sourcehut build manifest

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

diff --git a/index.html b/index.html
index c58ebd7..44e3370 100644 (file)
--- 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>
 
@@ -126,18 +143,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>