Working repository of the 9th International Workshop on
Open Community approaches to Education, Research and Technology
(OpenCERT 2019)
towards "Open community approaches" CERTification processes
Porto, Portugal, 8 October 2019,
Co-located with FM 2019