73 articles found

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’…

CIRCA Seminar 12th March 1pm

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…

CIRCA Seminar 19th February 1pm

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…

CIRCA Seminar 5th February 1pm

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…

CIRCA Seminar 27th November 1pm

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…

CIRCA Seminar 13th November 1pm

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…

CIRCA Seminar 30th October 1pm

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…

CIRCA Seminar 11th June 1pm

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…

CIRCA Seminar 10th April

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:…