Mon 5 Nov 2018 14:15 - 15:00 at Franklin - II Chair(s): William Bail

Panel discussion on the use of programming languages, modeling languages, and specification languages to specify and/or ensure desirable security properties

Mon 5 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

13:30 - 15:00: IIHILT at Franklin
Chair(s): William BailThe MITRE Corporation
13:30 - 14:15
S: Tobias RungeTU Braunschweig, S: Ina SchaeferTechnische Universität Braunschweig, Alexander KnüppelTU Braunschweig, Germany, Loek CleophasEindhoven University of Technology (TU/e) and Stellenbosch University, Derrick KourieStellenbosch University, Bruce WatsonStellenbosch University; and Centre for AI Research, CSIR
14:15 - 15:00
P: Stephen ChongHarvard University, Ina SchaeferTechnische Universität Braunschweig, Tobias RungeTU Braunschweig, Lucas WagnerRockwell Collins, Sam ProcterCarnegie Mellon Software Engineering Institute, Tucker TaftAdaCore