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

  7. Peppy: The science of your baby's sleep

    Peppy event

    Discover the science behind your baby's sleep (and why it might not be as bad as you think). Did you know that babies move through sleep cycles more...

  8. PMS -- Understanding your hormones

    Tackle pre-period mood, sleep & appetite changes: learn how hormones influence symptoms & ways to effectively manage them for wellbeing.

    This is a Peppy event. Feeling emotional, skin breaking out, tender breasts --- you've probably either dealt with or know someone who struggles with...

  9. Women's Health Matters

    How to get the health support you need (International Woman's Day)

    This event is hosted by Peppy. The UK has the 12th largest gender health gap, but how does this affect you and your health if you're a woman? Ever...

  10. Navigating the challenges of miscarriage

    This is a Peppy event. Join Fertility Practitioners, Stephanie Pryor and Suzanne Adams, as they share insights, guidance and practical tips to help individuals...