LINEARITY 2014 - Third International Workshop on Linearity

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