\environment fonts_env
\environment lsr_env

\startcomponent title

\setuplayout[wide]

\definemakeup[title][align=middle]

\startmakeup[title]
  {\switchtobodyfont[30pt,ss] Formal Verification of \blank[medium] High-Level Synthesis}
  \blank[1cm]
  {\bfb\ss Late Stage Review}
  \blank[2cm]
  {\rma Yann Herklotz Grave}
  \blank[3cm]

  {\leavevmode\externalfigure[figures/vericert.pdf][location=local]}
  \blank[3cm]

  % http://wiki.contextgarden.net/Command/currentdate
  {\bf Imperial College London}\blank
  \currentdate[month,year]
  \blank[5cm]

  \startalignment[flushleft]
    \setupinterlinespace[3.8ex]
    \starttabulate[format={|l|l|}]
      \NC \bold{Supervisor} \NC John Wickerson \NC \NR
      \NC \bold{Examiner}   \NC George A. Constantinides \NC \NR
      \NC \bold{Examiner}   \NC Philippa Gardner \NC \NR
      \NC \bold{CID}        \NC 01062783       \NC \NR
    \stoptabulate
  \stopalignment
\stopmakeup

\stopcomponent
