All events
Filter
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
-
Doors Open @ Computer Science
Join us to discuss ideas and opportunities to collaborate with the School
Our Doors Open Day includes 60+ individual demos and workshops. Presenting these will be our staff and students, with representation from 1st year right through...
-
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...
-
Sustainable Ceilidh
Part of the annual AVICOM festival
Join the School of Computer Science for a Sustainable Ceilidh, an integral part of the International Committee for Audiovisual, New Technologies and Social...
-
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...
