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…
Category: news
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…
CIRCA seminar March 14th
There will be a CIRCA lunchtime seminar on 14th March at 1pm in Theatre D of Maths. Peiran Wu and Yayi Zhu will speak. Peiran’s Title: Irredundant bases for classical groups Peiran’s Abstract: Given a classical group…
CIRCA seminar February 22nd
There will be a CIRCA lunchtime seminar on 22nd Feb at 1pm in Theatre D of Maths. Chris Brown and Victoria Ironmonger will speak. Chris’s Title: Semi-Automatic Ladderisation: Improving Code Security through Rewriting…
CIRCA seminar February 8th
There will be a CIRCA lunchtime seminar on 8th Feb at 1pm in Theatre D of Maths. Coen del Valle and Ruth Hoffmann will speak. Coen’s title: It’s not always bad to be greedy Coen’s abstract: A base for a group of…