All events

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

  2. Sustainable Ceilidh

    Sustainable Ceilidh

    Part of the annual AVICOM festival

    Join the School of Computer Science for a Sustainable Ceilidh, an integral part of the International Committee for Audiovisual, New Technologies and Social...

  3. Virtual Museums: Sustainable preservation and promotion of heritage

    Virtual Museums: Sustainable preservation and promotion of heritage

    ICOM AVICOM Conference

    Join the School of Computer Science for the upcoming International Council of Museums, International Committee for Audiovisual, New Technologies and Social...

  4. CIRCA lunchtime seminar

    CIRCA lunchtime seminar

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

  5. Charles-St Andrews: Academic synergy (hybrid event)

    Charles-St Andrews: Academic synergy (hybrid event)

    Charles-St Andrews strategic partnership

    This hybrid event can be accessed online, and is part of a "University of St Andrews day" at Charles University. It is intended for University...

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

  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. USLAS (non-academic) Pension Scheme Meeting (aka Townhall meeting)

    USLAS (non-academic) Pension Scheme Meeting (aka Townhall meeting)

    Information session for members and non-members

    All non-academic staff (grades 1 to  5) are eligible to join the USLAS pension scheme. Whether you are already a member or not, come along to meet and discuss...

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

  10. USLAS (non-academic) Pension Scheme Meeting (aka Townhall meeting)

    USLAS (non-academic) Pension Scheme Meeting (aka Townhall meeting)

    Information session for members and non-members

    All non-academic staff (Grades 1 -- 5) are eligible to join the USLAS pension scheme. Whether you are already a member or not, come along to meet and...