Hosted by Citadel and Citadel Securities in partnership with Correlation One, this event is open to top students across Europe who identify as women. 

This datathon challenges students from Europe’s best universities to tackle real-world social challenges in topics such as urban traffic, renewable energy, and education while working through large and complex datasets. Check out this video from our first-ever North America Women’s Datathon event in Miami. 

New salad boxes:

Blenheim Beet Bowl (beetroot houmous, falafel & grains (VE))

Queen’s Quinoa (quinoa, spinach & feta cheese (VE))

Sheldonian Caesar (chicken & bacon caesar salad)

And a new range of ice creams now in.

Image: Cocktail set of chrome-plated steel by Norman Bel Geddes

The Oxford Numerical Modelling Society (OxNuMoS) is a new initiative with the goal of bringing together like-minded, passionate early-career researchers from a range of diverse disciplines (right across the MPLS division) to exchange individual experiences on the fundamentals of complex computational modelling. 

Researchers interested in joining should contact @email

Thu, 15 May 2025
16:00
Lecture Room 4, Mathematical Institute

TBA

Mayank Pandey
(Princeton)
Abstract

TBA

Lorentzian Gromov-Hausdorff convergence and pre-compactness
Mondino, A Sämann, C (14 Apr 2025)
Mon, 05 May 2025
16:00
L6

Modular arithmetic in the lambda-calculus

Maximilien Mackie
(University of Oxford)
Abstract

The lambda-calculus was invented to formalise arithmetic by encoding numbers and operations as abstract functions. We will introduce the lambda-calculus and present two encodings of modular arithmetic: the first is a recipe to quotient your favourite numeral system, and the second is purpose-built for modular arithmetic. A highlight of the second approach is that it does not require recursion i.e., it is defined without fixed-point operators. If time allows, we will also give an implementation of the Chinese remainder theorem which improves computational efficiency. 

Subscribe to