[TYPES/announce] Second Call for Papers: JFP Special Issue on Program Calculation (papers due 1st Dec)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == JFP Special Issue on Program Calculation

[TYPES/announce] VeriProP 2023 - Final Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Final Call for Participation VeriProP 2023 - 3rd Workshop on Verification of Probabilistic Programs, co-located with CAV 2023