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…
63 articles found
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 10th October
There will be a CIRCA lunchtime seminar on Thursday 10th October at 1pm in Physics Lecture Theatre C. András Salamon and Peiran Wu will speak. András’ Title: A new time hierarchy theorem András’ Abstract: With Michael…
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 July 25th
Sofia Brenner (TU Darmstadt) will give a CIRCA seminar at 1pm on July 25th in Theatre C of the Mathematical Institute Title: From graphs to groups: Tuple regularity and k-ultrahomogeneity Abstract: Tuple regularity and…