<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<br>
<div class="moz-forward-container">
<div><br>
</div>
<div>[We apologize if you have received multiple copies of this
message]<br>
<br>
==============================================================================<br>
<br>
<span class="Apple-tab-span" style="white-space: pre; "> </span><span
class="Apple-tab-span" style="white-space: pre; "> </span><span
class="Apple-tab-span" style="white-space: pre; "> </span> Call
for Papers<br>
<br>
<span class="Apple-tab-span" style="white-space: pre; "> </span><span
class="Apple-tab-span" style="white-space: pre; "> </span> Third
International Workshop on Linearity<br>
<br>
<span class="Apple-tab-span" style="white-space: pre; "> </span><span
class="Apple-tab-span" style="white-space: pre; "> </span> <a
moz-do-not-send="true" href="http://vsl2014.at/linearity/">http://vsl2014.at/linearity/</a><br>
<br>
<span class="Apple-tab-span" style="white-space: pre; "> </span><span
class="Apple-tab-span" style="white-space: pre; "> </span><span
class="Apple-tab-span" style="white-space: pre; "> </span><span
class="Apple-tab-span" style="white-space: pre; "> </span>July
13, 2014<br>
<span class="Apple-tab-span" style="white-space: pre; "> </span><span
class="Apple-tab-span" style="white-space: pre; "> </span><span
class="Apple-tab-span" style="white-space: pre; "> </span> Vienna,
Austria<br>
<br>
An associated event of the Joint meeting of the 23rd EACSL
Annual Conference<br>
on Computer Science Logic (CSL) and the 29th ACM/IEEE
Symposium on Logic in<br>
Computer Science (LICS), as part of the Vienna
Summer of Logic.<br>
==============================================================================<br>
<br>
Aim and Scope<br>
-------------<br>
<br>
Ever since the birth of Girard's linear logic, there has
been a stream of<br>
research where linearity is a key issue, covering both
theoretical topics and<br>
applications to several areas of Computer Science, such as
work on proof<br>
technology, complexity classes and more recently quantum
computation, program<br>
analysis, expressive operational semantics, linear programming
languages, and<br>
techniques for program transformation, update analysis
and efficient<br>
implementation.<br>
<br>
The aim of this workshop is to bring together researchers who
are currently<br>
developing theory and applications of linear calculi,
to foster their<br>
interaction and provide a forum for presenting new ideas and
work in progress,<br>
and enable newcomers to learn about current activities
in this area.<br>
Linearity is a key feature in both theoretical and practical
approaches to<br>
computer science, and the goal of this workshop is to present
work exploring<br>
linearity both in theory and practice.<br>
<br>
Topics of interest include new results that make central use
of linearity,<br>
ranging from foundational work to applications in any field,
are welcome.<br>
Also welcome are more exploratory presentations, which may
examine open<br>
questions and raise fundamental concerns about existing
theories and<br>
practices. Specifically, topics of interest include, but are
not limited to:<br>
<br>
* sub-linear logics<br>
* linear term calculi<br>
* linear type systems<br>
* linear proof-theory<br>
* linear programming languages<br>
* applications to concurrency<br>
* interaction-based systems<br>
* verification of linear systems<br>
* quantum models of computation<br>
* biological and chemical models of computation<br>
<br>
<br>
Important Dates<br>
---------------<br>
* April 13, 2014: Submission deadline<br>
* May 10, 2014: Author notification<br>
* May 28, 2014: Deadline for final versions of accepted
papers<br>
* July 13, 2014: Workshop <br>
<br>
<br>
Submission and Publication<br>
--------------------------<br>
Authors are invited to submit an extended abstract (8 pages
max) describing<br>
original ideas and recent results not published nor submitted
elsewhere, or a<br>
5-page abstract presenting relevant work that has been or
will be published<br>
elsewhere, or work in progress. Preliminary proceedings will
be available at<br>
the workshop. Papers should be written in English, and
submitted in<br>
PostScript or PDF format, using the EPTCS style files.
Submission is through<br>
the Easychair website:<br>
<a moz-do-not-send="true"
href="https://www.easychair.org/conferences/?conf=linearity2014">https://www.easychair.org/conferences/?conf=linearity2014</a><br>
<br>
After the workshop, authors of the extended abstracts will
be invited to<br>
submit a longe version of their work (typically a
15-pages paper) for<br>
publication in an electronic journal such as EPTCS. These
submission will<br>
undergo a second round of referring. Furthermore, we envision
publication of a<br>
special issue of a journal after the event.<br>
<br>
Programme Committee<br>
-------------------<br>
* Sandra Alves (chair)<br>
* Iliano Cervesato (chair)<br>
* Kaustuv Chaudhuri <br>
* Maribel Fernández <br>
* Mário Florido <br>
* Simon Gay <br>
* Simone Martini <br>
* Luca Paolini <br>
* Simona Ronchi Della Rocca <br>
* Carsten Schuermann <br>
* Robert Simmons <br>
* Vasco Vasconcelos <br>
<br>
Contact<br>
-------<br>
Sandra Alves: <a moz-do-not-send="true"
href="mailto:sandra@dcc.fc.up.pt">sandra@dcc.fc.up.pt</a><br>
Iliano Cervesato: <a moz-do-not-send="true"
href="mailto:iliano@cmu.edu">iliano@cmu.edu</a> </div>
<br>
</div>
<br>
</body>
</html>