[TYPES/announce] FINAL Call for Papers: VIRTUAL Linearity & TLLA 2020

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === FINAL Call for Papers: NEW DEADLINE 4th May 2020 Joint Linearity & TLLA Workshop Sixth International Workshop on Linearity Fourth

[TYPES/announce] CFP: ISSTA 2020 Doctoral Symposium

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=- ISSTA 2020 Doctoral Symposium 18 July 2020 Los Angeles, CA