[SubPro-IRT] SubPro IRT Meeting #15 | 17 October 2023, 20:00-21:00 UTC