BTC lecture at the SC2 Summer School 2017
31.07. - 04.08.2017
Dr. Tom Bienmüller (Senior Vice Presidents Products) is giving a lecture at the SC2 Summer School 2017 in Saarbrücken, Germany.
The event which is hosted by the Max Planck Institute for Informatics allows students as well as researchers from the academical and the industrial world to elaborate and discuss about diiferent approaches in the field of Satisfiability Checking (SAT/SMT) and Symbolic Computation. BTC Embedded Systems as an industrial representative will give an insight into a state-of-the-art application of formal methods as well as an overview about future challenges that need to be addressed.
Please find more information about the event here: http://www.sc-square.org/CSA/school/index.html