All events
Filter
Fully-matching results
-
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
-
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...
-
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...
-
CIRCA lunchtime seminar
Peiran Wu will give an introduction to Lean, the theorem-proving software.
-
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...
-
CIRCA lunchtime seminar
Edwin Brady will speak on "The Idris Programming Language", and Jon Fraser will speak on "Fourier analysis in finite fields". All...
-
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...
-
CIRCA lunchtime seminar
Our speakers are: Carla Biermann Title: Sampling solutions to constraint satisfaction problems Abstract: State-of-the-art constraint programming solvers have...
-
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...
-
CIRCA lunchtime seminar
Chris Brown will speak on "Semi-Automatic Ladderisation: Improving Code Security through Rewriting and Dependent Types", and Victoria Ironmonger...
-
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...
-
Distinguished Lecture Series
The Atomic Human: Understanding Ourselves in the Age of AI
We look forward to welcoming Prof Neil Lawrence, Cambridge who will talk about 'The Atomic Human: Understanding Ourselves in the Age of AI'. A vital...
-
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...
-
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...
-
CIRCA lunchtime seminar
There will be a CIRCA lunchtime seminar on 28th March at 1pm in Theatre D of Maths. David Stewart (University of Manchester) will speak. Title: You need 27...
-
Doors Open @ Computer Science
Join us to discuss ideas and opportunities to collaborate with the School
Our Doors Open Day includes 60+ individual demos and workshops. Presenting these will be our staff and students, with representation from 1st year right through...