<div dir="ltr">================================================================<br>                         Call for Papers<br><br>                            TLLA  2021<br><br>                    5th International Workshop on<br>                Trends in Linear Logic and Applications<br><br>                       Rome, 27-28 June 2021<br><br>                       Affiliated with ACM/IEEE LICS<br><br>                   <a href="https://lipn.univ-paris13.fr/TLLA/2021/">https://lipn.univ-paris13.fr/TLLA/2021/</a><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> * implicit computational complexity<br> * parallelism and concurrency<br> * games and languages<br> * proof theory<br> * philosophy<br> * categories and algebra<br> * possible connections with combinatorics<br> * linguistics<br> * functional analysis and operator algebras<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 submit a short abstract whose length is<br>between 2 and 5 pages on<br><br> <a href="https://easychair.org/conferences/?conf=tlla2021">https://easychair.org/conferences/?conf=tlla2021</a><br><br>----------------------------------------------------------------------<br>** Important dates<br>----------------------------------------------------------------------<br><br>  * Submission deadline:               2 May  2021<br>  * Notification to authors:           14 May  2021<br>  * Final versions due:                24 May  2021<br><br>  * Workshop date:                     27-28 June 2021<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>TBA<br> <br>----------------------------------------------------------------------<br>** Invited Speakers<br>----------------------------------------------------------------------<br><br>TBA<br><br>----------------------------------------------------------------------<br>** Program Committee<br>----------------------------------------------------------------------<br>  * Claudia Faggian, CNRS - University Paris Diderot, France<br>  * Giulio Guerrieri, University of Bath, UK<br>  * Naohiko Hoshino, Tojo University, Japan<br>  * Sonia Marin, University College London, UK<br>  * Elaine Pimentel, Federal University of Rio Grande do Norte, Brazil (co-chair)<br>  * Paolo Pistone, Università di Bologna, Italy<br>  * Myriam Quatrini, Université de la Méditerranée<br>  * Christian Retoré, Université de Montpellier, France (co-chair)<br>  * Thomas Seiller, University of Paris 13, France<br>  * Lutz Strassburger, Inria Saclay, France<br><br>----------------------------------------------------------------------<br>** Organization Committee<br>----------------------------------------------------------------------<br><br>  * Thomas Ehrhard, CNRS - University Paris Diderot, France<br>  * Stefano Guerrini, University of Paris 13, France<br>  * Lorenzo Tortora de Falco, University Roma Tre, Italy<br><br>----------------------------------------------------------------------<br>** Contact<br>----------------------------------------------------------------------<br><br>All questions about submissions should be emailed to the PC chairs at <a href="mailto:elaine.pimentel@gmail.com">elaine.pimentel@gmail.com</a> <br><div><br></div>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div>Christian Retoré & Elaine Pimentel </div><div><br></div></div></div></div></div></div></div>