All events
Fully-matching results
-
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
-
The St Andrews Graduate Conference in Ancient Philosophy (Day 1)
The St Andrews Graduate Conference in Ancient Philosophy this year focuses on 'The Ideal Citizen'. Graduate students from the UK, the US, Canada,...
-
The St Andrews Graduate Conference in Ancient Philosophy (Day 2)
The St Andrews Graduate Conference in Ancient Philosophy this year focuses on 'The Ideal Citizen'. Graduate students from the UK, the US, Canada,...
-
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
Peiran Wu will give an introduction to Lean, the theorem-proving software.
-
JJ Valletta Memorial Lecture 2023
From machine learning to migration: Quantitative approaches for understanding animal groups on the move. Lecture by Professor Colin Torney, U. Glasgow.
Professor Colin Torney, University of Glasgow, will deliver the 2nd annual JJ Valletta Memorial Lecture on "From machine learning to migration:...
-
CIRCA lunchtime seminar
Edwin Brady will speak on "The Idris Programming Language", and Jon Fraser will speak on "Fourier analysis in finite fields". All...
-
Logos Institute research seminar -- Autumn 2023, week 8
Professor Greg Restall (St Andrews)
The weekly research seminar of the Logos Institute for Analytic and Exegetical Theology takes places on Fridays from 3.30 to 5pm in the Senior Common Room of St...
-
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
Our speakers are: Carla Biermann Title: Sampling solutions to constraint satisfaction problems Abstract: State-of-the-art constraint programming solvers have...