============================================================== Call for Papers TLLA 2024 8th International Workshop on Trends in Linear Logic and Applications Tallinn, Estonia 8-9 July 2024 Affiliated with FSCD 2024 https://tlla.linear-logic.org/2024/ ============================================================== 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 of logic and mathematics * linguistics ---------------------------------------------------------------------- ** Submission Guidelines ---------------------------------------------------------------------- Contributions are not restricted to talks presenting original results, but are also 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, please submit a short abstract whose length is between 2 and 5 pages at https://tlla-2024.sciencesconf.org ---------------------------------------------------------------------- ** Important dates ---------------------------------------------------------------------- * Submission deadline: 15 May 2024 * Notification to authors: 25 May 2024 * Final versions due: 16 June 2024 * Workshop date: 8-9 July 2024 ---------------------------------------------------------------------- ** 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. ---------------------------------------------------------------------- ** Invited Speakers ---------------------------------------------------------------------- * TBA ---------------------------------------------------------------------- ** Program Committee ---------------------------------------------------------------------- * Paolo Pistone (chair), Université Lyon 1 * Farzaneh Derakhshan, Illinois Institute of Technology * Amy Felty, University of Ottawa * Zeinab Galal, Università di Bologna * Willem Heijltjes, University of Bath * Delia Kesner, Université Paris Cité * Jean-Simon Pacaud Lemay, Macquarie University * Federico Olimpieri, Université d'Aix-Marseille ---------------------------------------------------------------------- ** Organization Committee ---------------------------------------------------------------------- * Thomas Ehrhard, CNRS - Université Paris Cité, France * Stefano Guerrini, Université Sorbonne Paris Nord, France * Lorenzo Tortora de Falco, Università Roma Tre, Italy ---------------------------------------------------------------------- ** Proceedings ---------------------------------------------------------------------- We are considering the possibility of publishing online proceedings after the workshop. ---------------------------------------------------------------------- ** Contact ---------------------------------------------------------------------- All questions about submissions can be emailed at tlla-2024@sciencesconf.org or paolo.pistone@ens-lyon.fr.