categories: MSCS Special Issue on Differential Structures: Deadline Extension

categories: MSCS Special Issue on Differential Structures: Deadline Extension

[JS PL]

-- Special Issue of Mathematical Structures in Computer Science on

"Differential Structures in Computer Science and Mathematics" --

Edited by R. Cockett, G. Cruttwell, M. Kerjean, and J.-S. P. Lemay

IMPORTANT: Submission Window Extension

The deadline for the special MSCS issue was originally at the end of
Septembre. However, after some authors have asked for more time: MSCS has
allowed us to accept late submissions throughout Oct-Nov 2023.

If you are interested in submitting to the volume, please contact one of
the guest editors to discuss when your submission will be ready.

SCOPE AND OBJECTIVES:

In the early 2000s, Ehrhard and Regnier noticed that many models of linear
logic had a natural notion of differential operator in which the logical
and mathematical notions of "linear" coincided.  This led to their
introduction of differential linear logic, the differential lambda-calculus
and differential proof nets.  Following this, Blute, Cockett and Seely
introduced categorical counterparts to these ideas in the form of
differential categories and Cartesian differential categories, which were
then expanded upon further by many others including Fiore and Ehrhard.
Afterwards, Cockett and Cruttwell connected these structures to existing
categorical forms of differential structure via Rosicky's notion of a
tangent category, which has led to further connections in many areas of
mathematics including (synthetic) differential geometry, commutative
algebra, etc.

Since these developments, there have been numerous papers and talks on
these ideas in both computer science and mathematics.  This special issue
of Mathematical Structures in Computer Science aims to collect papers on
recent developments in these areas, from both a theoretical and an
applicative point of view.

TOPICS FOR SUBMITTED PAPERS:

Possible topics for submitted papers include, but are not limited to:

* Differential linear logic, the differential lambda calculus and
differential proof-nets

* Models of differential and/or resource calculi

* Theory and models of differential programming

* Theory and applications of differential categories

* Theory and applications of tangent categories

SUBMISSION INSTRUCTIONS:

The papers must be of very high quality, and reflect a new emphasis upon
the use of differential concepts and results in either computer science or
mathematics (or both), broadly construed.  They will be refereed as
standard submissions to Mathematical Structures in Computer Science.

As for the submission process, authors should go to the MSCS website, and
when asked: indicate that the submission is made for a special issue, and
indicate  Differential structures.

https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science

For questions, please contact one of the editors:

Robin Cockett (robin@ucalgary.ca)

Geoff Cruttwell (gcruttwell@mta.ca)

Marie Kerjean (marie.kerjean@lipn.univ-paris13.fr)

Jean-Simon Pacaud Lemay (js.lemay@mq.edu.au)


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]