All events

15 results found
  1. CIRCA lunchtime seminar

    CIRCA lunchtime seminar

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

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

  3. An evening with Austrian author Eva Reisinger

    An evening with Austrian author Eva Reisinger

    Eva Reisinger will read from her books "Was geht Österreich" and "Männer töten", for which she was nominated for the Austrian Debut...

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

  6. CIRCA lunchtime seminar

    CIRCA lunchtime seminar

    There will be a CIRCA lunchtime seminar on 14th March at 1pm in Theatre D of Maths. Peiran Wu and Yayi Zhu will speak. Peiran's Title: Irredundant bases...

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

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

  9. An evening with Austrian author Eva Reisinger
    Cancelled

    An evening with Austrian author Eva Reisinger

    Eva Reisinger will read from her books "Was geht Österreich" and "Männer töten", for which she was nominated for the Austrian Debut...

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