Seminar series organised by our School
- The Mauriana Pesaresi seminar series is the seminar series organised and attended by our Ph.D. students. It consists of a series of meetings where one Ph.D. student presents an open research problem and all participants contribute to discussing it. The presenter spends at least half an hour introducing the problem to have at least half an hour for the discussion. To get the credits for this seminar series, each student must attend 80% of the seminars and be the presenter of one of them.
- Challenges and Perspectives of Formal Methods for Trustworthy Software – Software artifacts are challenging to develop and reason about. Not surprisingly, there have been many efforts in formally specifying, modeling and verifying software artifacts. This seminar series aims at enabling conversations and solutions cutting across the variety of techniques and tools developed by the formal methods communities, leveraging the complementary strengths of these solutions. We also recognize that formal methods education is an integral component of the dissemination of research ideas for industrial-scale verification projects. Therefore, another important objective of these seminars is to draw up a plan to train and teach relevant formal methods to students. The seminar series will start in March 2024. To participate in the seminars please contact gian-luigi.ferrari@unipi.it or chiara.bodei@unipi.it.
Seminar series organised by UNIPI
The University of Pisa offers a number of seminar series for Ph.D. students on English for research publication and presentation purposes, responsible research and innovation, open science and research data management, statistics, access-dissemination-evaluation of research, European research projects, and soft skills. Please browse this page for updated information.
UNIPI ContaminationLab offers the PhD+ and CYB+ seminar series.