[TYPES/announce] CfP Summer School on Satisfiability Checking and Symbolic Computation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] FIRST CALL FOR PARTICIPATION First International Summer School on Satisfiability Checking and Symbolic Computation July 31 - August 04,

[TYPES/announce] PhD studentships at the University of Leicester

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear All, We have 8 PhD positions at the University of Leicester. 3 (so called GTA positions) involve teaching assistance, are over 4 years and can be in any area of research of our

[TYPES/announce] Special Issue of MSCS---Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers Special Issue of Mathematical Structures in Computer Science in Celebration of the Sixtieth Birthday of Dale Miller Papers are invited to a special issue of Mathematical