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...
-
Cancelled
Scotland Europa Horizon Europe Capacity Building Session
Scotland Europa are a membership-based organisation, networking Scotland in Europe (www.scotlandeuropa.com). A number of Universities, including St Andrews, are...
-
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
-
Travel Registration Tool Introduction
Basic Submissions
Travel Registration Anyone intending to travel on University business in the UK or internationally (where this involves a flight or overnight stay) must...
-
Cancelled
Scotland Europa Horizon Europe Capacity Building Session
Scotland Europa are a membership-based organisation, networking Scotland in Europe (www.scotlandeuropa.com). A number of Universities, including St Andrews, are...
-
Online lecture: Promoting Sustainability in Higher Education: Strategies, Challenges and Impacts
Charles-St Andrews strategic partnership
Promoting Sustainability in Higher Education: Strategies, Challenges and Impacts Professor Ineke de Moortel is the co-lead of the University of St Andrews...
-
Ideas and Practices for Experiential Teaching and Learning from the Stanford d.school
Free interactive workshop for educators
Experiential learning can bring the classroom to life and empower our educators and students as co-creators of impactful curricula. CEED invites all educators...
-
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...