Dear all, We're delighted to announce that the JFP Special Issue on Program Calculation is now complete, and contains eleven papers that are freely available to read online from the link below. Best wishes, Graham Hutton and Nicolas Wu Special-Issue Editors ==================================================================== JFP Special Issue on Program Calculation https://tinyurl.com/JFP-prog-calc The idea of program calculation, in which programs are derived from specifications using equational reasoning, has been a central theme in functional programming since its inception. In particular, the approach allows us to systematically discover how programs can be defined, while at the same time obtaining proofs that they are correct. This special issue showcases recent advances in the field of program calculation. We are pleased to present eleven papers covering a diverse range of topics, including algorithm design, computational effects, graphical methods, relational reasoning, compiler calculation, and co-induction. These contributions reflect the depth and breadth of contemporary research in the field. We dedicate the special issue to the memory of Richard Bird, the ultimate program calculator. His commitment to clarity, simplicity and elegance set a standard that continues to inspire all who had the pleasure of reading his papers and hearing his talks. ==================================================================== This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law.