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…
Search by author: hdw2
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:…
CIRCA Seminar 27th March
There will be a CIRCA lunchtime seminar on Thursday 27th March at 1pm in Maths Lecture Theatre B. Ben Claydon and Joe Edwards will speak. Ben’s Title: Query Updates for Similarity Search Ben’s Abstract: Similarity…
CIRCA Seminar 13th March
There will be a CIRCA lunchtime seminar on Thursday 13th March at 1pm in Maths Lecture Theatre B. Mun See Chang and Jiaping Lu will speak. Mun See’s Title: Unnamed types Jiaping’s Title: Generalised wreath products…
CIRCA Seminar 20th February
There will be a CIRCA lunchtime seminar on Thursday 20th February at 1pm in Maths Lecture Theatre B. Simon Dobson and Colva Roney-Dougal will speak. Simon’s Title: Network (and epidemic) curvature Simon’s Abstract:…
CIRCA Seminar 6th February
There will be a CIRCA lunchtime seminar on Thursday 6th February at 1pm in Maths Lecture Theatre B. Chris Brown and Francis Clavette (Université de Montréal) will speak. Chris’ Title: pi-par: A Dependently-Typed…
CIRCA Seminar 28th November
There will be a CIRCA lunchtime seminar on Thursday 28th November at 1pm in Maths Lecture Theatre D. Erdem Kus and Jon Fraser will speak. Erdem’s Title: Frugal Algorithm Selection Erdem’s Abstract: When solving…