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

CIRCA lunchtime seminar

Chris Brown will speak on "Semi-Automatic Ladderisation: Improving Code Security through Rewriting and Dependent Types", and Victoria Ironmonger...

Date

Thursday 22 February 2024

Time

01:00 pm to 02:00 pm

Location

Mathematical Institute

CIRCA lunchtime seminar

Edwin Brady will speak on "The Idris Programming Language", and Jon Fraser will speak on "Fourier analysis in finite fields". All...

Date

Thursday 2 November 2023

Time

01:00 pm to 02:00 pm

Location

Mathematical Institute

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

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

Date

Thursday 11 April 2024

Time

10:00 am to 04:00 pm

Location

Jack Cole Building

Attend

Booking required

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

Date

Thursday 16 November 2023

Time

01:00 pm to 02:00 pm

Location

Mathematical Institute

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

Date

Friday 22 March 2024 to Thursday 11 April 2024

Time

01:00 pm to 02:00 pm

Location

Mathematical Institute

St Leonard's Lecture Series

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

Date

Wednesday 31 January 2024

Time

03:30 pm to 04:30 pm

Location

Old Burgh School

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

Date

Thursday 14 March 2024

Time

01:00 pm to 02:00 pm

Location

Mathematical Institute

Environmental Change Research Group Seminar -- Craig Smeaton (SGSD UoStA)

Overview of SGSD analytical capabilities

Overview of SGSD analytical capabilities

Date

Thursday 5 October 2023

Time

01:00 pm to 02:00 pm

Location

Irvine Building

Book Launch -- Author Meets Critique

'Engineering Reality' with Cornelia Helmcke

During this book launch event, author Cornelia Helmcke will meet critics Bibiana Duarte-Abadía (Wageningen University) and Christopher Schulz (University of St...

Date

Thursday 18 April 2024

Time

02:00 pm to 05:00 pm

Location

School of Classics

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

Date

Thursday 28 March 2024

Time

01:00 pm to 02:00 pm

Location

Mathematical Institute

Environmental Change Research Group Seminar --- Shonil Bhagwat (The Open University)

TBC

Date

Thursday 26 October 2023

Time

01:00 pm to 02:00 pm

Location

Irvine Building

Environmental Change Research Group Seminar --- Celeste Smith (SEES, UoStA)

Determining the volcanic sources of the double 1600 CE sulfate peaks in Greenland ice cores

Determining the volcanic sources of the double 1600 CE sulfate peaks in Greenland ice cores

Date

Thursday 23 November 2023

Time

01:00 pm to 02:00 pm

Location

Irvine Building

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

Date

Wednesday 28 February 2024

Time

12:30 pm to 02:00 pm

Location

School of Psychology and Neuroscience

Attend

Booking required

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

Date

Thursday 15 February 2024

Time

12:30 pm to 02:00 pm

Location

School of Psychology and Neuroscience

Attend

Booking required

Inaugural Lecture by Professor Nissa Finney

Race, Place and Home

In the early 2000s it was claimed that Britain was 'sleepwalking to segregation'. Twenty years on an average neighbourhood in Britain is more...

Date

Wednesday 3 April 2024

Time

05:15 pm to 06:30 pm

Location

School III, St Salvator's Quad

CIRCA lunchtime seminar

Our speakers are: Carla Biermann Title: Sampling solutions to constraint satisfaction problems Abstract: State-of-the-art constraint programming solvers have...

Date

Thursday 25 January 2024

Time

01:00 pm to 02:00 pm

Location

Mathematical Institute

Environmental Change Research Group Seminar --- Caroline Clason (University of Durham)

Assessing and communicating glacier-fed water security in mountain regions

Assessing and communicating glacier-fed water security in mountain regions

Date

Thursday 9 November 2023

Time

01:00 pm to 02:00 pm

Location

Irvine Building

Environmental Change Research Group Seminar -- Shona Jenkins (University of Edinburgh)

The human influence in the Central Congo Basin peatlands

The human influence in the Central Congo Basin peatlands

Date

Thursday 12 October 2023

Time

01:00 pm to 02:00 pm

Location

Irvine Building