48 results found
  1. CIRCA lunchtime seminar

    Peiran Wu will give an introduction to Lean, the theorem-proving software.

  2. CIRCA lunchtime seminar

    Chris Brown will speak on "Semi-Automatic Ladderisation: Improving Code Security through Rewriting and Dependent Types", and Victoria Ironmonger...

  3. USLAS (non-academic) Pension Scheme Meeting (aka Townhall meeting)

    Information session for members and non-members

    All non-academic staff (Grades 1 -- 5) are eligible to join the USLAS pension scheme. Whether you are already a member or not, come along to meet and...

  4. Get to know the Peppy app

    What is Peppy and how do you make the most of it?

    Join this interactive, lunchtime session for an overview of what Peppy actually is and how it can help you. With Peppy, you get direct access to human health...

  5. CIRCA lunchtime seminar

    Edwin Brady will speak on "The Idris Programming Language", and Jon Fraser will speak on "Fourier analysis in finite fields". All...

  6. 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,...

  7. 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...

  8. 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

  9. 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...

  10. 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,...