projects / ~bandali / bndl.org / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: ea846b4)
add publications page
authorAmin Bandali <bandali@gnu.org>
Sat, 17 Aug 2019 21:00:45 +0000 (17:00 -0400)
committerAmin Bandali <bandali@gnu.org>
Sat, 17 Aug 2019 23:02:14 +0000 (19:02 -0400)
publications.html [new file with mode: 0644] patch | blob
style.css patch | blob | blame | history

diff --git a/publications.html b/publications.html
new file mode 100644 (file)
index 0000000..0970fa9
--- /dev/null
+++ b/publications.html
@@ -0,0 +1,71 @@
+<!DOCTYPE html>
+<html lang="en">
+  <head>
+    <meta charset="utf-8" />
+    <meta name=viewport content="width=device-width, initial-scale=1" />
+    <title>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">bandali</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>
+            (<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>)
+          </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
+            (<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>)
+          </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>
diff --git a/style.css b/style.css
index 9c09240..163c9cf 100644 (file)
--- a/style.css
+++ b/style.css
@@ -101,3 +101,22 @@ p:first-child {
 p:last-child {
   margin-bottom: 0;
 }
+
+#publications section {
+  text-transform: none;
+}
+dl {
+  margin: 0;
+}
+/*
+ol {
+  margin: 0;
+  padding: 0;
+}
+ol li {
+  margin-top: 0.5em;
+}
+ol li:first-child {
+  margin-top: 0;
+}
+*/
Sources for my personal site