All events

10 results found for circa
  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. 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...

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

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

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

  9. CIRCA seminar: Peter Cameron and Richard Connor

    CIRCA seminar: Peter Cameron and Richard Connor

    Peter Cameron (School of Mathematics and Statistics) and Richard Connor (School of Computer Science) will speak at this CIRCA seminar, presenting on 'When...

  10. Perceptions of Illegitimate Violence in Intercultural Wars in German East Africa (circa 1884 to 1914)

    Perceptions of Illegitimate Violence in Intercultural Wars in German East Africa (circa 1884 to 1914)

    ISWS Spring Seminar with Professor Tanja Bührer, University of Salzburg

    Tanja Bührer's lecture explores what was considered legitimate and illegitimate violence in intercultural wars in the colonial realm during the fin de...