Hello Quantum Formalists,
We're delighted to announce that Zaiku Group will run a six-weeks virtual school on 'Software Verification', emphasising functional programming!
Members of the QF 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.
The course will be not just theoretical but very hands-on, covering more or less the following:
1. Definitions and statements
2. Backward proofs via tactics
3. Functional programming
4. Inductive predicates
5. Decidability of propositions
6. Final project
Finally, early next month, we'll schedule a Q&A session to go through the course structure and nice to have prerequisites etc. In the meantime, please don't forget to follow us on the following social channels:
LinkedIn (QF): https://www.linkedin.com/showcase/quantum-formalism/
Discord (QF): https://discord.gg/T4Y4BPC958
LinkedIn (Zaiku Group): https://www.linkedin.com/company/zaikugroup/
Many thanks,
Zaiku Group team