\newcommand{\tla}{TLA${}^+$}
\def\name{Amin Bandali}
+\def\site{bndl.org}
+\def\siteurl{https://\site}
% The following metadata will show up in the PDF properties
\hypersetup{
\medskip
\begin{minipage}[t]{0.495\textwidth}
- site: \href{https://bandali.eu.org}{bandali.eu.org} \\
+ site: \href{\siteurl}{\site} \\
email: \href{mailto:bandali@uwaterloo.ca}{bandali@uwaterloo.ca} \\
phone: available upon request
\end{minipage}
\begin{itemize}
\item \textsf{A Comparison of the Declarative Modelling Languages B,
Dash, and \tla} \textsf{\footnotesize
- (\href{https://bandali.eu.org/papers/modre2018-declarative.pdf}{pdf},
- \href{https://bandali.eu.org/papers/modre2018-declarative.bib}{bib})}
+ (\href{\siteurl/papers/modre2018-declarative.pdf}{pdf},
+ \href{\siteurl/papers/modre2018-declarative.bib}{bib})}
Ali Abbassi, Amin Bandali, Nancy A. Day, and Jose Serna\\
\textit{2018 IEEE 8th International Model-Driven Requirements
\begin{itemize}
\item \textsf{The Magic of Specifications and Type Systems}
- (\href{https://bandali.eu.org/talks/cucsc-2017-slides.pdf}{slides}),
+ (\href{\siteurl/talks/cucsc-2017-slides.pdf}{slides}),
at Canadian Undergraduate Computer Science Conference, University
of Toronto, Canada, Jun 15--17 2017.
\end{itemize}
\begin{itemize}
\item \textsf{The Magic of Specifications and Type Systems}
- (\href{https://bandali.eu.org/talks/eecs4080-poster.pdf}{poster}),
+ (\href{\siteurl/talks/eecs4080-poster.pdf}{poster}),
at Lassonde Undergraduate Summer Student Research Conference, York
University, Toronto, Canada, August 15, 2017.
\end{itemize}
\href{https://github.com/unitb/tex2png-hs}{\texttt{https://github.com/unitb/tex2png-hs}}
\item For more projects, visit my personal site at
- \href{https://bandali.eu.org}{\texttt{https://bandali.eu.org}}.
+ \href{\siteurl}{\texttt{\siteurl}}.
\end{itemize}
\section*{Miscellaneous}