First International Workshop on Linearity

12 September 2009, Coimbra, Portugal, In conjunction with CSL 2009, 18th EACSL Annual Conference on Computer Science Logic

Important Dates


List of participants


Linearity has been the key feature in several lines of research in both theoretical and practical approaches to computer science. In the theoretical side all the work stemming from linear logic dealing with proof technology, complexity classes and more recently quantum computation. In the practical side work on program analysis, expressive operational semantics for programming languages, linear programming languages, program transformation, update analysis and efficient implementation techniques. The aim of this workshop is to bring together researchers who are currently developing theory and applications of linear calculi, in order to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area. LINEARITY 2009 will be a one-day satellite event of CSL 2009.


Topics of interest include foundational calculus, models, applications to programming languages and systems. This includes (but is not limited to):

Submission and Publication

Authors are invited to submit a short paper (5-7 pages) by 13 July 2009. Preliminary proceedings will be available at the workshop. Papers should be written in English, and submitted in PostScript or PDF format, using the EPTCS style files.

Submission is through the Easychair website.

After the workshop authors are invited to submit a revised version (12 pages) of their presentation. After a second round of refereeing, accepted contributions will appear in an issue of Electronic Proceedings in Theoretical Computer Science (

Authors and participants will also be invited to submit an article to a special issue of the Journal of Logic and Computation.

Programme Committee