commit another bunch of changes

[~bandali/bndl.org] / publications.html
diff --git a/publications.html b/publications.html

deleted file mode 100644 (file)

index 9743e5a..0000000
--- a/publications.html
+++ /dev/null
@@ -1,83 +0,0 @@
-<!DOCTYPE html>
-<html lang="en">
-  <head>
-    <meta charset="utf-8" />
-    <meta name=viewport content="width=device-width, initial-scale=1" />
-    <title>Amin Bandali's Publications</title>
-    <meta
-      name="description"
-      content="Amin Bandali's publications" />
-    <link rel="stylesheet" href="/style.css" />
-  </head>
-  <body>
-    <main id="publications">
-      <header>
-        <h1 id="title"><a href="/">bandali</a></h1>
-        <h2 id="subtitle">Publications</h2>
-      </header>
-      <section>
-        <p>
-          <a href="#conference">conference</a>
-          |
-          <a href="#talks">talks</a>
-        </p>
-      </section>
-
-      <h3 id="conference">Conference</h3>
-      <section>
-        <dl>
-          <dt>
-            A Comparison of the Declarative Modelling Languages B,
-            Dash, and TLA<sup>+</sup>
-            <span class="plinks">
-              [
-              <a href="publications/modre2018-declarative.pdf">pdf</a>
-              |
-              <a href="publications/modre2018-declarative.bib">bib</a>
-              |
-              <a href="https://doi.org/10.1109/MoDRE.2018.00008">doi</a>
-              |
-              <a href="https://cs.uwaterloo.ca/~nday/models/2018-modre">models</a>
-              ]
-            </span>
-          </dt>
-          <dd>
-            Ali Abbassi,
-            <a href="https://bandali.eu.org">Amin Bandali</a>,
-            <a href="https://cs.uwaterloo.ca/~nday/">Nancy A. Day</a>,
-            and Jose Serna
-          </dd>
-          <dd>
-            <em>2018 IEEE 8th International Model-Driven Requirements
-              Engineering Workshop (MoDRE)</em>
-          </dd>
-        </dl>
-      </section>
-
-      <h3 id="talks">Talks</h3>
-      <section>
-        <dl>
-          <dt>
-            The Magic of Specifications and Type Systems
-            <span class="plinks">
-            [
-            <a href="publications/cucsc-2017-slides.pdf"
-               title="presented at the Canadian Undergraduate Computer Science Conference 2017,
-University of Toronto, Canada, June 15-17, 2017">slides</a>
-            |
-            <a href="publications/eecs4080-poster.pdf"
-               title="presented at the Lassonde Undergraduate Summer Student Research Conference,
-York University, Toronto, Canada, August 15, 2017">poster</a>
-            ]
-            </span>
-          </dt>
-          <dd>
-            <a href="https://bandali.eu.org">Amin Bandali</a>,
-            Simon Hudon,
-            <a href="http://www.cse.yorku.ca/~jonathan/">Jonathan Ostroff</a>
-          </dd>
-        </dl>
-      </section>
-    </main>
-  </body>
-</html>