All events
Fully-matching results
-
CIRCA lunchtime seminar
Peiran Wu will give an introduction to Lean, the theorem-proving software.
-
School of Chemistry Colloquium: Dr Stellios Arseniyadis
Title and Abstract TBC
-
CIRCA lunchtime seminar
Chris Brown will speak on "Semi-Automatic Ladderisation: Improving Code Security through Rewriting and Dependent Types", and Victoria Ironmonger...
-
CIRCA lunchtime seminar
Edwin Brady will speak on "The Idris Programming Language", and Jon Fraser will speak on "Fourier analysis in finite fields". All...
-
CIRCA lunchtime seminar
Ian Miguel will speak on recent progress in solving Puzznic, and Colva Roney-Dougal will talk about how to count the subgroups of the symmetric group
-
Doors Open @ Computer Science
Join us to discuss ideas and opportunities to collaborate with the School
Our Doors Open Day includes 60+ individual demos and workshops. Presenting these will be our staff and students, with representation from 1st year right through...
-
School of Chemistry Colloquium: Professor Anna Köhler
Title and Abstract --- TBC For details regarding the speaker and their research please see their website.
-
School of Chemistry Colloquium: Professor Abbie McLaughlin
Title and Abstract --- TBC For details regarding the speaker and their research please see their website.
-
School of Chemistry Colloquium: Professor Jonathan R Nitschke
Molecules in Metal Boxes
Simple organic subcomponents can come together around metal-ion templates to produce intricate hollow capsules, which can bind guest molecules selectively. This...
-
CIRCA lunchtime seminar
Ursula Martin and Mun See Chang will speak at this lunchtime seminar on 'The Social Machine of Mathematics'. Abstract: How does mathematics come...