From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1296 Path: news.gmane.org!not-for-mail From: Giuseppe Rosolini Newsgroups: gmane.science.mathematics.categories Subject: Cfp: Realizability Semantics and Applications (MSCS special issue) Date: Fri, 10 Dec 1999 21:23:17 +0100 Message-ID: <38516135.700E4F0D__41898.2340874665$1241017732$gmane$org@disi.unige.it> References: <3639.939056653@unbox.fox.cs.cmu.edu> 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 1241017731 30574 80.91.229.2 (29 Apr 2009 15:08:51 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:08:51 +0000 (UTC) To: types@cis.upenn.edu, categories@mta.ca Original-X-From: cat-dist Fri Dec 10 20:30:43 1999 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.9.3/8.9.3) id TAA00370 for categories-list; Fri, 10 Dec 1999 19:33:51 -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.12-7 i686) X-Accept-Language: en Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 5 Original-Lines: 54 Xref: news.gmane.org gmane.science.mathematics.categories:1296 Archived-At: 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