Our papers Mohsen Safari and Marieke Huisman - Formal Verification of Parallel Stream Compaction and Summed-Area Table Algorithms, and Stefan Blom, Saeed Darabi, Marieke Huisman and Mohsen Safari - Correct Program Parallelisation were accepted in ICTAC 2020 and the STTT journal respectively.