All events
Filter
Filtered by:
Clear all filters-
-
Clear allGeography and Sustainable Development (Selected) Mathematics and Statistics (Selected) Art History 52 Centre for Energy Ethics 56 Computer science 36 Divinity 107 Economics and Finance 98 Equality, Diversity and Inclusion (EDI) 33 Film Studies 49 History 68 Management 75 Principal's office 36 Social Anthropology 74
Fully-matching results
-
CIRCA lunchtime seminar
Peiran Wu will give an introduction to Lean, the theorem-proving software.
-
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
Chris Brown will speak on "Semi-Automatic Ladderisation: Improving Code Security through Rewriting and Dependent Types", and Victoria Ironmonger...
-
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...
-
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...
-
St Leonard's Lecture Series
Following the success so far of the St Leonard's Lecture Series 2023-2024, St Leonard's College and the Graduate School for Interdisciplinary...
-
Environmental Change Research Group Seminar -- Craig Smeaton (SGSD UoStA)
Overview of SGSD analytical capabilities
Overview of SGSD analytical capabilities