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
Lines: 17

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