[TYPES/announce] Autumn school "Proof and Computation", Fischbachau (Germany), 15-21 Sep 2024

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for multiple postings.] Autumn school "Proof and Computation" Fischbachau, Germany, 15th to 21st September 2024

[TYPES/announce] SYCO 12 - Third call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - CALL FOR SUBMISSIONS TWELFTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 12) Birmingham, UK 15-16 April, 2024 Submission deadline: Monday 11 March

[TYPES/announce] CFP: Haskell Symposium 2024

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The ACM SIGPLAN Haskell Symposium 2024 will be co-located with the 2024 International Conference on Functional Programming (ICFP). The Haskell Symposium presents original research on

[TYPES/announce] ICFP 2024: Call for Tutorials

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ICFP 2024 CALL FOR TUTORIAL, PANEL, AND DISCUSSION PROPOSALS 29th ACM SIGPLAN International Conference on Functional Programming

[TYPES/announce] Call for Contributions: Workshop on Choreographic Programming @ PLDI 2024

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Choreographic Programming: Call for Contributions = First International Workshop on Choreographic Programming co-located with PLDI 2024 June