[J6] ================================================ AMAST Links 03 01

             M.Sc. in Logic and Foundations of Programming  
         Queen Mary and Westfield College University of London

   The full version of this announcement is available at URL:
   http://www.cs.utwente.nl/data/amast/links/v03/i01/full/AC0301J6.txt

  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.   
 
  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
   Department of Computer Science
   Queen Mary and Westfield College
   University of London
   Mile End Road
   London E1 4NS, U.K.
   Tel: +44 (0)171 975 5555,  Fax : +44 (0)181 980 6533
   Email: gill@dcs.qmw.ac.uk
   WWW : http://www.dcs.qmw.ac.uk/