Jacopo Mauro, together with Cesar Sanchez (IMDEA Software Institute, Spain), organised PhD-iFM’19, a PhD Symposium at the 15th International Conference on integrated Formal Methods (iFM). Theme of this edition of the symposium was “Formal Methods: Algorithms, Tools and Applications”. This edition’s award was assigned to Debasmita Lohar, for the paper: “Sound Probabilistic Numerical Error Analysis”.