[TYPES/announce] LINEARITY 2012 - Second call-for-papers

[Sandra Alves]

Call for Papers

Second International Workshop on Linearity

http://sites.google.com/site/linearity2012/

Tallinn, Estonia
1 April 2012

An associated event of ETAPS 2012, European Joint Conferences on  
Theory and Practice of Software
===================================================================

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 aim  
of this workshop is to bring together researchers who are currently  
developing theory and applications of linear calculi, to foster their  
interaction and provide a forum for presenting new ideas and work in  
progress, and enable newcomers to learn about current activities in  
this area.  LINEARITY 2012 will be a one-day satellite event of ETAPS  
2012.

Topics of interest include foundational calculus, models,  
applications to programming languages and systems. This includes (but  
is not limited to):

     * Linear types: session types, etc
     * Linear calculi;
     * Functional calculi: lambda-calculus, rho-calculus, term and  
graph rewriting;
     * Object calculi;
     * Interaction-based systems: interaction nets, games;
     * Concurrent models: process calculi, action graphs;
     * Calculi expressing locality, mobility, and active data;
     * Quantum computational models;
     * Biological or chemical models of computation;

Important Dates
---------------

     * 16 December 2011: Abstract deadline (registration with easychair)
     * 22 December 2011: Submission deadline
     * 20 January 2012: Author notification
     * 3 February 2012: Deadline for final versions of accepted papers
     * 1 April 2012: Workshop


Submission and Publication
--------------------------

Authors are invited to submit a short paper (5-7 pages). 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:
https://www.easychair.org/account/signin.cgi? 
timeout=1;conf=linearity2012

After the workshop authors are invited to submit a revised version  
(12 pages) of their presentation. After a second round of refereeing,  
accepted contributions will appear in an issue of Electronic  
Proceedings in Theoretical Computer Science (www.eptcs.org).

Authors and participants will also be invited to submit an article to  
a special issue of a Journal.

Programme Committee
-------------------
     * Sandra Alves (co-chair)
     * Maribel Fernández
     * Mário Florido
     * Martin Hofmann
     * Ian Mackie (co-chair)
     * Simone Martini
     * Valeria de Paiva
     * Simona Ronchi Della Rocca
     * Alex Simpson

Contact
-------
Sandra Alves: sandra at dcc.fc.up.pt
Ian Mackie: iancmackie at gmail.com