Department of Maths and Stats local

Department of Maths and Stats local

In category: Uncategorized


BMC-BAMC 2025 Mug design competition

We are looking for possible images (of some mathematical relevance and CC-BY copyright free) to go on the mug, along with the inscription BMC-BAMC 2025 Exeter, for the conference which takes place 23-26 June 2025. If you have a suggestion for a design that you would like to be immortalised in this fashion, please send […]


View


Exeter RSC2024

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!


View


Workshop: Interactive Theorem Proving in Education and Research

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 […]


View


Welcome!

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.


View