All events

1 result found
  2. Computer Science PGR Seminar

    Computer Science PGR Seminar

    Constantine Theocharis: Type Theory with Erasure

    All are welcome to listen to our speaker Constantine Theocharis. Abstract: Programming languages with rich type systems can express strong correctness...

    Date
    Date
    Tuesday 27 January 2026
    Time
    03:00 pm to 3:45pm
    Location
    Jack Cole Building

Cookie preferences