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...
-
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
-
Limited access
Dr Aidan Fowler on 'Patient Safety'
This April, the Mackenzie Institute for Early Diagnosis will welcome Dr Aidan Fowler, who will deliver this seminar on patient safety. Dr Fowler is the National...
-
Limited access
Mackenzie Institute event
Brain Health Seminar
An in-person event at the School of Medicine by the Mackenzie institute for Early Diagnosis "The Brain Economy" presented by Dr Harris Eyre...
-
Light lunch with medical alumni
Kaleidoscope Alumni Network
Join us for a light lunch gathering at The Health Academy at the Royal Preston Hospital, Preston. We're looking forward to catching up with School of...
-
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...
-
CIRCA lunchtime seminar
The last CIRCA seminar of the semester will be on April 11th. Ian Gent and Jiaping Lu wil speak. Jiaping's title Generation of Iterated Wreath Products of...
-
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...