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 2016.

If you would like further information please contact the Programme Administrator Sarah Moore on:

Tel: +44 (0)20 3108 7307 




This page was last modified on 08 Dec 2015.