[TYPES/announce] LINEARITY 2009 - Call for Papers

[M‡ário Florido]

Call for Papers

LINEARITY 2009

First International Workshop on Linearity

http://www.lix.polytechnique.fr/linearity/

Coimbra, Portugal
12 September 2009

A satellite event of CSL 2009, 18th EACSL Annual Conference on
Computer Science Logic

===================================================================

Important Dates
---------------

    * 5 July 2009: Abstract deadline
    * 10 July 2009: Submission deadline
    * 24 July 2009: Author notification
    * 1 September 2009: Deadline for final versions of accepted papers
    * 12 September 2009: Workshop

The pre-proceedings and program will be online here before the workshop.


Scope
-----

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
------

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

    * Linear types: session types, etc
    * Linear calculi;
    * Functional calculi: lambda-calculus, rho-calculus, term and graph 
rewriting;
    * 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 10 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:

http://www.easychair.org/conferences/?conf=linearity2009

After the workshop authors are invited to submit a revised version (12
pages) of their presentation. Accepted contributions will appear in an
electronic proceedings

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

    * Sandra Alves
    * Ugo Dal Lago
    * Maribel Fernandez
    * Simon Gay
    * M·rio Florido (co-chair)
    * Martin Hofmann
    * Ian Mackie (co-chair)
    * Greg Morrisett
    * Alan Mycroft
    * Luke Ong
    * Luca Paolini

Contact
-------

linearity at lix.polytechnique.fr