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/
*** 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
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