First International Workshop on Linearity
12 September 2009, Coimbra, Portugal,
In conjunction with CSL 2009, 18th EACSL Annual Conference on Computer Science Logic
- 5 July 2009: Abstract deadline (registration with easychair)
- 13 July 2009: Submission deadline
- 24 July 2009: Author notification
- 1 September 2009: Deadline for final versions of accepted papers
- 12 September 2009: Workshop
The draft programme is available here.
The draft proceedings are available here.
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
- Linear types: session types, etc
- Linear calculi;
- Functional calculi: lambda-calculus, rho-calculus, term and
- Object calculi;
- Interaction-based systems: interaction nets, games;
- Concurrent models: process calculi, action graphs;
- Calculi expressing locality, mobility, and active data;
- Quantum computational models;
- Biological or chemical models of computation;
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
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 (www.eptcs.org).
Authors and participants will also be invited to submit an article
to a special issue of the Journal of Logic and Computation.