Date: Tue, 19 Dec 1995 20:58:11 -0400 (AST)
Subject: MSc course

Date: Tue, 19 Dec 1995 22:31:51 +0000 (GMT)
From: Edmund Robinson <E.P.Robinson@dcs.qmw.ac.uk>

Dear Colleagues,

Next year we shall be mounting a (heavily) revised version of our MSc
course, an advert for which follows. Please pass the advert on to
anyone you think might be interested. Please encourage all your best
students to apply to us. And of course, please have a wonderful
Christmas!

all best wishes
Edmund Robinson

PS Perhaps I should also take this opportunity to tell those of you
who haven't heard, that we are proud to announce the appointment of
Peter O'Hearn to a readership in the department. Peter continues a
departmental tradition of people called Peter with interests in
programming languages. He replaces Peter Landin, who has retired from
formal duties.

---------------------------------------------------

Queen Mary and Westfield College
University of London

Department of Computer Science


 ------------------------------------------------------
| Advanced MSc in Logic and Foundations of Programming |
 ------------------------------------------------------

Applications for entry in Autumn 1996 are invited from candidates who
have or expect to obtain a good honours degree in mathematics or a
subject with substantial mathematical content.

This newly designed MSc programme 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.


 ----------
| Syllabus |
 ----------

Students take four courses:

* Programming

  Programming in imperative, logic and functional languages;
specification and verification applied to imperative programs; the use
of equational specification; program transformation; logical
foundations of Prolog; partial evaluation.


* Deduction

  Formal logical systems; structural proof theory including proof search
constructive logic and its semantics; type theory, lambda calculi and
structural operational semantics.


* Semantics

  Universal algebra; category theory; categorical model theory; classical
denotational semantics; topics in modern denotational semantics.


* Concurrency

  Game theory and its applications in logic and to the theory of processes;
process algebra; equivalences between processes; equational reasoning;
use of process calculus in specification and verification.

All four courses will be taught by active researchers who are experts
in these fields. Courses are taught over the first two semesters, with
the remainder of the year being devoted to the project.


 ---------
| Funding |
 ---------

We expect that a small number of EPSRC studentships will be available
for suitably qualified candidates.


 ---------------------
| Further information |
 ---------------------


Prof E.P. Robinson (edmundr@dcs.qmw.ac.uk)
or
Dr D.J. Pym (pym@dcs.qmw.ac.uk)

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