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
- Sandra Alves (University of Porto) - chair
- Iliano Cervesato (Carnegie Mellon University) - chair
- Kaustuv Chaudhuri (INRIA)
- Maribel Fernandez (KCL)
- Mario Florido (University of Porto)
- Simon Gay (University of Glasgow)
- Simone Martini (Università di Bologna)
- Luca Paolini (Universita di Torino)
- Simona Ronchi Della Rocca (Università di Torino)
- Carsten Schuermann (IT University of Copenhagen)
- Robert Simmons (Carnegie Mellon University)
- Vasco Vasconcelos (University of Lisbon)