Cari tutti,

vi invio l'annuncio di una special issue di MSCS di cui mi occuperò come guest editor. Penso possa interessare tutti i membri del gruppo e vi prego di diffonderla.

Ciao a tutti e buone vacanze,

Lorenzo.

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

DIFFERENTIAL LINEAR LOGIC, NETS, AND OTHER QUANTITATIVE AND PARALLEL APPROACHES TO PROOF-THEORY

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

In the area between proof-theory and theoretical computer science, an increasing effort to understand the quantitative, parallel and concurrent aspects of computation is being undertaken. The aim of this special issue of Mathematical Structures in Computer Science is to bring together the most recent works on the tools which are at the basis of this new trend.

SCOPE
=====

We invite submissions on all the topics which contributes to the new quantitative, parallel, concurrent approaches to proof-theory: from differential linear logic and differential lambda-calculus and their relations with concurrency to the new denotational models giving a mathematical account of execution time, from the evolution of the notion of (proof-)net to the new concurrent and resource sensitive denotational models.

Suggested, but not exclusive, topics of interest for submissions include:

* Differential linear logic
* Differential lambda-calculus, resource lambda-calculus
* Advances on the notion of (proof-)net: Jumps and degrees of sequentiality, untyped nets, differential nets, concurrent nets
* Developments in the proof-theoretical approach to implicit computational complexity
* Concurrent and resource sensitive denotational models: Köthe spaces, Finiteness spaces, Relational semantics, Taylor expansion, game semantics: extensions to concurrency and relations with webbed models, event structures...
* Differential nets and Process calculi
* Algebraic approaches to lambda-calculus and linear logic

Submitted papers should stay within the scope of the Mathematical Structures in Computer Science journal.

SUBMISSION
==========

The results must be unpublished and not submitted for publication elsewhere. Submissions will be refereed according to the usual high standards of MSCS.

Submissions exceeding 30 pages will require a specific justification and the agreement of the editor.

Any further information about submissions can be asked to the guest editor (tortora@uniroma3.it).

PLANNED SCHEDULE
================

Title and short abstract submission: 31 January 2010
Deadline for submissions: 28 February 2010
First referee reports: 30 June 2010
Notification: 30 september 2010
Final version: 31 december 2010

GUEST EDITOR
=============

Lorenzo Tortora de Falco (tortora@uniroma3.it)