All events
Fully-matching results
-
CIRCA lunchtime seminar
Peiran Wu will give an introduction to Lean, the theorem-proving software.
-
CIRCA lunchtime seminar
Chris Brown will speak on "Semi-Automatic Ladderisation: Improving Code Security through Rewriting and Dependent Types", and Victoria Ironmonger...
-
An evening with Austrian author Eva Reisinger
Eva Reisinger will read from her books "Was geht Österreich" and "Männer töten", for which she was nominated for the Austrian Debut...
-
CIRCA lunchtime seminar
Edwin Brady will speak on "The Idris Programming Language", and Jon Fraser will speak on "Fourier analysis in finite fields". All...
-
CIRCA lunchtime seminar
Ian Miguel will speak on recent progress in solving Puzznic, and Colva Roney-Dougal will talk about how to count the subgroups of the symmetric group
-
CIRCA lunchtime seminar
There will be a CIRCA lunchtime seminar on 14th March at 1pm in Theatre D of Maths. Peiran Wu and Yayi Zhu will speak. Peiran's Title: Irredundant bases...
-
CIRCA lunchtime seminar
Ursula Martin and Mun See Chang will speak at this lunchtime seminar on 'The Social Machine of Mathematics'. Abstract: How does mathematics come...
-
Curle Lecture 2023
Should we be perturbed about AI?
The vulnerability of artificial intelligence (AI) systems to adversarial perturbations raises questions around security and ethics, and many governments are now...
-
Cancelled
An evening with Austrian author Eva Reisinger
Eva Reisinger will read from her books "Was geht Österreich" and "Männer töten", for which she was nominated for the Austrian Debut...
-
Inaugural Lecture -- Professor Colva Roney-Dougal
Perfect symmetry: counting what matters
Before dying in a duel at the age of 20, Évariste Galois made some of the first discoveries in what came to be known as group theory: the study of symmetry....