Linearity Submissions and Publication
Two types of contributions will be sought for presentation at the workshop:
- Original ideas and recent results not published nor submitted elsewhere. Papers in this category will undergo a two-stage evaluation process: Before the workshop, authors will submit an extended abstract (8 pages max). Accepted abstracts will be presented at the workshop and included in the preliminary proceedings, available at the workshop. After the workshop, these authors will be invited to submit a longe version of their work (typically a 15-pages paper) for publication in an issue of EPTCS. These submission will undergo a second round of referring.
- Relevant work that has been or will be published elsewhere, or work in progress. Interested authors will submit a 5-page abstract. Such submissions will be only considered for presentation at the workshop and inclusion in the preliminary proceedings, but not for the final proceedings.
Papers should be written in English, and submitted in PostScript or PDF format, using the EPTCS style files.
Submission is through the Easychair website.
We envision publication of a special issue of a journal after the event. Selected papers from Linearity'09 were published in a special issue of the Journal of Logic and Computation.