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

2021-12-08 Thread Andrei Popescu
*** Call for Participation *** *** Certified Programs and Proofs (CPP) 2022 *** - Early registration deadline: 3 January 2022 - Getting a visa: https://popl22.sigplan.org/attending/visa-information - Registration: https://popl22.sigplan.org/attending/registration - Further reduced student

[Haskell] Call for Workshop Proposals: ICFP 2022

2021-12-08 Thread Ilya Sergey via Haskell
CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS ICFP 2022 27th ACM SIGPLAN International Conference on Functional Programming September 11 - 16, 2022 Ljubljana, Slovenia