This month’s events

2 results found
  1. Centre for Interdisciplinary Research in Computational Algebra (CIRCA) seminar

    Centre for Interdisciplinary Research in Computational Algebra (CIRCA) seminar

    Edwin Brady will present Efficient Type-checking of a Dependently Typed Programming Language Abstract: Idris is a dependently typed programming language, which...

  2. Computer Science PGR Seminar

    Computer Science PGR Seminar

    Tilcia Woodville-Price & Zipei Li

    All are welcome to listen to our speakers Tilcia Woodville-Price and Zipei Li. Tilcia Woodville-Price will present Visualizing Uncertainty with Icon Arrays:...