All events

3 results found for circa
  2. CIRCA lunchtime seminar

    CIRCA lunchtime seminar

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

    Date
    Thursday 5 October 2023
    Time
    01:00 pm to 02:00 pm
    Location
    Mathematical Institute
  3. 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

    Date
    Thursday 21 September 2023
    Time
    01:00 pm to 02:00 pm
    Location
    Mathematical Institute
  4. CIRCA lunchtime seminar

    CIRCA lunchtime seminar

    There will be two short talks. Ian Gent will speak on "A Dream Model for Black Hole" Murray Whyte will speak on "Irredundant monoid...

    Date
    Thursday 13 April 2023
    Time
    01:00 pm to 02:00 pm
    Location
    Mathematical Institute

Cookie preferences