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

 

Email: advancedmsc-admissions@cs.ucl.ac.uk

 

 

 

 

 

This page was last modified on 22 Mar 2017.