All events
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...
-
Cancelled Limited access
Global South Connections -- co-ordinated by IBANS
Come along to meet people and share your experiences of moving to St Andrews
The Institute of Behavioural and Neural Sciences is pleased to host a catered lunch for all staff and postgraduate students from or based in the Global South....
-
Prof Manuel Spitschan (MPI): What does the eye tell the clock?
School of Psychology and Neuroscience Seminar
Prof Manuel Spitschan (Max Planck Institute for Biological Cybernetics, Tübingen): "What does the eye tell the clock? Mechanisms underlying the impact of...
-
CHANGED DATE: Dr Yvonne Skipper (Glasgow): Interventions to help young people spot misinformation
School of Psychology and Neuroscience Seminar
Dr Yvonne Skipper (Glasgow): "But wait that's not real. Co-creating interventions to help young people spot online misinformation", hosted by...
-
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
-
School of Psychology and Neuroscience -- Friday Seminar
On Friday 22nd, at 12noon we'll have Shiwen Li (Oxford) present on "The sensory, perceptual, and behavioural trajectories of iridescence --...
-
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...
