CIRCA Seminar 26th March 1pm
There will be a CIRCA lunchtime seminar on Thursday 26th March at 1pm in Maths Lecture Theatre C. András Salamon and Struan McCartney will speak. András’ Title: The Slowest Sloth is Busy Beaver’s Friend András’…
There will be a CIRCA lunchtime seminar on Thursday 26th March at 1pm in Maths Lecture Theatre C. András Salamon and Struan McCartney will speak. András’ Title: The Slowest Sloth is Busy Beaver’s Friend András’…
There will be a CIRCA lunchtime seminar on Thursday 12th March at 1pm in Maths Lecture Theatre C. Duncan Adamson and Violeta Lopez Lopez will speak. Duncan’s Title: Colouring Temporal Graphs Duncan’s Abstract: Temporal…
There will be a CIRCA lunchtime seminar on Thursday 19th February at 1pm in Maths Lecture Theatre C. Edwin Brady and Yoav Len will speak. Edwin’s Title: Efficient Type-checking of a Dependently Typed Programming…
There will be a CIRCA lunchtime seminar on Thursday 5th February at 1pm in Maths Lecture Theatre C. Hongyi Huang from the Southern University of Science and Technology, China, will speak. Title: Groups, permutations…
There will be a CIRCA lunchtime seminar on Thursday 27th November at 1pm in Maths Lecture Theatre C. Ozgur Akgun and Colva Roney-Dougal will speak. Oz’s Title: Modelling and solving BIBDs with Conjure Oz’s…
There will be a CIRCA lunchtime seminar on Thursday 13th November at 1pm in Maths Lecture Theatre C. Chris Brown and Rosemary Bailey will speak. Chris’ Title: East of Eden: Parallel Functional Programming in Idris…
There will be a CIRCA lunchtime seminar on Thursday 30th October at 1pm in Maths Lecture Theatre C. Ruth Hoffmann and Rick Thomas will speak. Ruth’s Title: Modelling Fitness Landscapes Ruth’s Abstract: Fitness…
There will be a CIRCA lunchtime seminar on Wednesday 11th June at 1pm in Maths Lecture Theatre A. Kamil Zabielski will speak. Kamil’s Title: On properties of anti-associative groupoids Kamil’s Abstract: A non-empty set…
On August 12th there will be a celebration of Peter and Rosemary’s time at St Andrews, featuring two talks by early career researchers who have worked closely with Rosemary and Peter. 2.30 – 3.30 Mia Tackney From the…
There will be a CIRCA lunchtime seminar on Thursday 10th April at 1pm in Maths Lecture Theatre B. Duncan Adamson and Callum Barber will speak. Duncan’s Title: Subsequence Universality in Languages Duncan’s Abstract:…