The purpose of this joint programme is to offer computer science PhD students additional taught courses and seminars in areas of formal methods and theoretical computer science. Five Universities are currently in the joint programme.
- University of Kent (co-ordinators)
- Royal Holloway, University of London
- University of Surrey
- King's College, London
- University of Essex
Each university offers courses in their research speciality each year. By going on the programme our expectation is simple.
- PhD students will get an opportunity to go to advanced courses both in their own speciality as well as in other areas of formal methods and theory.
- PhD students will get an opportunity to meet other students and build up their own contacts for academic and social needs.