SIGAda 2011 Home

Register Online Now

Hotel Rates, Reservations, Travel

Reception Dinner & Program

Exhibiting and Sponsorship Opportunities

Additional Promotional Opportunities

Focused workshops are important in evolving software development technologies to better meet the needs of the Ada community, particularly regarding Reliable and Secure Systems. Workshops are free for those registered for the conference.

• Workshop on ParaSail: Parallel Specification and Implementation Language, Tucker Taft
  Tuesday, November 8, Afternoon

  This workshop will be focused on ParaSail, a new language being designed for safetycritical and high-security systems in a multi-core world, where safety, security, parallelism, and correctness are paramount. The workshop will include an introduction to the ParaSail language in its current form, hands-on use of an initial ParaSail interpreter to write simple sample programs, and then a chance to provide feedback on the language, discuss its strengths and weaknesses, and help guide it towards its final form for more widespread use.

  Prerequisites: Familiarity with Ada, SPARK, or other languages used for mission-critical systems development, a reading familiarity with BNF or other language-description notations such as that used by YACC. Familiarity with the notion of preconditions and postconditions, and/or other formal approaches to achieving program correctness. The workshop will be led by Tucker Taft, chief architect of Ada 95, and an active member of the Ada Rapporteur Group, the ISO group responsible for the continuing evolution of the Ada language standard.

• Birds of a Feather: GNAT, Greg Gicca
  Wednesday, November 9, Afternoon

Additional workshops or Birds-of-a-Feather (BoF) sessions are welcome. SIGAda workshops have a focused objective and result in a report to be published in Ada Letters. BoFs are informal discussion groups. If you would like to propose a Workshop or BoF, please contact the Workshops Chair, Bill Thomas, (BThomas at MITRE.Org).