Welcome to the HILT 2018 Workshop (HILT 2018 - Workshop on Languages and Tools for Ensuring Cyber-Resilience in Critical Software-Intensive Systems)

Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States

Track

HILT 2018

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Mon 5 Nov 2018 08:30 - 09:15 at Franklin - Keynote: Martin Chair(s): S Tucker Taft

Abstract

Welcome to the HILT 2018 Workshop

Bio

Harvard College 1971-1975, AB Summa Cum Laude Chemistry
Harvard Radcliffe Student Computing Center 1975-1979, Systems Programmer
Intermetrics/AverStar/AverCom 1980-2002, Chief Scientist
SofCheck 2002-2011, Founder and CTO
AdaCore 2011-present, VP, Director of Language Research, Model-Based Toolset Product Architect