VSL 2014: VIENNA SUMMER OF LOGIC 2014
Linearity Call for Papers

LINEARITY 2014 – 3rd International Workshop on Linearity
July 13, 2014 · Vienna, Austria

 

Aim and Scope

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 topics of interest include new results that make central use of linearity, ranging from  foundational work to applications in any field, are welcome.  Also welcome are more exploratory presentations, which may examine open questions and raise fundamental concerns about existing theories and practices.  Topics of interest include, but are not limited to:

  • sub-linear logics
  • linear term calculi
  • linear type systems
  • linear proof-theory
  • linear programming languages
  • applications to concurrency
  • interaction-based systems
  • verification of linear systems
  • quantum models of computation
  • biological and chemical models of computation

 

Important Dates

Submission deadline April 13, 2014
Author notification May 10, 2014
Deadline for final versions of accepted papers    May 28, 2014
Workshop July 13, 2014

 

Submission and Publication

Authors are invited to submit an extended abstract (8 pages max) describing original ideas and recent results not published nor submitted elsewhere; or a 5-page abstract presenting relevant work that has been or will be published elsewhere, or work in progress. 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 of the extended abstracts will be invited to submit a longe version of their work (typically a 15-pages paper) for publication in EPTCS.  These submission will undergo a second round of referring.

Program Committee