[TYPES/announce] Journal of Automated Reasoning: Special issue on Linearity

Iliano Cervesato iliano at cmu.edu
Thu Nov 17 22:00:13 EST 2016

[Apologies if you have received multiple copies of this announcement]

              Journal of Automated Reasoning

               Special issue on Linearity

                  First Call for Papers




Since the introduction of linear logic, there has been a steady stream

of research where linearity plays a key role, covering both theoretical

topics and applications in several areas of Computer Science.

This special issue is devoted to papers describing recent advances in

this area.  Topics include:

- Linear logic

- Linear term calculi

- Linear type systems

- Linear proof theory

- Linear programming languages

- Semantics: geometry of interaction, game semantics, ...

- Computational Complexity

- Interaction-based systems

- Models of computation: chemical, biological, quantum, ...

- Verification of linear systems

- Applications in concurrency




Papers describing unpublished work, not submitted elsewhere,

should be submitted via the JAR website, Article type: "SI: Linearity".


Revised and substantially enhanced versions of papers published in

workshop/conference proceedings that have not appeared in archival

journals are eligible for submission.  All submissions will be reviewed

according to the high standards of scholarship and originality

characteristic of the Journal of Automated Reasoning.

*****   Submissions are due:   January 15, 2017  *******

Papers should be in PDF format following the JAR guidelines for authors:


We encourage authors to keep their submission below 25 pages.


Guest Editors:

Iliano Cervesato (Carnegie Mellon University)

Maribel Fernandez (King's College London)


More information about the Types-announce mailing list