Our Next Joint Meeting with the Baltimore SIGAda Chapter
is scheduled for
Tuesday, 10 September 2002 at 7:30 P.M.
will be speaking on
The Use of Formal Methods Early in the 21st Century then a Focus on Z in Particular
at the Baltimore SIGAda Venue
(Johns Hopkins University/Applied Physics Laboratory in Laurel, Maryland)
for a joint meeting with the Baltimore SIGAda Chapter
The presentation will start at 7:30 P.M. (Refreshments and Social at 7:00 P.M.) at the Johns Hopkins University/Applied Physics Laboratory in Laurel, Maryland
Munchies and soft drinks will be served at 7:00 PM, the general meeting will start at 7:30 PM, followed by the program.
Randy Johnson was trained as a mathematician and spent the first ten years of his career in the academic world, the last seven years in the Mathematics Department at the University of Pittsburgh. He has a BA (1964) from Wesleyan University and an MA (1966), MPhil (1968), and PhD (1971) from Yale University, all in mathematics, specializing in mathematical logic. Since 1978 he has been employed at NSA. In the 1980s he worked on large scale software development and did 30 credits worth of graduate computer science at the University of Maryland.
Since 1991 he has been working in the area of formal methods and has been a member of the ISO technical committee writing the ISO standard for the Z specification language. He is also a member of the corresponding ANSI committee.
Detailed Directions and Maps are available at: http://www.acm.org/sigada/locals/dc/Directions_JHU_APL.html
Please put on your calendar the first fall meeting of the ACM DC SIGAda Chapter Meeting for Thursday, 10 October 2002. Chuck Howell will be giving a presentation on "Structured Augmentation Support for Information Assurance. Details at http://www.acm.org/sigada/locals/dc/200210.html.
Please provide suggestions on the Web site and its contents. We are particularly interested in ways the DC SIGAda Home Page can serve you better.
Consider subscribing to our e-mail list. Simply send an email to:
with the body containing:
subscribe SIGAda-DC Your Name
To be removed from the list, send an email request to:
with the body containing:
Please forward this message to people who might be interested in attending. We welcome all new members as our attendance and interests grow.
Many thanks to all earlier participants, contributors, speakers, advisors, and friends, who are involved in helping to produce and attend the meetings.
Jeff Castellow, Chair, DC SIGAda
If you have comments or suggestions,
email the DC SIGAda Webmaster
updated 8 November 2002