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…
63 articles found
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…
CIRCA seminar January 25th
The first CIRCA seminar of the year is on January 25th in Theatre D of Maths at 1pm. Speaker: Carla Biermann Title: Sampling solutions to constraint satisfaction problems Abstract: State-of-the-art constraint…
CIRCA seminar 30th November
There will be a CIRCA seminar on November 30th, at 1pm on Theatre D of Maths. Peter Cameron and Richard Connor will speak. Peter’s title is “When is the commuting graph split or threshold?”. Abstract: The commuting…
CIRCA seminar 16th November
There will be a CIRCA seminar on 16th November, at 1pm in Theatre D of Maths. Mun See Chang will speak on “Enriching Transformations for Dependently Typed Languages”. Ursula Martin will speak on “The Social Machine of…
CIRCA seminar 2nd November
There will be a CIRCA seminar on November 2nd, at 1pm in Theatre D of Maths. Edwin Brady will speak on “The Idris Programming Language” Details: I will talk about the Idris Programming Language, a language which (like…
CIRCA seminar 5th October
On 5th October at 1pm in Maths D, Peiran Wu will talk about Lean, the theorem prover. We’ll then discuss setting up a study group to put some group theory into Lean. All welcome.