FormaliSE 2020 keynote: Shahar Maoz
FormaliSE 2020 was organised as a 1-day virtual conference co-located with ICSE on July 13, 2020. The main objective of FormaliSE is to foster the integration between the formal methods and the software engineering communities, to strengthen the – still too weak – links between them, and to stimulate researchers to share ideas, techniques, and results, with the ultimate goal to propose novel solutions to the fraught problem of improving the quality of software systems. We here bring you a keynote from Formalise 2020, given by Shahar Maoz: SYNTECH: Synthesis Technologies for Reactive Systems Software Engineers