JFP Special Issue on Program Calculation

We invite submissions to the Journal of Functional Programming Special Issue on Program Calculation. 

Notification of intent: 20 October 2023

Submission deadline: 1 December 2023

SCOPE

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. 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.

The aim of this special issue is to document advances that have been made in the field of program calculation in recent years.

TOPICS

Full-length, archival-quality submissions are solicited on all aspects of program calculation and related topics. Specific topics of interest include but are not limited to: 

• Program derivation and transformation;
• Inductive and co-inductive methods; 
• Recursion and co-recursion schemes: 
• Categorical and graphical methods; 
• Tool support and proof assistants; 
• Efficiency and resource usage; 
• Functional algorithm design; 
• Calculation case studies.

The special issue will also consider papers on program calculation that are not traditional research papers. This may include pearls, surveys, tutorials or educational papers, which will be judged by the usual JFP standards for such submissions.


Papers will be reviewed as regular JFP submissions, and acceptance in the special issue will be based on both JFP's quality standards and relevance to the theme.

NOTIFICATION OF INTENT

Authors must notify the special issue editors of their intent to submit by 20 October 2023.

The notification of intent should be submitted by filling out the following form, which asks for data to help identify suitable reviewers: Intent to Submit Form.

If you miss the notification of intent deadline, but still wish to submit, please contact the special-issue editors.

SUBMISSIONS

Papers must be submitted by 1 December 2023. Submissions should be typeset in LaTeX using the JFP style file, and submitted through the JFP Manuscript Central system.

Choose "Program Calculation" as the paper type, so it gets assigned to the special issue.

Further author instructions are available from: JFP author instructions page. 

We welcome extended versions of conference or workshop papers. Such submissions must clearly describe the relationship with the initial publication, and must differ sufficiently that the author can assign copyright to Cambridge University Press. Prospective authors are welcome to discuss submissions with the editors to ensure compliance.

SPECIAL-ISSUE EDITORS

Graham Hutton <graham.hutton@nottingham.ac.uk>

Nicolas Wu <n.wu@imperial.ac.uk>

IMPORTANT DATES

We anticipate the following schedule:

• 20 October 2023: Notification-of-intent deadline
• 1 December 2023: Submission deadline
• 22 March 2024: First round of reviews
• 12 July 2024: Revision deadline
• 4 October 2024: Second round of reviews, if applicable
• 29 November 2024: Final versions due