MSc Logic, Semantics, and Verification of Programs

The PPLV Group are delighted to announce our new MSc Programme: Logic, Semantics and Verification of Programs.


The deadline for applications is 17th June 2017.


If you would like further information please contact the Programme Administrator Samantha Bottomley on:


Tel: +44 (0)20 7679 0328








This page was last modified on 22 Mar 2017.