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…
69 articles found
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.
First CIRCA seminar of the year
There will be a CIRCA seminar on Thursday 21st September at 1pm in Theatre D of Maths. Ian Miguel will speak on Puzznic and Colva Roney-Dougal will count the subgroups of the symmetric group.
Ruth Hoffman wins EPSRC grant
Ruth has just been awarded £199211 by EPSRC for a grant called “Enhancing Group Search with Graph Techniques”. The grant will run from now until July 2025. Congratulations Ruth!
Visit of Arne Van Antwerpen
Arne Van Antwerpen will be here on 16/17/18 May, visiting Olexandr Konovalov. Arne will give a CIRCA seminar on the Wednesday afternoon, 4-5 in Theatre C. Title: Multipermutation solutions of the Yang-Baxter equation…
Visit of Pascal Schweitzer
Pascal Schweitzer from TU-Darmstadt will visit CIRCA on Wednesday May 10th, and give a talk at 4pm in Maths C. All welcome.