[TYPES/announce] CFP: IEEE CSF 2023 - Winter Cycle (Submission Deadline: February 3, 2023)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 36th IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF) 2023 July 10 - 14, 2023 - Dubrovnik, Croatia

[TYPES/announce] Two open position at the ILLC, University of Amsterdam

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [APOLOGIES FOR MULTIPLE POSTING] Dear all, Please find below a vacancy that might be of interest to you. Best wishes, Benno === *Two Assistant Professors in Mathematical and

[TYPES/announce] FORTE'23 first CfP

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] FORTE 2023 - 43nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems June 19-23, 2023. Lisbon, Portugal Website: