IncQuery Labs Academy on SAT/SMT/AR solvers and provers

July 08, 2016         Share

Akos Hajdu, PhD student at BME, gives an overview on modeling in these logics, on the algorithms of solvers and on the practical applications.

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.