Department of Maths and Stats local
Department of Maths and Stats local
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 that provide practical experience for those unfamiliar with Lean.
To register and for more details see:
https://exlean.org/workshop-interactive-theorem-proving-in-education-and-research-july-2024/#
A panel discussion and networking lunch We are joining forces with BMC-BAMC to host a panel discussion with invited speakers from academia, industry and research funders. The panellists will share...
Continue reading...ECRN Seminar & Discussion Join the ECRN for Maths & Stats for an informal seminar and networking exploring how AI and machine learning are shaping the future of research. Our...
Continue reading...Funded by the London Mathematical Society and the Department and following the joint BMC-BAMC conference, we will be hosting an EDI career’s insight event B^4 – STEM-ing the gap from 13:00–16:30pm on 26 June 2025. The...
Continue reading...Speaker: Prof. Andrew Hillier Date and Time 02 Dec 2024 @ 15:00 GMT Venue Laver 320 Abstract “I have been involved in a number of different activities that I think...
Continue reading...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...
Continue reading...Keynote Speaker: Dr. Nicolas Robles
Continue reading...Speaker: Prof. Peter Ashwin Date and Time 28 Oct 2024 @ 15:30 BST Venue Laver 212 Abstract As researchers, we routinely take on problems that we cannot solve. Too little...
Continue reading...Speaker: Prof. Layal Hakim Date and Time 28 May 2024 @ 14:00 BST About the Speaker Layal Hakim is an associate professor and a director of education and student experience...
Continue reading...Speaker: Prof. Peter Ashwin Date and Time 22 Apr 2024 @ 14:30 BST Abstract As you develop as a researcher, you will probably be expected to undertake an ever wider...
Continue reading...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...
Continue reading...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....
Continue reading...