Dear all, Funding is available for PhD studentships in theory/semantics at the University of Birmingham. We have a vibrant group of researchers across the spectrum from programming languages to mathematical foundations. Our work includes game, domain, effect, pointer and categorical semantics, logic, topology and much else besides; and the funding is not tied to particular projects. As our current students will confirm, we have a lively and friendly atmosphere. The group is burgeoning right now, and includes - Martin Escardo (domain theory, topology, semantics and more) - Dan Ghica (interaction models of computation and applications to software analysis) - Achim Jung (domain theory, semantics, topology) - Paul Blain Levy (denotational semantics and its problems) - Uday Reddy (programming logic and formal methods, object-oriented programming) - Eike Ritter (type theory, computational logic, automatic verification) - Hayo Thielecke (types and logics for effects in programming languages) - Steve Vickers (relating topology, computer science and logic, especially using toposes and locales) This year, we're hosting both Midlands Graduate School and Mathematical Foundations of Progamming Semantics. It's all happening here - come and be part of it! Please don't hesitate to send us any queries, whether about research, money or anything else. Application information is at http://www.cs.bham.ac.uk/study/postgraduate-research/research_applications.h... regards Paul -- Paul Blain Levy email: pbl@cs.bham.ac.uk School of Computer Science, University of Birmingham Birmingham B15 2TT, U.K. tel: +44 121-414-4792 http://www.cs.bham.ac.uk/~pbl 17-Mar-2005 17:13:39 -0400,3995;000000000000-00000000