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=1.1 required=5.0 tests=BAYES_20,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!uwm.edu!gem.mps.ohio-state.edu!tut.cis.ohio-state.edu!ucbvax!AJPO.SEI.CMU.EDU!gerhardt
From: gerhardt@AJPO.SEI.CMU.EDU
Newsgroups: comp.lang.ada
Subject: new chairperson for formal methods Committee
Message-ID: <8909181937.AA13378@ajpo.sei.cmu.edu>
Date: 18 Sep 89 19:37:32 GMT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The Internet
List-Id: <comp.lang.ada>

John McHugh is hereby appointed  the new chair of the Formal Methods
Committee.

Contact information is as follows:

John McHugh
Computational Logic, Inc.
3500 Westgate Drive, Suite 204
Durham, NC 27707
(919)493-4932

email: Mchugh@cli.com

John, welcome to the wonderful world of SIGAda extended executive committee
meetings!

Mark Gerhardt, Chairperson SIGAda