[TYPES/announce] Dahl-Nygaard junior and senior prizes - deadline for nominations: 30 September 2023

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all We are seeking nominations for the 2024 Dahl-Nygaard junior and senior prizes! ** Deadline: 30 September 2023 ** Established by AITO in 2004, these annual prizes are named after

[TYPES/announce] [IEEE VL/HCC 2023] Registration is now open!

[ 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

[TYPES/announce] POPL 2024 - Call for Tutorials (deadline: 15 October)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all Please consider submitting a tutorial proposal to POPL 2024 - the call is below. We would be grateful if you could please circulate this call within your networks! Thanks Ally

[TYPES/announce] Job: Postdoctoral position in verification/robustness of AI

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for multiple mailing. Informal enquiries to marta.kwiatkow...@cs.ox.ac.uk]* * *Research Associate on FUN2MODEL: From FUNction-based TO MOdel-based automated probabilistic

[TYPES/announce] CFP: IEEE CSF 2024 - Fall Cycle (Submission Deadline: September 30, 2023, AoE)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 37th IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF) 2024 July 8 - 12, 2024 - Enschede, The Netherlands