Department of Maths and Stats local
As you develop as a researcher, you will probably be expected to undertake an ever wider range of activities and to develop a range of disparate skills. In this session, I plan to discuss how these skills might fit into a “research lifecycle” – from the first germs of an idea to publication and beyond to wider influence. We can then use this to talk about the following questions, with mathematical sciences in mind:
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 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/#
Postdoc Appreciation Week (PAW) is around the corner again 15-19 Sep 2025, when we recognise, acknowledge and celebrate the hard work that post-docs and ECRs dedicate to research, teaching, mentoring,...
Continue reading...Add this career-development seminar and discussion targeted at ECRs and PGRs addition to your National Postdoc Appreciation Week (NPAW) calendar. Speaker: Prof. Peter Ashwin (Director of Research and Impact) Abstract:...
Continue reading...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...