All events

21 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. St Leonard's Lecture Series

    St Leonard's Lecture Series

    Following the successful launch of the St Leonard's Lecture Series 2023-2024, St Leonard's College and the Graduate School for Interdisciplinary...

  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. IBANS -- Leap into a new collaboration!
    Limited access

    IBANS -- Leap into a new collaboration!

    Come and join our ECR Networking Lunch - all welcome

    The Institute of Behavioural and Neural Sciences (IBANS) is hosting a networking lunch for Early Stage Researchers (PIs, Postdocs, PhD and Masters levels) on...