<html><head><meta http-equiv="Content-Type" content="text/html charset=iso-8859-1"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">[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 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><span style="font-family: Arial, Helvetica, sans-serif; font-size: 13px;"><br></span><div><b><span style="font-family: Arial, Helvetica, sans-serif; font-size: 13px;">Submission deadline: </span><span style="font-family: Arial, Helvetica, sans-serif; font-size: 13px;">April 13, 2014</span></b><div><div><font face="Arial, Helvetica, sans-serif"><span style="font-size: 13px;"><b><br></b></span></font></div>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>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 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 EPTCS. These submission will undergo a second round of </div><div>referring. Furthermore, we envision publication of a special issue of a journal </div><div>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 href="mailto:sandra@dcc.fc.up.pt">sandra@dcc.fc.up.pt</a><br>Iliano Cervesato: <a href="mailto:iliano@cmu.edu">iliano@cmu.edu</a></div></div></body></html>