Software Verification Course (Starts May 25)

We're delighted to announce that we will run a six-weeks virtual school on 'Software Verification', emphasising functional programming! Most importantly, 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 (with course certificates issued to those who submit)

If you would like to join the course, please complete the short application form (less than 30 seconds). Likewise, please share with your colleagues and friends who may be interested!

 
Apply to join the course!