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- (OASIcs - OpenAccess Series in Informatics, 2020)