Published on February 07, 2017.

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 SC 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.


Max Plack Institute for Informatics
Max Plack Institute for Informatics