Workshop on Education for High Performance Computing (EduHPC)