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…
Search by category: news
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…
CIRCA Seminar 14th November
There will be a CIRCA lunchtime seminar on Thursday 14th November at 1pm in Maths Lecture Theatre D. Özgür Akgün and Peter Cameron will speak. Özgür’s Title: Abnormal Magic Hexagons Özgür’s Abstract: I will talk about…
CIRCA Seminar 31st October
There will be a CIRCA lunchtime seminar on Thursday 31st October at 1pm in Physics Lecture Theatre C. Christopher Stone and Coen del Valle will speak. Christopher’s Title: LCFS Encodings Christopher’s Abstract: Not…
CIRCA seminar August 1st
Peiran will give a seminar at 1pm on Thursday 1st August, in Theatre C of the Mathematical Insitute Title: Turning the classification of groups of order pq into Lean code Abstract: Lean is a programming language…
CIRCA seminar April 11th
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 Almost Simple Groups Ian’s title Dominances in Single Player…
CIRCA seminar March 28th
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 tickets to guarantee a win on the UK National Lottery (Jt with…