SIGAda 2011 Workshops and BoFs

Workshops and BoFs


SIGAda 2011 Home


Register Online Now

Hotel Rates, Reservations, Travel

Reception Dinner & Program

Exhibiting and Sponsorship Opportunities

Additional Promotional Opportunities


Conference at a Glance
Final Program:   (PDF/US)

Tutorials

Workshops and BoFs

Media Information

Conference Officers

Program Committee

Important Dates

Grants to Educators


Previous Conferences


Important Visa Information for
NON-US ATTENDEES

SIGAda 2011 logo

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).


last updated 3 November 2011 - cgr