Validation of large scale scientific and engineering simulations

[Vaughan Pratt]

The following may be of interest to this list.
-
Vaughan Pratt

------- Forwarded Message

Date: Wed, 4 Feb 1998 14:32:01 -0500
Message-Id: <199802041932.OAA15398agandalf.cs.clemson.edu>
From: Steve Stevenson <steveagandalf.cs.clemson.edu>
To: bugaestas1.inrets.fr, coq-clubapauillac.INRIA.fr, facs-memalboro.AC.uk,
        fm-infoaair16.larc.nasa.gov, formal-methodsacs.UIDAHO.edu,
        fsdmacs.uq.OZ.au, hise-safety-criticalaminster.cs.york.ac.uk,
        ifmsigacs.tcd.ie, impsalinus.mitre.org, info-holaleopard.cs.byu.edu,
        isabelle-usersacl.cam.ac.uk, lambda-usergroupadcs.ed.ac.uk,
        larch-interestaPA.DEC.com, larc-swealarc.nasa.gov,
        logicaCS.Stanford.EDU, lotos-worldasanson.dit.upm.ES,
        nqthm-usersacli.com, nuprllistaCS.CORNELL.edu, PetriNetsadaimu.aau.dk,
        procos-listacomlab.ox.ac.uk, pvsacsl.sri.com, qedamcs.ANL.GOV,
        softverfaleopard.cs.byu.edu, sreajrcase.mq.edu.au,
        sw-relaigate1.hac.com, swtest-discussaconvex.convex.com,
        system-safetyalistserv.gsfc.nasa.gov, vdm-forumamailbase.ac.uk,
        theorem-proversaai.MIT.edu, zevesaora.on.ca, zforumaprg.ox.ac.uk,
        zugeisacomlab.ox.ac.uk
Subject: New Mailing List on Validation and Verification


  [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

		       majordomoacs.clemson.edu

There is no subject, but the first line of the body should be
		subscribe ivandv <your email address>
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 <list> [<address>]
	Subscribe yourself (or <address> if specified) to the named <list>.
	
    unsubscribe <list> [<address>]
	Unsubscribe yourself (or <address> if specified) from the named <list>.
	"unsubscribe *" will remove you (or <address>) 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,
steveacs.clemson.edu

------- End of Forwarded Message