From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1821 Path: news.gmane.org!not-for-mail From: Paul RUET Newsgroups: gmane.science.mathematics.categories Subject: Book on Linear Logic (deadline extension) Date: Fri, 02 Feb 2001 11:23:49 +0100 Organization: Institut de =?iso-8859-1?Q?Math=E9matiques?= de Luminy Message-ID: <3A7A8AB4.43B2453__8837.3837214478$1241018127$gmane$org@iml.univ-mrs.fr> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241018126 637 80.91.229.2 (29 Apr 2009 15:15:26 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:15:26 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Fri Feb 2 12:17:53 2001 -0400 Return-Path: Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f12FWVM26373 for categories-list; Fri, 2 Feb 2001 11:32:31 -0400 (AST) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Mailer: Mozilla 4.51 [en] (X11; I; Linux 2.2.5-15 i686) X-Accept-Language: fr, it, en Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 3 Original-Lines: 55 Xref: news.gmane.org gmane.science.mathematics.categories:1821 Archived-At: The submission deadline for the Book on Linear Logic is extended to March 1st, 2001. CALL FOR PAPERS Book on Linear Logic On the occasion of its International Summer School http://linear.di.fc.ul.pt/ held in the Azores from August 30 to September 7, 2000, the TMR Linear network http://iml.univ-mrs.fr/ldp/LINEAR/ wishes to edit a book devoted to recent advances in Linear Logic. This book will consist of a few invited papers and some refereed contributions (not necessarily written by people who gave a talk at the School). All submitted contributions will be refereed. They must be in English and may not exceed 25 pages, and the results must be unpublished and not submitted for publication elsewhere, including the proceedings of symposia or workshops. Submissions (in postscript format) must be sent by E-mail to linear-tmr-book@iml.univ-mrs.fr by March 1st, 2001. Suggested, but not exclusive, topics of interest for submissions include: * Proof theory: proof-nets, ludics, non-commutative logic, proof theory of classical logic. * Complexity: polynomial and elementary linear logics, decision problems, feasible arithmetics. * Semantics: phase semantics, categorical semantics, denotational semantics, game semantics, geometry of interaction. * Concurrency: categorical models for concurrency, interaction nets. * Applications: sharing reductions in lambda-calculus and optimality, linear functional programming linear constraint logic programming, proof search and focalisation. New submission deadline: March 1st, 2001. Tentative publisher: Cambridge University Press, in the "London Mathematical Society Lecture Note Series". Editorial board: Thomas Ehrhard Jean-Yves Girard Paul Ruet Phil Scott