gerhardt@AJPO.SEI.CMU.EDU (09/19/89)
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