Path: utzoo!utgpu!news-server.csri.toronto.edu!mailrus!wuarchive!cs.utexas.edu!titan!poer
From: poer@titan.tsd.arlut.utexas.edu (Leslie Poer)
Newsgroups: comp.software-eng
Subject: Re: Specification Tools and Code Testing
Message-ID: <1200@titan.tsd.arlut.utexas.edu>
Date: 24 Aug 90 16:42:13 GMT
References: <5456@stpstn.UUCP> <1990Aug12.134735.22528@cbnewsm.att.com> <19578@well.sf.ca.us> <163@smds.UUCP>
Reply-To: poer@titan.titan.tsd.arlut.utexas.edu (Leslie Poer)
Distribution: usa
Organization: Applied Research Labs, University of Texas at Austin
Lines: 16

To:
Subject: Testing Conferences
Newsgroups: comp.software-eng
In-Reply-To:
References: 
Organization: Applied Research Labs, University of Texas at Austin
Cc: 
Bcc: 

	I need some info (like when, where, who's in charge etc) on
the next TAV Conference.  I think TAV stands for Testing, A(?), and
Verification.  It's supposed to be more theoretical than the Testing
Computer Software Conference.

	Thanks in advance,
	-- Leslie