All events

35 results found
  1. CIRCA lunchtime seminar

    CIRCA lunchtime seminar

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

  2. CIRCA lunchtime seminar

    CIRCA lunchtime seminar

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

  3. CIRCA lunchtime seminar

    CIRCA lunchtime seminar

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

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

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

  5. Peppy: How testosterone can help your menopause symptoms

    Peppy: How testosterone can help your menopause symptoms

    Peppy event

    Testosterone isn't just for men --- women produce this important hormone too. Testosterone is a hormone that can sometimes be used as part of HRT...

  6. IBANS --- Leap into a new collaboration!
    Limited access

    IBANS --- Leap into a new collaboration!

    Come and join our ECR Networking Lunch - all welcome

    The Institute of Behavioural and Neural Sciences (IBANS) is hosting a networking lunch for Early Stage Researchers (PIs, Postdocs, PhD and Masters levels) on...

  7. Peppy: Living with HRT

    Peppy: Living with HRT

    You are on HRT, brilliant! Is it what you expected, have symptoms crept back or are you experiencing unexpected side effects? - Free

    Join Laura Scrivens senior menopause practitioner as she talks through what you need to know to make sure HRT is working well for you. The options you have...

  8. Distinguished Lecture Series

    Distinguished Lecture Series

    The Atomic Human: Understanding Ourselves in the Age of AI

    We look forward to welcoming Prof Neil Lawrence, Cambridge who will talk about 'The Atomic Human: Understanding Ourselves in the Age of AI'. A vital...

  9. IBANS -- Leap into a new collaboration!
    Limited access

    IBANS -- Leap into a new collaboration!

    Come and join our ECR Networking Lunch - all welcome

    The Institute of Behavioural and Neural Sciences (IBANS) is hosting a networking lunch for Early Stage Researchers (PIs, Postdocs, PhD and Masters levels) on...

  10. Inaugural Lecture -- Professor Colva Roney-Dougal

    Inaugural Lecture -- Professor Colva Roney-Dougal

    Perfect symmetry: counting what matters

    Before dying in a duel at the age of 20, Évariste Galois made some of the first discoveries in what came to be known as group theory: the study of symmetry....