[Haskell] ICFP 2023: Call for Workshop and Co-Located Event

2022-12-05 Thread ICFP Publicity via Haskell
CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS ICFP 2023 28th ACM SIGPLAN International Conference on Functional Programming September 4 - 9, 2023 Seattle, WA, USA https://icfp23.sigplan.org/

[Haskell] Certified Programs and Proofs (CPP) 2023: Call for Participation

2022-12-05 Thread Steve Zdancewic
*** Call for Participation *** *** Certified Programs and Proofs (CPP) 2023 ***  - Early registration deadline: 16 December 2022  - Registration: https://popl23.sigplan.org/attending/registration  - Further reduced student participation fee: see below  - Accommodation: Boston Park Plaza   

[Haskell] Email

2022-12-05 Thread Lori Levy via Haskell
Please take me off email list Sent from my iPhone Please take me off your email list thank you ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell