From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=0.6 required=5.0 tests=BAYES_20,INVALID_MSGID,XPRIO
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,7e4fcf3c285e5329,start
X-Google-Attributes: gid103376,public
From: "Klaus Havelund" <havelund@ptolemy.arc.nasa.gov>
Subject: SPIN'2000
Date: 2000/05/02
Message-ID: <8ense4$d2j$1@sun500.nas.nasa.gov>#1/1
X-Deja-AN: 618498217
X-Priority: 3
X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2615.200
Organization: Numerical Aerospace Simulation Facility/NASA Ames Research
 Center
X-MSMail-Priority: Normal
Newsgroups: comp.lang.ada
Date: 2000-05-02T00:00:00+00:00
List-Id: <comp.lang.ada>


                           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.