All events
Filter
Filtered by:
Clear all filters-
-
Clear allCentre for Energy Ethics (Selected) Mathematics and Statistics (Selected) Art History 64 Chemistry 69 Computer science 48 Earth and Environmental Sciences 45 English 75 Film Studies 62 Geography and Sustainable Development 55 Modern Languages 70 Principal's office 49 Social Anthropology 63 STACEES 41
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...
-
3M Planet Final
Join us in Parliament Hall for the finals of the 3MPlanet competition. Each of our seven finalists has distilled their honours thesis on topics related to...
-
Painting in Steam -- new start time of 2pm
Climate, Combustion, and Pollution in British Art
Join the School of Art History and Dr Stephanie O'Rourke for 'Painting in Steam: Climate, Combustion, and Pollution in British Art'. Reception...
-
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
-
Acting on Climate Change
Policy, Rights and Net Zero
Balancing rising energy demands with the need to curb and adapt to anthropogenic climate change in a just and equitable way is at the heart of an existential...
-
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...