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

The next IncQuery Labs Academy focuses on SAT/SMT/AR solvers and provers. Learn more at the event!
July 8, 2016

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.

Get in touch

Contact us to find out more about our solutions, book a discussion with our experts, enroll in our evaluation program, or request a quote.

Contact us
Small arrow indicating more content
Three client management experts contributing in asynchronous communication.Two client management experts contributing in a phonecall.