The Coq mailing list

[Graham Hutton <Graham.Hutton AT nottingham.ac.uk>]

Dear all,

We're delighted to announce a Special Issue on Program Calculation
for the Journal of Functional Programming.

Please share, and submit your best papers!

Best wishes,

Graham Hutton and Nicolas Wu
Guest Editors


==================================================================

JFP Special Issue on Program Calculation

We invite submissions to the Journal of Functional Programming
Special Issue on Program Calculation: tinyurl.com/prog-calc

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: tinyurl.com/intent-to-submit

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: tinyurl.com/JFP-instructions

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 AT nottingham.ac.uk>
Nicolas Wu <n.wu AT 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

==================================================================




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.