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

[Iliano Cervesato]

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

              Journal of Automated Reasoning



               Special issue on Linearity



                  First Call for Papers





------------------------------------------------------------------

Scope

------------------------------------------------------------------

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





-----------------------------------------------------------------

Submission

----------------------------------------------------------------

Papers describing unpublished work, not submitted elsewhere,

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

https://www.editorialmanager.com/jars/



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:



http://link.springer.com/journal/10817



We encourage authors to keep their submission below 25 pages.



--------------------------------------------------------------

Guest Editors:

Iliano Cervesato (Carnegie Mellon University)

Maribel Fernandez (King's College London)

--------------------------------------------------------------