[TYPES/announce] Final announcement, Vladimir Voevodsky Memorial Conference

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear mathematicians and computer scientists, Vladimir Voevodsky was an enormously creative and wide ranging mathematician whose insight into topology and homotopy theory greatly advanced

[TYPES/announce] Final Call for Papers Software Verification and Testing Track (SVT) @ ACM SAC 2019

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 34th Annual ACM Symposium on Applied Computing Software Verification and Testing Track Limassol, Cyprus