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 autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,e0de95abbe535ff,start X-Google-Attributes: gid103376,public From: Steve Stevenson Subject: Announcing new validation and verification mailing list Date: 1998/02/05 Message-ID: <34DA20B6.B06@cs.clemson.edu>#1/1 X-Deja-AN: 322406899 Content-Transfer-Encoding: 7bit Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Organization: Computer Science, Clemson University Newsgroups: comp.lang.ada Date: 1998-02-05T00:00:00+00:00 List-Id: [Apologies to those who get multiple copies of this announcement] Announcing a Mailing List Devoted to Validation and Verification of Large Simulations. Clemson University's Department of Computer Science is hosting a mailing list on the validation and verification of large scale scientific and engineering simulations. There are two notable projects to think about: (1) The Comprehensive Test Ban Treaty forbids the explosion of nuclear devices for testing; therefore, the nuclear arsenal certification will be by simulation. (2) The success of the development of the Boeing 777. Clemson is very active in computational science and engineering. Now that many industries are turning to simulation as a cost-effective method of doing research, those same companies must answer two questions: 1. Did we ask the right questions? 2. Did we code the answers to the questions right? The first question is answered by validation; the second by verification. The purpose of the Validation and Verification mailing list is to provide a meeting place and forum for industry, government, and academic workers to discuss the methods and problems of validation and verification (V&V). To subscribe, send an email message to majordomo@cs.clemson.edu There is no subject, but the first line of the body should be subscribe ivandv You will return a short introduction to the list and the basic commands for dealing with majordomo. For your convenience, the three commands you need: subscribe [
] Subscribe yourself (or
if specified) to the named . unsubscribe [
] Unsubscribe yourself (or
if specified) from the named . "unsubscribe *" will remove you (or
) from all lists. This _may not_ work if you have subscribed using multiple addresses. help Retrieve an explanation of commands. The list is currently moderated by me only until it gets active enough that initial problems are ironed out. I am not acting as a filter (but keep it clean), but as a facilitator. Please join today and be an active participant. Steve Stevenson, steve@cs.clemson.edu -- Best regards, steve ----- Steve (really "D. E.") Stevenson Assoc Prof Department of Computer Science, Clemson, (864)656-5880.mabell Homepage: http://www.cs.clemson.edu/~steve/ Wanted: Sterbenz, P. Floating Point Computation