Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications

TL;DR

This collection of papers from the 2020 workshop explores linear logic's theoretical foundations and practical applications in computer science, including resource management, complexity, quantum computing, and program analysis.

Contribution

It presents recent research advances in linear logic, highlighting new methodologies, applications, and interdisciplinary connections in theoretical and practical computer science.

Findings

Linear logic informs resource control and complexity analysis.

Applications extend to quantum computation and program analysis.

Various models and approaches have been developed for linear logic's semantics.

Abstract

This volume contains a selection of papers presented at Linearity&TLLA 2020, namely the Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, held on June 29-30, 2020 online. (The workshop was supposed to take place in Paris as part of FSCD 2020, but due to the COVID pandemic it was decided not to hold the event live.) Linearity is a central concept in many theoretical and practical approaches to computer science. On the theoretical side, there is much work stemming from linear logic and dealing with resource control, complexity classes, and more recently quantum computation. On the practical side there is certainly work on program analysis, operational semantics, logic programming languages, program transformations, and efficient implementation techniques. Linear logic is not only a theoretical tool for the analysis of resource usage in logic and computation. It is also a corpus of distinct approaches and methodologies (e.g., proof nets, geometry of interaction, coherent spaces, relational models) that were originally developed for the study of linear logic's syntax and semantics have nowadays found applications in several other fields.