All events

41 results found for circa
  1. CIRCA lunchtime seminar

    CIRCA lunchtime seminar

    The last CIRCA lunchtime seminar of term. This will be in Theatre D of Maths. Colva will speak on "The base size of a primitive group" (her current...

  2. CIRCA lunchtime seminar

    CIRCA lunchtime seminar

    The next CIRCA lunchtime seminar will be presented by Miguel del Rio Palma and Chris Stone. Location: Theatre C of Maths  

  3. CIRCA lunchtime seminar

    CIRCA lunchtime seminar

    The next CIRCA lunchtime seminar will be in Theatre A of Maths. Steve Linton will be speaking on: Covering Codes, Gray Codes and Multiplying Matrices Sophie...

  4. Centre for Interdisciplinary Research in Computational Algebra (CIRCA) lunchtime seminar

    Centre for Interdisciplinary Research in Computational Algebra (CIRCA) lunchtime seminar

    There will be a Centre for Interdisciplinary Research in Computational Algebra (CIRCA) lunchtime seminar on Thursday 10th October at 1pm in Physics Lecture...

  5. CIRCA lunchtime seminar

    CIRCA lunchtime seminar

    The speakers will be Jordi Coll and Michael Torpey. The venue is Maths Theatre C.

  6. CIRCA lunchtime seminar

    CIRCA lunchtime seminar

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

  7. CIRCA lunchtime seminar

    CIRCA lunchtime seminar

    The speakers will be Ruth Hoffman and Ozgur Agkun (giving a shared talk), and Peter Cameron.

  8. CIRCA lunchtime seminar

    CIRCA lunchtime seminar

    There will be short talks from Jacob Beaddie, on "General choice modelling", and from Finn Smith, on "Computing Translations of...

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

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