<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div>[Apologies if you receive multiple copies of this message]</div><div><br></div><div>Dear colleagues, </div><div><br></div><div>the deadline for TLLA 2023 (7th International Workshop on Trends in Linear Logic and Applications) that will be held in Rome, 1-2 July colocated with FSCD has been extended. Here it is the new dates:</div><div><br></div><div>* Submission deadline: 21 May 2023<br>* Notification to authors: 26 May 2023 <br>* Final versions due: 7 June 2023 <br><br></div><div>Please, find below the new version of the call for paper, that you can also find on the site of the workshop</div><div><br></div><div><span class="Apple-tab-span" style="white-space:pre"> </span>https://tlla.linear-logic.org/2023</div><div><br></div><div>Best wishes</div><div><br></div><div>—sg</div><div><br></div><div><span style="orphans: 2; widows: 2;">=====================================</span><div style="orphans: 2; widows: 2;"><br></div><div style="orphans: 2; widows: 2;">Stefano Guerrini</div><div style="orphans: 2; widows: 2;"><div>Professeur des Universités<br></div><div>Institut Galilée, Université Sorbonne Paris Nord (USPN)<br>Laboratoire d'Informatique de Paris-Nord (LIPN), CNRS (UMR 7030)<br>stefano.guerrini@univ-paris13.fr<br></div><div><br></div></div></div><div><br></div>==============================================================<br> Call for Papers<br><br> TLLA 2023<br><br> 7th International Workshop on<br> Trends in Linear Logic and Applications<br><br> Rome, 1-2 July 2023<br><br> Affiliated with FSCD 2023<br><br> <a href="https://urldefense.com/v3/__https://tlla.linear-logic.org/2023/__;!!IBzWLUs!RtFOF9PyIysIji9idrKS8ExktP8flYCBtzWWozVpLKpEU_kCPqlcX8-btsBP1yDqUiO_AzYnIpDSOIzpWTtdIr9MiK3cXrTTYeRbSO1DuYhCn4X1cw$">https://tlla.linear-logic.org/2023/</a><br><br>==============================================================<br><br>Linear Logic is not only a proof theoretical tool to analyze or<br>control the use of resources in logic and computation. It is also a<br>corpus of tools, approaches, and methodologies (proof nets,<br>exponential decomposition, geometry of interaction, coherent spaces,<br>relational models, etc.) that, even if developed for studying Linear<br>Logic syntax and semantics, have been applied in several other fields<br>(analysis of lambda-calculus computations, game semantics, computational<br>complexity, program verification, etc.).<br><br>The TLLA international workshop aims at bringing together researchers<br>working on Linear Logic or applying it or its tools. The main goal is<br>to present and discuss trends in the research on Linear Logic and its<br>applications by means of tutorials, invited talks, open discussions,<br>and contributed talks.<br><br>The purpose is to gather researchers interested in the connections<br>between Linear Logic and various topics such as<br><br>* theory of programming languages<br>* games and languages<br>* proof theory<br>* categories and algebra<br>* implicit computational complexity<br>* parallelism and concurrency<br>* quantum and probabilistic computing<br>* models of computation<br>* possible connections with combinatorics<br>* functional analysis and operator algebras<br>* philosophy<br>* linguistics<br><br><br>----------------------------------------------------------------------<br>** Submission Guidelines<br>----------------------------------------------------------------------<br><br>Contributions are not restricted to talks presenting an original<br>results, but open to tutorials, open discussions, and position<br>papers. For this reason, we strongly encourage contributions<br>presenting work in progress, open questions, and research<br>projects. Contributions presenting the application of linear logic<br>results, techniques, or tools to other fields, or vice versa, are most<br>welcome.<br><br>To propose a contributed talk, send an email with the pdf file of a <br>short abstract to<br><br><a href="mailto:tlla23@irif.fr">tlla23@irif.fr</a><br><br>Please specify in the email message the names of the corresponding<br>authors and their emails, if different from the sending one, which in any<br>case will be used for further communications. The abstract, whose length<br>should be between 2 and 5 page, must include the names and the email<br>addresses of all the authors. <br><br>----------------------------------------------------------------------<br>** Important dates<br>----------------------------------------------------------------------<br><br>* Submission deadline: 15 May 2023<br>* Notification to authors: 22 May 2023 <br>* Final versions due: 31 May 2023 <br><br>* Workshop date: 1-2 July 2023<br><br>----------------------------------------------------------------------<br>** Publication<br>----------------------------------------------------------------------<br><br>The abstracts of the contributed and invited talks will be published<br>on the site of the conference.<br>Possible other formats will be discussed at the workshop.<br><br>----------------------------------------------------------------------<br>** Tutorials<br>----------------------------------------------------------------------<br><br>* Alexis Saurin, Université Paris Cité, France<br>* Zeinab Galal, Sorbonne Université, France<br><br>----------------------------------------------------------------------<br>** Invited Speakers<br>----------------------------------------------------------------------<br><br>* Marcelo Fiore, University of Cambridge, UK<br>* Gabriele Vanoni, INRIA-Sophia Antipolis, France<br><br>----------------------------------------------------------------------<br>** Program Committee<br>----------------------------------------------------------------------<br>* Thomas Ehrhard, CNRS - Université Paris Cité, France<br>* Nicola Gambino, University of Manchester, UK<br>* Stefano Guerrini, Université Sorbonne Paris Nord, France<br>* Thomas Streicher, Technische Universität Darmstadt, Germany<br>* Lorenzo Tortora de Falco, Università Roma Tre, Italy<br>* Lionel Vaux, Aix-Marseille Université, France<br><br>----------------------------------------------------------------------<br>** Organization Committee<br>----------------------------------------------------------------------<br><br>* Thomas Ehrhard, CNRS - Université Paris Cité, France<br>* Stefano Guerrini, Université Sorbonne Paris Nord, France<br>* Lorenzo Tortora de Falco, Università Roma Tre, Italy<br><div>
<meta charset="UTF-8"><div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div style="color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div style="color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div style="color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><span class="Apple-style-span" style="border-collapse: separate; font-variant-ligatures: normal; font-variant-position: normal; font-variant-numeric: normal; font-variant-alternates: normal; font-variant-east-asian: normal; font-weight: normal; line-height: normal; border-spacing: 0px; -webkit-text-decorations-in-effect: none;"><div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-style: normal; font-variant-ligatures: normal; font-variant-position: normal; font-variant-caps: normal; font-variant-numeric: normal; font-variant-alternates: normal; font-variant-east-asian: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; border-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-stroke-width: 0px;"><div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-style: normal; font-variant-ligatures: normal; font-variant-position: normal; font-variant-caps: normal; font-variant-numeric: normal; font-variant-alternates: normal; font-variant-east-asian: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; border-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-stroke-width: 0px;"><div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-style: normal; font-variant-ligatures: normal; font-variant-position: normal; font-variant-caps: normal; font-variant-numeric: normal; font-variant-alternates: normal; font-variant-east-asian: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; border-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-stroke-width: 0px;"><div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-style: normal; font-variant-ligatures: normal; font-variant-position: normal; font-variant-caps: normal; font-variant-numeric: normal; font-variant-alternates: normal; font-variant-east-asian: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; border-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-stroke-width: 0px;"><div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div><br></div><div></div></div></span></div></span></div></span></div></span></div></span></div></div></div></div></div></div></div><br class="Apple-interchange-newline">
</div>
<br></body></html>