DC SIGAda
Program for Tuesday, 10 September 2002


Our Next Joint Meeting with the Baltimore SIGAda Chapter
is scheduled for
Tuesday, 10 September 2002 at 7:30 P.M.
Randy Johnson
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


Attention:

To Members and Friends of DC SIGAda

Next Meeting:

Our Next Meeting is scheduled for Tuesday, 10 September 2002, as a Joint Meeting of the Baltimore and DC SIGAda Chapters. Mr. Randy Johnson will be speaking on "The Use of Formal Methods Early in the 21st Century then a Focus on Z in Particular".

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.

Abstract: The Use of Formal Methods Early in the 21st Century then a Focus on Z in Particular

The talk will include some general comments on the use of formal methods early in the 21st century and then focus on Z in particular. It will cover the status of the standardization effort, the role of Z in real software development projects and enough examples to convey something of the "look and feel" of the language. I won't attempt to tell you anything about Ada, but will discuss how Z has been used successfully in conjunction with SPARK.

Presenter:

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.

Directions From Washington, DC

From the Capital Beltway (I-495), Take the I-95 North exit;
10 miles to Columbia exit (MD Rte. 32 West);
2.5 miles to Washington, DC, exit (U.S. Rte. 29 S);
1.5 miles to Johns Hopkins Rd.;
Turn right at traffic light;
APL is located to the right, just past the service station;
Turn right at the sign: "Building 1 Visitor Parking";
Use Building 1 entrance near the flag-pole; The meeting is in the cafeteria.

Detailed Directions and Maps are available at: http://www.acm.org/sigada/locals/dc/Directions_JHU_APL.html

Please Put on Your Calendar

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.

DC SIGAda Home Page and Maillist

Please visit the DC SIGAda Web site at http://www.acm.org/sigada/locals/dc/ for additional information.

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:

LISTSERV@ACM.Org

with the body containing:

subscribe SIGAda-DC Your Name

To be removed from the list, send an email request to:

LISTSERV@ACM.Org

with the body containing:

signoff SIGAda-DC

Business:

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