+\item {\large \tallnums Lassonde USSR Conference 2017}
+
+ \begin{itemize}
+ \item {\largersans The Magic of Specifications and Type Systems}
+ (\href{https://static.aminb.org/eecs4080-poster.pdf}{poster}),
+ at Lassonde Undergraduate Summer Student Research Conference, York University,
+ Toronto, Canada, August 15, 2017.
+ \end{itemize}
+