Dear friends,
One of the sister communities from our parent company Zaiku Group has recently launched a free course on Software Verification (starts mid-May 2023). It is a six-week course emphasising functional programming! Members of the Homomorphic Labs community are welcome to join but will need to apply because of the limited availability! If you are interested, please fill in this short application form https://forms.gle/jW3UPeiDmF4XjQTn9.
This Thursday (May 4) at 5 pm GMT, I'll be hosting a special Q&A session with the course lecturer (Benedikt Ahrens) to present the curriculum and take questions from the audience. The session will take place on Google, and you can access it via the link https://meet.google.com/hcn-inkf-vhn. If you cannot attend, the recording will be available later on this YouTube playlist https://www.youtube.com/playlist?list=PL6N_Y7ao_aHsHaECz813UGIvAGmrfrOYX. The playlist is currently unlisted until the course starts, when we make it public!
Course repository: https://github.com/quantumformalism/software-verification
Many thanks,
Homomorphic Labs team