5th International Workshop on
Trends in Linear Logic and Applications

TLLA 2021

 

Online (Rome virtually)
27-28 June 2021

 

Affiliated with LICS 2021

 

Photo by Julius Silver from Pexels

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

Aims

The aim of this workshop is to bring together researchers who are currently developing theory and applications of linear calculi or use 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.

Motivation

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 (and 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 linear logic or derived tools, 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. The purpose is to gather researchers interested in the connections between Linear Logic and various topics such as:

  • theory of programming languages;
  • categorical models of proofs and programs;
  • dynamical models of computations, games and languages;
  • term calculi;
  • type systems;
  • proof theory;
  • implicit computational complexity
  • parallelism and concurrency
  • interaction-based systems;
  • system and program verification;
  • models of computation;
  • quantum and probabilist models of computation;
  • biological and chemical models of computation;
  • linguistics;
  • logic and philosophy;
  • connections with combinatorics;
  • categories and algebra;
  • functional analysis and operator algebras.

Submission

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.

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

Submission is through the Easychair website:
         https://easychair.org/conferences/?conf=tlla2021

Important Dates

All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered.
  • Submission: 13 May 2021
  • Notification: 20 May 2021
  • Final version: 31 May 2021
  • Workshop: 27-28 June 2021

Invited speakers

Tutorials

Program

There will be a special evening dedicated to Vito Michele Abrusci (Università di Roma Tre)

More information later

Program Committee

Chairs

Members

 

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