9th Symposium on Languages, Applications and Technologies SLATE 2020, July 13–14, 2020, School of Technology, Polytechnic Institute of Cávado and Ave, Portugal (Virtual Conference) - Simões, Alberto; Henriques, Pedro Rangel; Queirós, Ricardo 1975- (Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2020)