DCSIGAda Program for 2002/2003

Schedule

The DCSIGAda Chapter generally meets on the 2nd Thursday on alternate months October through April at MITRE2 in McLean, Virginia, the DC SIGAda Venue. Every other month, we meet jointly with the Baltimore SIGAda Chapter at their venue. They generally meet on the 2nd Tuesday of the month. There are some exceptions to avoid major holidays. There is no December meeting.

We are planning an exciting program:

Date Planned Meeting Event
Tuesday
10 September 2002
Randy Johnson on The Use of Formal Methods Early in the 21st Century then a Focus on Z in Particular at Johns Hopkins University Applied Physics Laboratory in Laurel, Maryland, the Baltimore SIGAda Venue.
Thursday
10 October 2002
Chuck Howell on Structured Argumentation Support for Information Assurance., at MITRE2, the new MITRE Building in McLean, Virginia.. Slides from Chuck Howell's presentation are available online as a Powerpoint Presentation (ppt, 559KB).
Tuesday
12 November 2002
Dr. Jonathan Shapiro on EROS: A Foundation for Usefully Secure Systems at Johns Hopkins University Applied Physics Laboratory in Laurel, Maryland, the Baltimore SIGAda Venue.
Sunday - Thursday
8-12 December 2002
ACM SIGAda Annual International Conference (SIGAda 2002) - in Houston, Texas.
Thursday
9 January 2003
Clyde Roby on Evolving Ada Bindings and Ada APIs, at MITRE2, the new MITRE Building in McLean, Virginia. Slides from Clyde Roby's presentation are available online as a Powerpoint Presentation (ppt, 276KB).
Thursday
13 March 2003
This meeting has been cancelled as our normal room will be renovated from 10 February to 18 April 2003. Our normal room is the only practical one outside of our security blanket available for after hours use.
Tuesday
8 April 2003
John Warther and Gordon Uchenick of Wind River will be speaking on High Reliability, Safety, and Secure Solutions for Embedded Developers at Johns Hopkins University Applied Physics Laboratory in Laurel, Maryland, the Baltimore SIGAda Venue. Slides from John Warther's and Gordon Uchenick's presentation are available online as a Powerpoint Presentation (ppt, 2.097MB). The much requested jpg image of the X-38 Space Station Lifeboat With caption "When Ctrl-Alt-Delete is Not an Option" is available at: JPG File (jpg, 159 KB).
Thursday
8 May 2003
Karl Nyberg of the Grebyn Corporation will be speaking on Optical Character Recognition (OCR) of Cryptographic Source Code at MITRE2, the new MITRE Building in McLean, Virginia. Slides from Karl Nyberg's presentation are available online as a Powerpoint Presentation (ppt, 118KB).
Interested in other topics: Please send email to: the Baltimore/DC SIGAda Chapter Chairs

Back to DC SIGAda Home Page
updated 9 May 2003


If you have comments or suggestions, email the DC SIGAda Webmaster