The Research Institute partially funded and organised informal concurrency verification workshop at POPL (Principles of Programming Languages) 2014.
- This event has passed.
Research Institute in Automated Program Analysis and Verification
UK's Second Academic Research Institute in Cyber Security