EasyChair Smart CFPHelp/Log in
All CFPs for "functional programming"

Click on the CFP acronym to open this CFP.

To add a CFP to your watchlist, click .

Click on a topic to see related CFPs.

Acronym
NameLocation
Submission
deadline
Start date
TopicsAdd to watchlist
PADL 2022The 24th International Symposium on Practical Aspects of Declarative LanguagesPhiladelphia, PA, United StatesOct 13, 2021Jan 17, 2022functional programming logic programming constraint programming theorem provingadd PADL 2022 to watchlist
TFP '22Trends in Functional ProgrammingKrakow, PolandFeb 10, 2022functional programmingadd TFP '22 to watchlist
Post-TYPES 2021Post-proceedings of the 27th International Conference on Types for Proofs and Programs (TYPES 2021)Leiden, NetherlandsNov 26, 2021type theory proof assistants functional programmingadd Post-TYPES 2021 to watchlist
Copyright © 2002 – 2021 EasyChair