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
Understanding the role of viral proteases in RNA virus replication and virus-host interactions
Research seminar as part of the School of Biology's Biomolecular Sciences (BMS) external seminar series by Dr Edward Emmott, Institute of Systems,...
-
UN International Day of Women and Girls in Science
School of Biology Public Lecture
In honour of the UN International Day of Women and Girls in Science, and International Women's Day, the School of Biology EDI committee will be hosting a...
-
Mechanisms of TDP-43-induced neurodegenerative disease
Research seminar as part of the School of Biology's Biomolecular Sciences (BMS) External Seminar series by Dr Leeanne McGurk, School of Life Sciences,...
-
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...
-
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
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
-
How do antibiotics get into bacteria?
Research seminar as part of the School of Biology's Biomolecular Sciences (BMS) External Seminar series by Prof. Alex O'Neill, School of Molecular...
