Dear all,
Midlands Graduate School (MGS) registration is now open! Eight
courses on dependently typed programming, category theory, lambda
calculus, denotational semantics, and more. 9-13 April 2018,
Nottingham, UK. Spaces are limited, so early registration is
recommended. Please share! http:
Dear All,
The University of Edinburgh is offering a variety of Chancellor's Fellowships.
These are essentially lectureships with an initial fellowship period of
five years. Some fellowships may be in Programming Languages as part of the
Digital Technologies area, and suitable candidates are stron
