[Prev][Next][Index][Thread]
Cfp: Realizability Semantics and Applications (MSCS special issue)
-
To: types@cis.upenn.edu, categories@mta.ca, u.berger@swan.ac.uk, samson@dcs.ed.ac.uk, Andrew.Pitts@cl.cam.ac.uk, M.Hyland@dpmms.cam.ac.uk, Luke.Ong@comlab.ox.ac.uk, jvoosten@math.uu.nl, reus@informatik.uni-muenchen.de, awodey@cmu.edu, dana.scott@cs.cmu.edu, jrl@dcs.ed.ac.uk, Sergei Artemov <sna2@cornell.edu>, Crolard Tristan <crolard@soft-machine.ufr-info-p7.jussieu.fr>, streicher@mathematik.tu-darmstadt.de, rosolini@disi.unige.it, birkedal@cs.cmu.edu
-
Subject: Cfp: Realizability Semantics and Applications (MSCS special issue)
-
From: Lars Birkedal <birkedal@cs.cmu.edu>
-
Date: Mon, 04 Oct 1999 13:04:13 -0400
-
Priority: 1
-
Sender: Lars_Birkedal@unbox.fox.cs.cmu.edu
Call for Papers
Special Issue of
Mathematical Structures in Computer Science (MSCS)
on
Realizability Semantics and Applications
Editors: L. Birkedal, J. van Oosten, G. Rosolini, D.S. Scott
There has been recently a reawaking of interest in many aspects of
realizability interpretations -- especially as regards semantics of type
theories for constructive reasoning and semantics of programming languages.
But, the details of realizability can be quite technical, and therefore a
tutorial workshop on realizability and appliations was held in
June/July 1999 in Trento, Italy. The workshop contained both tutorial
lectures and also contributed research talks, see
http://www.cs.cmu.edu/afs/cs/user/birkedal/www/realizability-workshop/
for an overview.
A special issue of the journal Mathematical Structures in Computer Science
(MSCS) will be devoted to papers on realizability semantics and
applications. The volume will contain the tutorial presentations given by
invited speakers at the realizability workshop in Trento. We now also
solicit contributions of research papers on realizability and applications
for the special MSCS volume. Everyone is invited to contribute a paper
(i.e., not only researchers who contributed a paper to the realizability
workshop). Papers will be refereed to the usual high standards of MSCS.
Instruction to Authors
Authors are invited to submit full original research papers. Papers
should be submitted via email to wr99@athena.disi.unige.it as a postscript
file, or by mailing a hard copy to
Lars Birkedal
School of Computer Science
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213, USA
before January 1, 2000.
Important Dates
Submission Deadline: January 1, 2000.
Follow-Ups: