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...
-
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
-
Chai Night with STAMSA
Kaleidoscope Alumni Network
Come along to meet fellow St Andrews Muslim Students Association and Islamic Society alumni and friends for an informal and friendly chai with light bites....
-
Light lunch with medical alumni
Kaleidoscope Alumni Network
Join us for a light lunch gathering at The Health Academy at the Royal Preston Hospital, Preston. We're looking forward to catching up with School of...
-
Limited access
In Conversation --- Iran: Wonders of Nature
Interdisciplinary panel discussion followed by Q&A with refreshments. Bringing together experts from disciplines across the University, we're asking...
-
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...
-
Beijing Alumni Event
We are delighted to inform you that Professor Brad MacKay, our Deputy Principal and Vice-Principal (International Strategy and External Relations) in the...
