TLLA 17: Trends in Linear Logic and Applications

International Workshop affiliated with FSCD 2017

Oxford, September 3, 2017

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


Invited Speakers

Accepted submissions

The list of the accepted talks is available at the url

Registration and accommodation

Detailed instructions can be found on the FSCD registration page.

To attend the workshop, you must register for the September 3 workshop day. Please select TLLA as your principal workshop. This will also give you the right to attend any other workshop held on this day.

The registration fee is £40, before August 6, and £60 after.

You can register for college accommodation through the ICFP accommodation site. Please give your email address rather than registration number when applying for accommodation.

Young Researchers Grants

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 <> with:

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 submit a contributed talk submit a short abstract of at most two pages at


Important dates


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.


Program Committee

Organizing committee


All questions about submissions should be emailed to Stefano Guerrini <>

Supporting Organisations

GDRI Linear Logic (CNRS-INDAM)
Université Paris 13, Sorbonne Paris Cité
Université Paris Diderot, Sorbonne Paris Cité
CNRS Paris 13 Paris Diderot
Stefano Guerrini <>