FormaliSE 2020:
8th International Conference on Formal Methods in Software Engineering

I am a member of the Program Committee of FormaliSE 2020, which will be co-located with ICSE 2020 to take place on May 25-26, 2020 in Seoul, Korea.

Please submit your best work through here!