Call for Papers LINEARITY 2009 First International Workshop on Linearity http://www.lix.polytechnique.fr/linearity/ Coimbra, Portugal 12 September 2009 A satellite event of CSL 2009, 18th EACSL Annual Conference on Computer Science Logic =================================================================== Important Dates --------------- * 5 July 2009: Abstract deadline * 10 July 2009: Submission deadline * 24 July 2009: Author notification * 1 September 2009: Deadline for final versions of accepted papers * 12 September 2009: Workshop The pre-proceedings and program will be online here before the workshop. Scope ----- Linearity has been the key feature in several lines of research in both theoretical and practical approaches to computer science. In the theoretical side all the work stemming from linear logic dealing with proof technology, complexity classes and more recently quantum computation. In the practical side work on program analysis, expressive operational semantics for programming languages, linear programming languages, program transformation, update analysis and efficient implementation techniques. The aim of this workshop is to bring together researchers who are currently developing theory and applications of linear calculi, in order to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area. LINEARITY 2009 will be a one-day satellite event of CSL 2009. Topics ------ 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; Submission and Publication -------------------------- Authors are invited to submit a short paper (5-7 pages) by 10 July 2009. 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: http://www.easychair.org/conferences/?conf=linearity2009 After the workshop authors are invited to submit a revised version (12 pages) of their presentation. Accepted contributions will appear in an electronic proceedings Authors and participants will also be invited to submit an article to a special issue of the Journal of Logic and Computation. Programme Committee * Sandra Alves * Ugo Dal Lago * Maribel Fernandez * Simon Gay * Mario Florido (co-chair) * Martin Hofmann * Ian Mackie (co-chair) * Greg Morrisett * Alan Mycroft * Luke Ong * Luca Paolini Contact ------- linearity@lix.polytechnique.fr