International Workshop on

Trends in Linear Logic and Applications

About TLLA

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

  • theory of programming languages
  • implicit computational complexity
  • parallelism and concurrency
  • games and languages
  • proof theory
  • philosophy
  • categories and algebra
  • possible connections with combinatorics
  • linguistics
  • functional analysis and operator algebras

Next edition

  • Linearity & TLLA 2020

    6th International Workshop on Linearity, and
    4th International Workshop on Trends in Linear Logic and its Applications,
    joint workshop afffiliated with FSCD 2020
    Paris, June 29-30, 2020


Past editions

Steering Committee

  • Thomas Ehrhard
  • Stefano Guerrini
  • Lorenzo Tortora de Falco