All events

19 results found
  1. Postgraduate Cafe

    Postgraduate Cafe

    Come along to meet and chat to other postgraduate students, Tea, coffee and biscuits provided.

  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

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

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

  5. Book talk: Digital Masquerade: Feminist Rights and Queer Media in China, Jia Tan
    Cancelled

    Book talk: Digital Masquerade: Feminist Rights and Queer Media in China, Jia Tan

    Jia Tan is Global Fellow at St Andrews

    The Gender Institute and the Mlitt in Gender Studies (Graduate School of Interdisciplinary studies), invites you to the book presentation of Digital Masquerade....

  6. Adapting to climate change: effective crisis management strategies

    Adapting to climate change: effective crisis management strategies

    Public lecture: Dr Christos Stylianides, Minister of Maritime Affairs and Insular Policy, Hellenic Republic

    Join staff and students from the School of International Relations and the Graduate School for this public lecture presented by Dr Christos Stylianides,...

  7. CIRCA lunchtime seminar

    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

  8. CIRCA lunchtime seminar

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

  9. CIRCA lunchtime seminar

    CIRCA lunchtime seminar

    The last CIRCA seminar of the semester will be on April 11th. Ian Gent and Jiaping Lu wil speak. Jiaping's title Generation of Iterated Wreath Products of...

  10. Curle Lecture 2023

    Curle Lecture 2023

    Should we be perturbed about AI?

    The vulnerability of artificial intelligence (AI) systems to adversarial perturbations raises questions around security and ethics, and many governments are now...