All events
Fully-matching results
-
CIRCA lunchtime seminar
Chris Brown will speak on "Semi-Automatic Ladderisation: Improving Code Security through Rewriting and Dependent Types", and Victoria Ironmonger...
-
Digital Health Science Seminar
The next Digital Health Science Initiative seminar will be delivered by the School of Mathematics and Statistics. The core aim of these seminars is to create a...
-
CIRCA lunchtime seminar
The speaker is Jim Davis, who is visiting from the University of Richmond. Title: GAP and difference sets Abstract: The computer program GAP has played an...
-
CIRCA lunchtime seminar
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...
-
CIRCA lunchtime seminar
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...
-
Inaugural Lecture -- Professor Colva Roney-Dougal
Perfect symmetry: counting what matters
Before dying in a duel at the age of 20, Évariste Galois made some of the first discoveries in what came to be known as group theory: the study of symmetry....
-
CIRCA lunchtime seminar
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...
-
CIRCA lunchtime seminar
Our speakers are: Carla Biermann Title: Sampling solutions to constraint satisfaction problems Abstract: State-of-the-art constraint programming solvers have...
