7th International Workshop on
Trends in Linear Logic and Applications

TLLA 2023


Rome, Italy
1-2 July 2023


Affiliated with FSCD 2023



Photo by David Köhler on Unsplash

TLLA 2023 is the 7th edition of the International Workshop on Trends in Linear Logic and its Applications.


The workshop aims at bringing together researchers who are currently developing theory and applications of linear logic as a technical tool or a methodological guideline, to foster their interaction and provide a forum for presenting new ideas and work in progress, and enable newcomers to learn about current activities in this area. Linear Logic is a key feature in both theoretical and practical approaches to computer science, and the goal of this workshop is to present work exploring the theory of Linear Logic so as its applications.


Ever since Girard's linear logic (LL) was released, there has been a stream of research where linearity is a key issue, covering both theoretical topics and applications to several areas of Mathematical Logic and Computer Science, such as work on proof representation and interpretations (proof nets, denotational semantics, geometry of interaction etc), complexity classes (including implicit complexity), programming languages (especially linear operational constructs and type systems based on linear logic), and more recently probabilistic and quantum computation, program analysis, expressive operational semantics, and techniques for program transformation, update analysis and efficient implementation. The foundational concepts of LL also serve as bridges to other topics in mathematics of course (functional analysis, categories) as well as to linguistics and philosophy.

Topics of Interest

New results that make central use of linearity, ranging from foundational work to applications in any field, are welcome. Also welcome are more exploratory presentations, which may examine open questions and raise fundamental questions about existing theories and practices. Topics of interest include, but are not limited to:

  • 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


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.

Authors are invited to submit a short abstract whose length is between 2 and 5 pages. Please include in the abstract the names and the email addresses of all the authors.

Please send your submission to


specifying in the email message the names of the corresponding authors and their email addresses, if different from the sending one, which in any case will be used for further communications.

The abstracts of the contributed and invited talks will be published on the site of the conference.

Important Dates

All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered.
  • Submission: 15 May 2023 extended to 21 May 2023
  • Notification: 22 May 2023 reported to 26 May 2023
  • Final version: 31 May 2023 reported to 16 June 2023
  • Workshop: 1-2 July 2023

Invited speakers



(all schedules are given in CEST)


Program Committee




Organising Committee

  • Thomas Ehrhard - IRIF, University of Paris, France
  • Stefano Guerrini - LIPN, University Sorbonne Paris Nord, France
  • Lorenzo Tortora de Falco - University Roma Tre, Italy