Linearity Home Page
Announcements:
The preliminary program is now available here.
The list of accepted papers is now available here.
The two invited speakers for Linearity 2014 will be:
- Ian Mackie (École Polytechnique, France)
- Elaine Pimentel (UFRN, Brazil)
Important Dates:
- Submission deadline: April 13, 2014
- Author notification: May 10, 2014
- Final version of accepted papers: May 28, 2014
- Workshop: July 13, 2014
Call for Papers:
This event is organized by:
- Sandra Alves, University of Porto
- Iliano Cervesato, Carnegie Mellon University