All events
Fully-matching results
-
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...
-
CIRCA lunchtime seminar
Chris Brown will speak on "Semi-Automatic Ladderisation: Improving Code Security through Rewriting and Dependent Types", and Victoria Ironmonger...
-
CIRCA lunchtime seminar
The next CIRCA lunchtime seminar will be presented by Miguel del Rio Palma and Chris Stone. Location: Theatre C of Maths
-
CIRCA lunchtime seminar
The last CIRCA lunchtime seminar of term. This will be in Theatre D of Maths. Colva will speak on "The base size of a primitive group" (her current...
-
CIRCA lunchtime seminar
The next CIRCA lunchtime seminar will be in Theatre A of Maths. Steve Linton will be speaking on: Covering Codes, Gray Codes and Multiplying Matrices Sophie...
-
CIRCA lunchtime seminar
The speakers will be Jordi Coll and Michael Torpey. The venue is Maths Theatre C.
-
CIRCA lunchtime seminar
Peiran Wu will give an introduction to Lean, the theorem-proving software.
-
CIRCA lunchtime seminar
The speakers will be Ruth Hoffman and Ozgur Agkun (giving a shared talk), and Peter Cameron.
-
CIRCA lunchtime seminar
There will be short talks from Jacob Beaddie, on "General choice modelling", and from Finn Smith, on "Computing Translations of...
-
CIRCA lunchtime seminar
Edwin Brady will speak on "The Idris Programming Language", and Jon Fraser will speak on "Fourier analysis in finite fields". All...
