[TYPES] PhD grant: Computational Applications of Nominal Sets

Maribel Fernandez maribel at dcs.kcl.ac.uk
Fri Oct 7 07:16:00 EDT 2005

PhD Studentship in Computer Science
       King's College London
Applications are invited for a PhD studentship at King's College London,
as part of the project Computational Applications of Nominal Sets
(joint with the University of Cambridge), funded by EPSRC.

The studentship can start any time between October 2005 and
September 2006. 
Relevant research areas for this grant are:
    * programming language semantics
    * theorem proving
    * equational theories
    * nominal logic

Please see the project web page for further information and how to apply:

More information about the Types-list mailing list