FormaliSE 2019:
7th Conference on Formal Methods in Software Engineering

I am a member of the Program Committee of FormaliSE 2019 — a satellite conference of ICSE 2019. It will take place in Montréal, QC, Canada on May 25–31, 2019.

Please submit your best work through EasyChair!