All events

47 results found
  1. 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...

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

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

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

  6. CIRCA lunchtime seminar

    CIRCA lunchtime seminar

    There will be a CIRCA lunchtime seminar on 28th March at 1pm in Theatre D of Maths. David Stewart (University of Manchester) will speak. Title: You need 27...

  7. CIRCA lunchtime seminar

    CIRCA lunchtime seminar

    Our speakers are: Carla Biermann Title: Sampling solutions to constraint satisfaction problems Abstract: State-of-the-art constraint programming solvers have...

  8. 3M Planet Final

    3M Planet Final

    Join us in Parliament Hall for the finals of the 3MPlanet competition. Each of our seven finalists has distilled their honours thesis on topics related to...

  9. Painting in Steam -- new start time of 2pm

    Painting in Steam -- new start time of 2pm

    Climate, Combustion, and Pollution in British Art

    Join the School of Art History and Dr Stephanie O'Rourke for 'Painting in Steam: Climate, Combustion, and Pollution in British Art'. Reception...

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