All events
Filter
Filtered by:
Clear all filters-
-
Clear allComputer science (Selected) Geography and Sustainable Development (Selected) Art History 54 Biology 62 Centre for Energy Ethics 60 Divinity 110 Economics and Finance 98 Equality, Diversity and Inclusion (EDI) 36 Film Studies 52 History 71 Management 77 Mathematics and Statistics 35 Principal's office 40 Psychology and Neuroscience 55 Social Anthropology 78
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
-
Doors Open @ Computer Science
Join us to discuss ideas and opportunities to collaborate with the School
Our Doors Open Day includes 60+ individual demos and workshops. Presenting these will be our staff and students, with representation from 1st year right through...
-
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...
-
Book Launch -- Author Meets Critique
'Engineering Reality' with Cornelia Helmcke
During this book launch event, author Cornelia Helmcke will meet critics Bibiana Duarte-Abadía (Wageningen University) and Christopher Schulz (University of St...
-
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...
-
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...