From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: **** X-Spam-Status: No, score=4.0 required=5.0 tests=DKIM_ADSP_CUSTOM_MED, FORGED_GMAIL_RCVD,FREEMAIL_FROM,LOCALPART_IN_SUBJECT,RDNS_NONE, SPOOFED_FREEMAIL,SPOOFED_FREEMAIL_NO_RDNS,SPOOF_GMAIL_MID, TO_NAME_SUBJ_NO_RDNS autolearn=no autolearn_force=no version=3.4.4 Received: (qmail 11691 invoked from network); 7 Sep 2023 01:35:07 -0000 Received: from unknown (HELO smtp2.mta.ca) (198.164.44.75) by inbox.vuxu.org with ESMTPUTF8; 7 Sep 2023 01:35:07 -0000 Received: from rr.mta.ca ([198.164.44.159]:53346) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1qe3oO-0005W8-Oa; Wed, 06 Sep 2023 22:28:00 -0300 Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1qe3o0-0001Pm-Fr for categories-list@rr.mta.ca; Wed, 06 Sep 2023 22:27:36 -0300 MIME-Version: 1.0 From: JS PL Date: Tue, 5 Sep 2023 07:29:20 +1000 Subject: categories: Reminder for Special Issue on "Differential Structures in Computer Science and Mathematics" To: categories@mta.ca Content-Type: text/plain; charset="UTF-8" Precedence: bulk Reply-To: JS PL Message-Id: -- 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 DATES: Submission of papers: Sept 30, 2023 **see end of message** 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 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) If authors who wish to submit to the special issue require a bit more time, please contact one of the editors listed above. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]