TCS-SOUP Theoretical Computer Science for SOuth-eastern Universities PhD students

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,

and each offers courses in their research speciality each year. By going on the programme we hope that:

Courses 2006-2007

Three two day courses are anticipated for the 2006/7 academic year.  The courses are open to all PhD students and research staff at the participating Universities, further particpants are welcome, for further information of cost and registration please contact Andy King or the  local course organiser. Further details will be added in due course.

Tuesday 9th-Wednesday 10th January 2007 Program Analysis and Abstract Interpretation Kent
10th-11th December 2007 Algorithms Kings' College, London

Courses 2005-2006

Monday 5th-Tuesday 6th December 2005 Constraint Programming Kent
Wednesday 19th July 2006 Type Theory Royal Holloway

Courses 2004-2005

Wednesday 1st-Friday 3rd December 2004 Functional Programming Kent
Monday 21st, Tuesday 22nd March 2005 Modelling Concurrency Surrey

Courses 2003-2004

Thursday 18th, Friday 19th December 2003 Introduction to Abstract Interpretation University of Kent
Wednesday March 31st, Thursday April 1st 2004 Combining B and CSP Royal Holloway
Sunday 4th--Wednesday 7th April 2004 Unifying Theories tutorial and a Doctoral Symposium IFM at the University of Kent
Thursday 20th, Friday 21st May 2004 Set theory-based Specification Formalisms Essex
Tuesday 20th, Wednesday 21st July 2004 Garbage Collection and Memory Management Summer School at the University of Kent

Courses 2002-2003

14, 15 November 2002 Introduction to the Semantics of Programming Languages Sussex
21, 22 January 2003 Refinement University of Kent
March 2003 CSP Royal Holloway, University of London

Courses 2001-2002

30, 31 Oct 2001 Functional Programming University of Kent
4, 5 Dec 2001 Concurrency Sussex
8-9 January 2002 Formal methods Royal Holloway, University of London
May 2002 Higher Order Logic Theorem Proving and Verification Essex

Accommodation will be available at the University running the course, or nearby. Meals and refreshments will be available during the course.