[TYPES/announce] QPL 2018 submission deadline approaching

thors are students at the time of submission. PROGRAM COMMITTEE Giulio Chiribella (University of Oxford, co-chair) Peter Selinger (Dalhousie University, co-chair) Samson Abramsky (University of Oxford) Antonio Acin (Institute of Photonic Sciences) Richard Blute (University of Ottawa) Anne B

[TYPES/announce] Call for papers: QPL 2018

ibella (co-chair) Peter Selinger (co-chair) Samson Abramsky Richard Blute Anne Broadbent Dan Browne Bob Coecke Ross Duncan Teiko Heinosaari Chris Heunen Matthew Hoban Dominic Horsman Bart Jacobs Kohei Kishida Aleks Kissinger Joachim Kock Ciaran Lee Matt Leifer Ma

[TYPES/announce] subject reduction

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear type theorists, what is the origin of the term "subject reduction"? I am of course referring to the property that if M:A and M -> N, then N:A, also known as type preservation. I can

[TYPES/announce] Assistant Professor position at Dalhousie

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Assistant Professor, Mathematics Department of Mathematics and Statistics, Faculty of Science Dalhousie University invites applicants for a probationary tenure track position in

[TYPES/announce] postdoc position in dependent types at Dalhousie

t date can be immediately, or some time in the near future. The position is initially for 1 year, and can be extended for an additional year. The salary is CAD $60,000 per year. Interested applicants should contact Peter Selinger at selin...@mathstat.dal.ca as soon as possible, and in any case before Oct

[TYPES/announce] QPL 2011 workshop, Nijmegen, Oct 27-29

(Perimeter Institute) Andreas Döring (Oxford) Simon Gay (University of Glasgow) Bart Jacobs (Nijmegen, co-chair) Prakash Panangaden (McGill) Simon Perdrix (CNRS - Grenoble) Mehrnoosh Sadrzadeh (Oxford) Peter Selinger (Dalhousie, co-chair) Bas Spitters (Nijmegen) Local organizers: Bart Jacobs

[TYPES/announce] postdoc position, immediately

will be helpful, but is neither necessary nor sufficient for this position - the main emphasis is on programming languages. Interested applicants should contact Peter Selinger at selin...@mathstat.dal.ca as soon as possible, and in any case before August 11. I can provide more details about

[TYPES/announce] Graduate student and postdoc opportunities at Dalhousie

://www.mathstat.dal.ca/~pare/ Richard Wood http://www.mathstat.dal.ca/Faculty/rjwood.html Dorette Pronk http://www.mathstat.dal.ca/Faculty/pronk.htm Peter Selinger http://www.mathstat.dal.ca/~selinger/ We seek applications in the following areas: * any area of pure and applied category theory