From: Paul RUET <ruet@iml.univ-mrs.fr>
To: categories@mta.ca
Subject: Book on Linear Logic (deadline extension)
Date: Fri, 02 Feb 2001 11:23:49 +0100 [thread overview]
Message-ID: <3A7A8AB4.43B2453__8837.3837214478$1241018127$gmane$org@iml.univ-mrs.fr> (raw)
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
reply other threads:[~2001-02-02 10:23 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='3A7A8AB4.43B2453__8837.3837214478$1241018127$gmane$org@iml.univ-mrs.fr' \
--to=ruet@iml.univ-mrs.fr \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).