All events
Fully-matching results
-
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
Peiran Wu will give an introduction to Lean, the theorem-proving software.
-
CIRCA lunchtime seminar
Edwin Brady will speak on "The Idris Programming Language", and Jon Fraser will speak on "Fourier analysis in finite fields". All...
-
An evening with Austrian author Eva Reisinger
Eva Reisinger will read from her books "Was geht Österreich" and "Männer töten", for which she was nominated for the Austrian Debut...
-
Charles-St Andrews: Academic synergy (hybrid event)
Charles-St Andrews strategic partnership
This hybrid event can be accessed online, and is part of a "University of St Andrews day" at Charles University. It is intended for University...
-
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
-
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...
-
Screening Politics---Film Festivals, Archives and Cinematic Exhibition in the Cold War
Workshop organised by the German Screen Studies Network (GSSN)
This GSSN workshop focuses on the "politics" of film exhibition in the Cold War, i.e., the influence of institutional actors from politics, culture...
-
Virtual Museums: Sustainable preservation and promotion of heritage
ICOM AVICOM Conference
Join the School of Computer Science for the upcoming International Council of Museums, International Committee for Audiovisual, New Technologies and Social...
-
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...