| HILT 2018 |
|
ACM SIGAda’s High Integrity Language Technology
International Workshop on
Cyber-Security Interaction with High Integrity
|
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 |
|
|
Past Chair
David Cook Stephen F. Austin State University Dept. of Computer Science P.O. Box 13063 SFA Station Nacogdoches, TX 75962 Business Phone: +1.936.468.2508 FAX: +1.936.468.7086 Email: cookda at sfasu.edu |
|
|
Editor ACM Ada Letters
Alok Srivastava Engility Corporation 80 M Street SE Washington, DC 20003 Business Phone: +1.202.314.1419 Email: Alok.Srivastava at EngilityCorp.Com |