"Transformation-Based Generation of High-Assurance Software"
December 5-8, 2016
St. John, U.S. Virgin Islands
Caneel Bay - Turtle Bay Conference Room
Since space is limited and the workshop fills
up, please RSVP as soon as possible by
Once we confirm that there is a seat left, we will notify you and send
you links to both the conference registration form and also the Caneel reservation form.
The NDIST Workshop fee is $935. The fee
covers buffet breakfast, lunch, and snacks served during the workshop,
the welcome and farewell banquets on Monday and Thursday evenings, and
the beach barbecue dinner on Tuesday evening. Your guests are welcome
and encouraged to attend our banquets (for an additional fee).