***************************************************  
*  M.Sc. in Logic and Foundations of Programming  *
***************************************************


Department of Computer Science 
Queen Mary and Westfield College 
University of London
 
 
Applications are invited for places on this newly designed M.Sc.
programme (part of the Dept's. Advanced Methods in Computer Science
M.Sc.)  which aims to allow mathematically able students to acquire a
thorough grounding in the logical foundations of computer science and
the theory and practice of programming.
  
Candidates should have, or expect to obtain, a good first degree
either in mathematics or in a subject having substantial mathematical
content, together with a basic acquaintance with computing. Good
graduates in computer science or philosophy will also be considered,
provided they have adequate mathematical aptitude.

A small number of EPSRC studentships will be available for suitably 
qualified eligible candidates.   
 
During the first two semesters, students take four courses.
  
* Programming: Languages for imperative, functional and logic 
               programming; systematic program development by 
               specification, verification and transformation.

* Deduction: Basic mathematical logic; proof theory and
             constructivism; categorical logic; type theory; 
             operational semantics. 
  
* Semantics: Universal algebra; category theory; categorical model
             theory; classical denotational semantics; topics in modern
             denotational semantics.
  
* Interaction: Game theory and its applications in logic and 
               process theory; process algebra; equivalences between
               processes; equational reasoning; use of process calculus 
               in specification and verification.
 
The remainder of the year is devoted to a project, under the 
supervision of an appropriate academic.  

The programme will be taught by members of the College, including:
Prof. Richard Bornat; Dr. Peter Burton; Dr. Keith Clarke; 
Dr. Peter O'Hearn; Prof. Wilfrid Hodges; Prof. Peter Landin; Dr. David Pym;
Prof. Edmund Robinson; Mr. Jon Rowson; Dr. Victoria Stavridou; 
Dr. Paul Taylor. 

***************************  
*  More information from  *
***************************

Ms. Gill Carter                             Tel: +44 (0)171 975 5555 
Department of Computer Science              Fax: +44 (0)181 980 6533 
Queen Mary and Westfield College          Email: gill@dcs.qmw.ac.uk 
University of London                        URL: http://www.dcs.qmw.ac.uk/ 
Mile End Road 
London E1 4NS 
U.K.