Centre for Interdisciplinary Research in Computational Algebra (CIRCA) seminar

Hongyi Huang from the Southern University of Science and Technology, China, will speak. Title: Groups, permutations and bases Abstract: The notion of a base for...

Date

Date

Thursday 5 February 2026

Time

01:00 pm to 2:00pm

Location

Mathematical Institute

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...

Date

Date

Thursday 19 February 2026

Time

01:00 pm to 2:00pm

Location

Mathematical Institute

Computer Science PGR Seminar

Leonid Nosovitskiy and Bhakti Shah

Leonid Nosovitskiy will present Designing Interruptible Protocols in Distributed Systems. Abstract: Communication protocols are ubiquitous in distributed...

Date

Date

Tuesday 24 February 2026

Time

03:00 pm to 4:00pm

Location

Jack Cole Building

Centre for Interdisciplinary Research in Computational Algebra (CIRCA) seminar

Duncan Adamson will present Colouring Temporal Graphs. Abstract: Temporal graphs are a generalisation of (static) graphs, representing networks that change over...

Date

Date

Thursday 12 March 2026

Time

01:00 pm to 2:00pm

Location

Mathematical Institute