[TYPES/announce] Linearity 2014: Call for Participation

[Sandra Alves]

====================================================
                Call for Participation
                     Linearity 2014
   The 3rd International Workshop on Linearity
          July 13, 2014. Vienna, Austria
    a FLoC workshop hosted by RTA-TLCA and CSL-LICS
              http://vsl2014.at/linearity
====================================================

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 is a key feature in both theoretical
and practical approaches to computer science, and the goal of this
workshop is to present work exploring linearity both in theory and
practice.

Invited Speakers
----------------
  * Ian Mackie (École Polytechnique, France)
  * Elaine Pimentel (UFRN, Brazil)

Programme
---------
The list of accepted papers can be found at:
http://vsl2014.at/meetings/Linearity-accepted.html

The detailed programme can be found at:
http://vsl2014.at/meetings/Linearity-program.html

Registration
------------
The early registration deadline is June 8. 
http://vsl2014.at/registration

Looking forward to seeing you in Vienna!

The Linearity 2014 organizers:
Sandra Alves
Iliano Cervesato