[Prev][Next][Index][Thread]
Cfp: Realizability Semantics and Applications (MSCS special issue)
Call for Papers
REMINDER
with deadline extension
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, see
http://www.cs.cmu.edu/afs/cs/user/birkedal/www/realizability-workshop/
for an overview. 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 20, 2000.
Important Dates
Submission Deadline: 20/01/2000
References: