Software Verification Course
A six-weeks virtual school.
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://form…
Keep reading with a 7-day free trial
Subscribe to Quantum Formalism to keep reading this post and get 7 days of free access to the full post archives.