The next IncQuery Labs Academy focuses on SAT/SMT/AR solvers and provers which have gone through a great improvement in the recent decades. They serve as engines for algorithms in many fields, including software analysis, hardware verification, testing and security. Based on the annual SAT/SMT/AR summer school, Akos Hajdu, PhD student at BME, gives an overview on modeling in these logics, on the algorithms of solvers and on the practical applications.

Date: 08 July, 2016  I  13:30 – 14:00 PM
Language of the presentation: HU

More info and registration: meetup.com. The meetup will be held on Google Hangouts and you will be able to watch the live stream directly on YouTube.