Department of Maths and Stats local
Department of Maths and Stats local
The Research Students’ Conference (RSC) in Probability and Statistics is an annual conference for postgraduate research students in all areas of probability and statistics. The 2024 edition was hosted by PhD students within the department on 20-24th August 2024. See their site for more information!
There will be a one-day workshop on 24 July 2024 and online, focused on how interactive theorem provers, like Lean and Isabelle, can be used in mathematics and computer science. This event is ideal for educators and researchers who use deductive proof. No prior experience is necessary: the day starts and ends with hands-on sessions […]
Welcome to the Department of Mathematics and Statistics local site: this is a source of news and useful information about the Department and members thereof. We will be developing this site througout the summer and autumn of 2024. Watch this space! We hope you find the site useful.