Linear Logic is not only a proof theoretical tool to analyse or control the use of ressources 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 λ-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
A limited number of grants for students or young researches are available. Grants can full or partially cover registration fee, accommodation and transport. To apply for a grant send a message to Stefano Guerrini <email@example.com> with:
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 submit a contributed talk submit a short abstract of at most two pages at
The abstracts of the contributed and invited talks will be published on the site of the conference. A call for a special issue of a journal will be announced after the workshop.
All questions about submissions should be emailed to Stefano Guerrini <firstname.lastname@example.org>