From: gerhardt@AJPO.SEI.CMU.EDU
Subject: new chairperson for formal methods Committee
Date: 18 Sep 89 19:37:32 GMT [thread overview]
Message-ID: <8909181937.AA13378@ajpo.sei.cmu.edu> (raw)
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
reply other threads:[~1989-09-18 19:37 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox