[TYPES/announce] UNIF 2023 Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for multiple copies] UNIF 2023: 37th INTERNATIONAL WORKSHOP ON UNIFICATION July 2, 2023, Rome, Italy A satellite workshop of CADE/FSCD 2023, affiliated to FSCD 2023

[TYPES/announce] [ICTAC 2023] Second call for papers – deadline 16 June 2023

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -- ICTAC 2023 - Second Call for Papers 20th International Colloquium on Theoretical Aspects

[TYPES/announce] VL/HCC 2023 call for posters (due June 28) and graduate consortium (due July 7)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] VL/HCC 2023: IEEE Symposium on Visual Languages and Human-Centric Computing