Path: news.cs.au.dk!news.net.uni-c.dk!howland.erols.net!newsfeed.berkeley.edu!news2.best.com!cnn.nas.nasa.gov!not-for-mail
From: "Klaus Havelund" <havelund@ptolemy.arc.nasa.gov>
Newsgroups: comp.lang.beta
Subject: SPIN'2000
Date: Tue, 2 May 2000 17:43:29 -0700
Organization: Numerical Aerospace Simulation Facility/NASA Ames Research Center
Lines: 22
Message-ID: <8ensen$d2k$1@sun500.nas.nasa.gov>
NNTP-Posting-Host: iza.arc.nasa.gov
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.00.2615.200
X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2615.200
Xref: news.cs.au.dk comp.lang.beta:12314


                           SPIN'2000

        *** EXTENDED SUBMISSION DEADLINE : Wednesday May 17, 2000 ***

                   The 7th International SPIN Workshop on
                         Model Checking of Software

                           Stanford University
                             California, USA

                         August 30-31, September 1
                                Year 2000

                    http://ase.arc.nasa.gov/spin2000

Due to several requests, we have extended the submission deadline for
the SPIN workshop to Wednesday May 17.