All events

26 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

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

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

  9. Inaugural Lecture by Professor Laura Moretti

    Inaugural Lecture by Professor Laura Moretti

    Gazing from the Gallery: The Betende Knabe and the Politics of Display

    This lecture addresses the display history of the Betende Knabe (Praying Boy), a Greek bronze statue currently housed in the Altes Museum in Berlin, exploring...

  10. Doors Open @ Computer Science

    Doors Open @ Computer Science

    Join us to discuss ideas and opportunities to collaborate with the School

    Our Doors Open Day includes 60+ individual demos and workshops. Presenting these will be our staff and students, with representation from 1st year right through...