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.9 required=5.0 tests=LOCALPART_IN_SUBJECT, RCVD_IN_MSPIKE_H2,RDNS_NONE,TO_NAME_SUBJ_NO_RDNS,T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.4 Received: (qmail 29709 invoked from network); 26 Apr 2023 02:00:48 -0000 Received: from unknown (HELO smtp2.mta.ca) (198.164.44.75) by inbox.vuxu.org with ESMTPUTF8; 26 Apr 2023 02:00:48 -0000 Received: from rr.mta.ca ([198.164.44.159]:46076) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1prUOe-0005d0-Cc; Tue, 25 Apr 2023 22:56:40 -0300 Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1prUOI-0002nN-PF for categories-list@rr.mta.ca; Tue, 25 Apr 2023 22:56:18 -0300 From: Stefano Guerrini Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 (Mac OS X Mail 16.0 \(3696.120.41.1.1\)) Date: Mon, 24 Apr 2023 01:24:21 +0200 Subject: categories: Call for Papers - TLLA 23 (7th International Workshop on Trends in Linear Logic and Applications) To: categories@mta.ca Precedence: bulk Reply-To: Stefano Guerrini Message-Id: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Call for Papers TLLA 2023 7th International Workshop on Trends in Linear Logic and Applications Rome, 1-2 July 2023 Affiliated with FSCD 2023 https://tlla.linear-logic.org/2023/ =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Linear Logic is not only a proof theoretical tool to analyze or control the use of resources in logic and computation. It is also a corpus of tools, approaches, and methodologies (proof nets, exponential decomposition, geometry of interaction, coherent spaces, relational models, etc.) that, even if developed for studying Linear Logic syntax and semantics, have been applied in several other fields (analysis of lambda-calculus computations, game semantics, computational complexity, program verification, etc.). The TLLA international workshop aims at bringing together researchers working on Linear Logic or applying it or its tools. The main goal is to present and discuss trends in the research on Linear Logic and its applications by means of tutorials, invited talks, open discussions, and contributed talks. The purpose is to gather researchers interested in the connections between Linear Logic and various topics such as * theory of programming languages * games and languages * proof theory * categories and algebra * implicit computational complexity * parallelism and concurrency * quantum and probabilistic computing * models of computation * possible connections with combinatorics * functional analysis and operator algebras * philosophy * linguistics ---------------------------------------------------------------------- ** Submission Guidelines ---------------------------------------------------------------------- Contributions are not restricted to talks presenting an original results, but open to tutorials, open discussions, and position papers. For this reason, we strongly encourage contributions presenting work in progress, open questions, and research projects. Contributions presenting the application of linear logic results, techniques, or tools to other fields, or vice versa, are most welcome. To propose a contributed talk, send an email with the pdf file of a=20 short abstract to tlla23@irif.fr Please specify in the email message the names of the corresponding authors and their emails, if different from the sending one, which in = any case will be used for further communications. The abstract, whose length should be between 2 and 5 page, must include the names and the email addresses of all the authors.=20 ---------------------------------------------------------------------- ** Important dates ---------------------------------------------------------------------- * Submission deadline: 15 May 2023 * Notification to authors: 22 May 2023=20 * Final versions due: 31 May 2023=20 * Workshop date: 1-2 July 2023 ---------------------------------------------------------------------- ** Publication ---------------------------------------------------------------------- The abstracts of the contributed and invited talks will be published on the site of the conference. Possible other formats will be discussed at the workshop. ---------------------------------------------------------------------- ** Tutorials ---------------------------------------------------------------------- * Alexis Saurin, Universit=C3=A9 Paris Cit=C3=A9, France * Zeinab Galal, Sorbonne Universit=C3=A9, France ---------------------------------------------------------------------- ** Invited Speakers ---------------------------------------------------------------------- * Marcelo Fiore, University of Cambridge, UK * Gabriele Vanoni, INRIA-Sophia Antipolis, France ---------------------------------------------------------------------- ** Program Committee ---------------------------------------------------------------------- * Thomas Ehrhard, CNRS - Universit=C3=A9 Paris Cit=C3=A9, France * Nicola Gambino, University of Manchester, UK * Stefano Guerrini, Universit=C3=A9 Sorbonne Paris Nord, France * Thomas Streicher, Technische Universit=C3=A4t Darmstadt, Germany * Lorenzo Tortora de Falco, Universit=C3=A0 Roma Tre, Italy * Lionel Vaux, Aix-Marseille Universit=C3=A9, France ---------------------------------------------------------------------- ** Organization Committee ---------------------------------------------------------------------- * Thomas Ehrhard, CNRS - Universit=C3=A9 Paris Cit=C3=A9, France * Stefano Guerrini, Universit=C3=A9 Sorbonne Paris Nord, France * Lorenzo Tortora de Falco, Universit=C3=A0 Roma Tre, Italy =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Stefano Guerrini Professeur des Universit=C3=A9s Institut Galil=C3=A9e, Universit=C3=A9 Sorbonne Paris Nord (USPN) Laboratoire d'Informatique de Paris-Nord (LIPN), CNRS (UMR 7030) stefano.guerrini@univ-paris13.fr [For admin and other information see: http://www.mta.ca/~cat-dist/ ]