[TYPES/announce] Linearity 2012 call for participation

Sandra Alves sandra at dcc.fc.up.pt
Sat Jan 28 17:44:51 EST 2012

Please note the deadline for early registration, including discounted  
hotel bookings:

*Sunday 29 January*

Second Workshop on 
1 April, Tallinn, Estonia
A satellite workshop of ETAPS 2012


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. 

Invited Talks:
The Geometry of Types
Ugo Dal Lago, University of Bologna

Linear Types in Programming Languages: Progress and Prospects
Simon Gay, University of  Glasgow

Accepted Papers
Standardization in Resource lambda Calculus
Maurizio Dominici, Simona Ronchi Della Rocca and Paolo Tranquill

Extending the Interaction Nets Calculus by Generic Rules
Eugen Jiresch

Higher-order port-graph rewriting
Maribel Fernandez and Sebastien Maulat

Linearly Refined Session Types
Pedro Baltazar, Dimitris Mostrous and Vasco Vasconcelos

Relating Reasoning Methodologies in Linear Logic and Process Algebra
Yuxin Deng, Iliano Cervesato and Robert Simmons

A linear analysis of the call-by-value lambda calculus
Beniamino Accattoli

Linear Dependent Types with Local Variables
Paolo Torrini

Registration is handled through the ETAPS registration website.


The workshop will take place at the campus of the Tallinn University of
Technology. Please visit the official ETAPS website for details on the
venue and accommodation.

More information about the Types-announce mailing list