[TYPES/announce] PSSL 92 - First Announcement

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear All, We are pleased to announce that the 92nd Peripatetic Seminar on Sheaves and Logic (PSSL) will be held in Oxford, UK on the weekend of April 23-24, 2011. Please let us know asap

[TYPES/announce] FMOODS FORTE 2011 (extended deadline!) - Last CfP

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for multiple copies] Dear colleagues, due to several requests, FMOODS FORTE 2011 submission deadlines are extended as follows: * February 13, 2011 Abstract Submission

[TYPES/announce] Oregon Programming Languages Summer School 2011 - Call For Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -- Call For Participation Types, Semantics and Verification 10th Annual Oregon Programming Languages Summer School