Linearity is the third edition of the International Workshop on Linearity, dedicated to the use of linearity in both theoretical and practical aproaches in Computer Science.
The aim of this workshop is to bring together researchers who are currently developing theory and applications of linear calculi, 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. Linearity is a key feature in both theoretical and practical approaches to computer science, and the goal of this workshop is to present work exploring linearity both in theory and practice.
The topics of interest include 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 concerns about existing theories and practices. Topics of interest include, but are not limited to:
- sub-linear logics
- linear term calculi
- linear type systems
- linear proof-theory
- linear programming languages
- applications to concurrency
- interaction-based systems
- verification of linear systems
- quantum models of computation
- biological and chemical models of computation