Linearity - International Workshop Series
With the urge for more robust, verifiable and optimised programming
languages, the interest for linearity in order to have more control on
computational resources is increasing in several areas of Computer
Science, both in the theoretical side: with work on proof technology,
complexity classes and more recently quantum computation, and in the
practical side: work on program analysis, expressive operational
semantics, linear languages, and techniques for program
transformation, update analysis and efficient implementation.
The aim
of this workshop series 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.
Steering Committee
Current event
The next event will be announced shortly.
Past events
-
Linearity and TLLA 2022. Haifa, Israel, 31 July - 1 August 2022.
- Joint Workshop Linearity & TLLA 2020, Paris, Aubervilliers 29-30 June 2020
- Joint Workshop Linearity & TLLA 2018. Oxford, 7-8 July, 2018.
- Linearity 2016 Fourth International Workshop on Linearity. June 2016. Porto, Portugal. Affiliated with FSCD'16.
-
Linearity
2014 Third International Workshop on Linearity. July 2014,
Vienna, Austria. Part of VSL 2014: VIENNA SUMMER OF LOGIC 2014.
-
Linearity
2012 Second International Workshop on Linearity. April, 2012,
Tallinn, Estonia. A satellite event of ETAPS 2012.
- Linearity
2009 First International Workshop on Linearity. September 2009,
Coimbra, Portugal. A satellite event of CSL 2009, 18th EACSL Annual
Conference on Computer Science Logic.
Publications
Proceedings
Journal Special issues