SIGAda 2011 Home
Register Online Now
Hotel Rates, Reservations, Travel
Reception Dinner & Program
Exhibiting and Sponsorship Opportunities
Additional Promotional Opportunities
Conference at a Glance
Workshops and BoFs
Grants to Educators
Important Visa Information for
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,
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
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,
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,
(BThomas at MITRE.Org).