posted by organizer: smmalves || 3778 views || tracked by 5 users: [display]

LINEARITY 2014 : Third International Workshop on Linearity


When Jul 13, 2014 - Jul 13, 2014
Where Vienna, Austria
Submission Deadline Apr 13, 2014
Notification Due May 10, 2014
Final Version Due May 28, 2014
Categories    logic   formal methods   theoretical computer science   programming languages

Call For Papers

Call for Papers
Third International Workshop on Linearity
July 13, 2014
Vienna, Austria

*********** Submission deadline: April 13, 2014 ************

An associated event of the Joint meeting of the 23rd EACSL Annual Conference
on Computer Science Logic (CSL) and the 29th ACM/IEEE Symposium on Logic in
Computer Science (LICS), as part of the Vienna Summer of Logic.

Aim and Scope

Ever since the birth of Girard's linear logic, there has been a stream of research where linearity is a key issue, covering both theoretical topics and applications to several areas of Computer Science, such as work on proof technology, complexity classes and more recently quantum computation, program analysis, expressive operational semantics, linear programming 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 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.

Topics of interest include new results that make central use of linearity, ranging from foundational work to applications in any field, are welcome. Also welcome are more exploratory presentations, which may examine open questions and raise fundamental concerns about existing theories and practices. Specifically, topics of interest include, but are not limited to:

* sub-linear logics
* linear term calculi
* linear type systems
* linear proof-theory
* linear programming languages
* applications to concurrency
* interaction-based systems
* verification of linear systems
* quantum models of computation
* biological and chemical models of computation

Important Dates
* April 13, 2014: Submission deadline
* May 10, 2014: Author notification
* May 28, 2014: Deadline for final versions of accepted papers
* July 13, 2014: Workshop

Submission and Publication
Authors are invited to submit an extended abstract (8 pages max) describing original ideas and recent results not published nor submitted elsewhere, or a 5-page abstract presenting relevant work that has been or will be published elsewhere, or work in progress. 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:

After the workshop, authors of the extended abstracts will be invited to submit a longer version of their work (typically a 15-pages paper) for publication in EPTCS. These submission will undergo a second round of referring. Furthermore, we envision the publication of a special issue of a journal after the event.

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

Programme Committee
* Sandra Alves (chair)
* Iliano Cervesato (chair)
* Kaustuv Chaudhuri
* Maribel Fernández
* Mário Florido
* Simon Gay
* Simone Martini
* Luca Paolini
* Simona Ronchi Della Rocca
* Carsten Schuermann
* Robert Simmons
* Vasco Vasconcelos

Sandra Alves:
Iliano Cervesato:

Related Resources

Linearity & TLLA - 2022   Third Joint International Workshop on Linearity and Trends in Linear Logic and its Applications
SEFM 2022   20th International Conference on Software Engineering and Formal Methods
IJPLA 2022   International Journal of Programming Languages and Applications
EXPRESS/SOS 2022   Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics
SYNASC 2022   24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
MLDS 2022   3rd International Conference on Machine Learning Techniques and Data Science
CSTY 2022   8th International Conference on Computer Science and Information Technology
SECURWARE 2022   International Conference on Emerging Security Information, Systems and Technologies
IJNLC 2022   International Journal on Natural Language Computing
LATIN 2022   The 15th Latin American Theoretical Informatics Symposium