[TYPES/announce] Workshop on Efficient and Natural Proof Systems: 14-16 December, Bath.

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 2nd AND FINAL CALL FOR PARTICIPATION Workshop on EFFICIENT AND NATURAL PROOF SYSTEMS University of Bath 14-16 December, 2015 The Mathematical Foundations group at the Department of

Re: [TYPES/announce] [Coq-Club] 2016-2017 at the IAS

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hello, let me provide another reminder: the deadline for applications for the 206/17 academic year at the IAS is December 1, 2015. With best regards, Vladimir. > On Oct 13, 2015, at 3:33