[TYPES/announce] [TFP 2023 Call for Papers] 24th International Symposium on Trends in Functional Programming

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] # TFP 2023 -- Call for Papers (trendsfp.github.io) ## Important Dates Submission deadline: pre-symposium, full papers,  Wednesday 23rd November, 2022 Submission deadline: pre-symposium,

[TYPES/announce] 1st Call for Papers: NASA Formal Methods (NFM) 2023

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * The Fifteenth NASA Formal Methods Symposium

[TYPES/announce] PLDI 2023 First Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Please distribute widely. *Call for Papers* 2023 ACM Conference on Programming Language Design and Implementation (PLDI) Mon 19 - Wed 21 June 2023 Orlando, Florida,

[TYPES/announce] NJPLS on Friday, October 21st, at UMD

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hello all! The next iteration of NJPLS will happen at the University of Maryland, College Park, on Friday October 21st. As before, details about the precise timing will follow, but if