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 | Name | Location | Submission deadline | Start date | Topics |  |
|---|---|---|---|---|---|---|
| TYPES 2020 | 26th International Conference on Types for Proofs and Programs | Turin, Italy | Jan 20, 2020 | Mar 2, 2020 | type theory functional programming formal methods proof assistants | |
| MSFP 2020 | Eighth Workshop on Mathematically Structured Functional Programming | Dublin, Ireland | Jan 16, 2020 | Apr 25, 2020 | functional programming mathematical structure type theory semantics | |