From: Differential MSCS <differential.mscs@lipn.univ-paris13.fr>
To: <categories@mta.ca>
Subject: categories: MSCS Special Issue on "Differential Structures in Computer Science and Mathematics"
Date: Fri, 3 Mar 2023 06:57:36 +0900 [thread overview]
Message-ID: <E1pYDG2-0003kl-IU@rr.mta.ca> (raw)
-- 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 DATE:
Submission of papers: Sept 30, 2023
Reviews : January 2024
Final Version : March 2024
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 lead 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
Questions can be sent to this email:
differential.mscs@lipn.univ-paris13.fr
Or any of the editors listed above.
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
reply other threads:[~2023-03-03 21:49 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=E1pYDG2-0003kl-IU@rr.mta.ca \
--to=differential.mscs@lipn.univ-paris13.fr \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).