Dates and Location
The National Workshop on High Confidence Software for Critical Aviation
Systems will be held on October 5-6, 2006, at the Hilton
Alexandria Old Town, in Alexandria, VA.
Registration and Preregistration
Registration was confirmed after the evaluation of the whitepapers. Attendees
joined the HCSSAS Group on the CHESS webpage. Joining the 'hcssas'
group on the CHESS website included attendees in all emails about the workshop
organization and aftermath. At
the conclusion of the workshop, membership in this group and the
CHESS website may be deleted.
A block of rooms was reserved at the Hilton Alexandria Old Town
on the nights of Oct. 4-5. This block of rooms is at a special
rate, and there is is an (even better) government rate. Please make reservations
to get these rates.
Hilton Alexandria Old Town
1767 King Street
Alexandria, Virginia 22314
Participants were responsible for their own hotel expenses, the workshop
will not be paying directly for the rooms.
- The room rate for the "HCSS" block was: