Ever since the birth of Girard's linear logic, there has been a stream of research where linearity is a key issue, covering both theoretical topics and applications to several areas of Computer Science, such as work on proof technology, complexity classes and more recently quantum computation, program analysis, expressive operational semantics, linear programming languages, and techniques for program transformation, update analysis and efficient implementation.
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.
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
- Biological and chemical models of computation
- Dale Miller (LIX, École Polytechnique, France)
For information about title and abstract, see Invited Talks.
Friday 8 AprilFriday 15 April: Abstract submission deadline Friday 15 AprilWednesday 20 April: Submission deadline Friday 13 May: Notification to authors Friday 27 May: Final version due Saturday 25 June: Workshop date
Authors are invited to submit an extended abstract (8 pages max) describing original ideas and recent results not published nor submitted elsewhere, or a 5-page abstract presenting relevant work that has been or will be published elsewhere, or work in progress. Preliminary proceedings will be available at the workshop. Papers should be written in English, and submitted in PDF format using the EPTCS style guidelines.
Submission is via Easychair. Submit to LINEARITY'16 now!
Accepted regular papers will be included in the proceedings of LINEARITY'16, which will be published in the Electronic Proceedings in Theoretical Computer Science series (EPTCS).
- Emmanuel Beffara (Université d'Aix-Marseille)
- Luis Caires (Universidade Nova de Lisboa)
- Iliano Cervesato (Carnegie Mellon University, co-chair)
- Maribel Fernández (King's College London, co-chair)
- Marco Gaboardi (SUNY Buffalo)
- Masahito Hasegawa (Kyoto University)
- Damiano Mazza (CNRS – Université Paris 13)
- Vivek Nigam (Universidade Federal da Paraíba)
- Giselle Reis (Inria)
- Claudio Sacerdoti Coen (University of Bologna)
- Andre Scedrov (University of Pennsylvania)