[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

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

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 (tort...@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 (tort...@uniroma3.it)

Reply via email to