Working repository of the 9th International Workshop on Open Community approaches to Education, Research and Technology (OpenCERT 2023) *** towards "Open community approaches" CERTification processes *** 6 November 2023, Eindhoven, The Netherlands, Co-located with SEFM 202e3