Our colleague Carlos Mario Braga, a PhD student, presented the paper “Towards a process for Trustworthy AI systems development” in the Doctoral Symposium of the 23rd International Conference on Software Engineering and Formal Methods (SEFM 2025).