coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PhD grant: Computational Applications of Nominal Sets

From: Maribel Fernandez <maribel AT dcs.kcl.ac.uk>
To: maribel AT dcs.kcl.ac.uk
Subject: [Coq-Club] PhD grant: Computational Applications of Nominal Sets
Date: Fri, 07 Oct 2005 12:16:00 +0100
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Organization: King's College London

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:
  http://www.dcs.kcl.ac.uk/staff/maribel/CANS.html

[Coq-Club] PhD grant: Computational Applications of Nominal Sets, Maribel Fernandez