TLLA

 

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 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 λ-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
  • linguistics

Next edition

  • TLLA 2024
    8th International Workshop
    affiliated with FSCD 2024
    Tallinn, Estonia, 8-9 July, 2024

Past editions

  • TLLA 2023
    7th International Workshop
    affiliated with FSCD 2023
    Rome, Italy, 1-2 July, 2023

  • Linearity & TLLA 2022
    7th International Workshop on Linearity, and
    6th International Workshop on Trends in Linear Logic and its Applications,
    joint workshop
    affiliated with FSCD, and LICS at FLOC 2022
    Haifa, Israel, 31 July and 1 August, 2022

  • TLLA 2021
    5th International Workshop
    affiliated with LICS 2021
    Rome, Italy, 27-28 June, 2021

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

  • TLLA 2019
    3rd International Workshop
    affiliated with FSCD 2019
    Dortmund, Germany, 29-30 June, 2019

  • Linearity & TLLA 2018
    5th International Workshop on Linearity, and
    2nd International Workshop on Trends in Linear Logic and its Applications,
    joint workshop
    affiliated with FSCD at FLOC 2018
    Oxford, UK, 7-8 July, 2018

  • TLLA 2017
    International Workshop
    affiliated with FSCD 2017
    Oxford, UK, 3 September, 2017

Steering Committee

  • Thomas Ehrhard, Université Paris Cité
  • Stefano Guerrini, Université Sorbonne Paris Nord
  • Lorenzo Tortora de Falco, Università Roma Tre