STC 2017

Sep 25-28, 2017 – Maryland, USA

AdaCore will be attending this event. 
Ben Brosgol will be giving the talk "Guidance for Introducing Formal Methods into a Software Verification Infrastructure"