* new chairperson for formal methods Committee
@ 1989-09-18 19:37 gerhardt
0 siblings, 0 replies; only message in thread
From: gerhardt @ 1989-09-18 19:37 UTC (permalink / 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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~1989-09-18 19:37 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1989-09-18 19:37 new chairperson for formal methods Committee gerhardt
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox