| HILT 2020 |
|
ACM SIGAda’s High Integrity Language Technology
International Workshop on
Safe Languages and Technologies for Structured and Efficient Parallel and Distributed/Cloud Computing
|
Chair
John A. Hamilton Mississippi State University CCI 2 Research Blvd. Starkville, MS 39759 Business Phone: +1.662.325.2294 Email: hamilton at cci.msstate.edu |
|
|
Vice Chair
Tucker Taft AdaCore 24 Muzzey St., 3rd Floor Lexington, MA 02421 Business Phone: +1.646.532.2720 FAX: +1.646.329.7458 Email: taft at adacore.com |
|
|
Secretary Treasurer
Clyde Roby Institute for Defense Analyses 4850 Mark Center Drive Alexandria, VA 22311 Business Phone: +1.703.845.6666 FAX: +1.703.845.6848 Email: ClydeRoby at ACM.Org |
|
|
International Representative
Dirk Craeynest Eurocontrol Email: Dirk.Craeynest at cs.kuleuven.be |
|
|
Editor ACM Ada Letters
Alok Srivastava Science Applications International Corporation (SAIC) 80 M Street SE Washington, DC 20003 Business Phone: +1.202.314.1419 Email: Alok.Srivastava at SAIC.Com |