#CallForPapers for a special issue of the Journal of Functional Programming on Program Calculation: "The idea of program calculation, in which programs are derived from specifications using equational reasoning techniques, has been a topic of interest in functional programming since its earliest days.. The aim of this special issue is to document advances that have been made in the field of program calculation in recent years" https://www.cambridge.org/core/journals/journal-of-functional-programming/announcements/call-for-papers/special-issue-on-program-calculation #JFP #FP