[TYPES/announce] BLC 2010 2nd Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] British Logic Colloquium 2010, Birmingham, 2-4 September The annual meeting of The British Logic Colloquium will take place from 2-4 September 2010 in Birmingham. The aim of this meeting is

[TYPES/announce] Call for Papers for ACM PLPV 2011

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Apologies for multiple postings. --- The Fifth ACM SIGPLAN Workshop on Programming Languages meets Progra