On Tuesday, 10th September the FM Symposium will host a Doctoral Symposium (DS). The DS program [https://www.easychair.org/smart-program/FM24/ProgramDS.html] features two mentoring talks given by Kristin-Yvonne Rozier and Byron Cook, as well as “lightning rounds” of presentations given by the 15 PhD students who have been accepted for participation.
If you are around on that day, we would like to invite you to join us! In particular, the presenting PhD students would greatly benefit from discussing their research with a varied audience of senior researchers of formal methods. Don’t hesitate to pop in during the lightning rounds and participate by asking questions and giving feedback to students.