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

Institute of Intellectual History seminar series

Vassilios Paipais (St Andrews)

Between Pacifism and Just War: Oikonomia and Eastern Orthodox Political Theology

Date

Wednesday 15 November 2023

Time

05:15 pm to 06:45 pm

Location

St Katharine's Lodge

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

Institute of Intellectual History --- Tom Pye (UCL)

The tailzie and the politics of the feudal law in eighteenth-century Britain

All welcome

Date

Wednesday 3 April 2024

Time

05:15 pm to 06:45 pm

Location

St Katharine's Lodge

Institute of Intellectual History seminar series

Alan Kahan (University of Versailles/St Quentin)

Three Pillars and Four Fears: A History of Liberalisms

Date

Wednesday 11 October 2023

Time

01:00 pm to 02:30 pm

Location

St Katharine's Lodge

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

Institute of Intellectual History seminar series

Tim Stuart Buttle (York)

"Behind the curtain: Hobbes and the politics of recognition

Date

Wednesday 17 January 2024

Time

05:15 pm to 06:45 pm

Location

St Katharine's Lodge

Institute of Intellectual History seminar series

Valerie Wallace (St Andrews)

Valerie Wallace (St Andrews) The case of William Macao: alienness, subjecthood and legal pluralism during Britain's reign of alarm

Date

Wednesday 27 September 2023

Time

05:15 pm to 06:45 pm

Location

St Katharine's Lodge