As the prototypical NP-complete problem SAT, the decision problem of propositional logic, is considered to be hard. Despite this hardness, SAT is very successfully applied in many practical domains, because very powerful reasoning techniques are available. There are, however, problems that cannot be efficiently encoded in SAT. For such problems, formalisms with decision problems beyond NP are necessary. One of such formalisms are quantified Boolean formulas (QBFs), the extension of propositional logic with existential and universal quantifiers over the Boolean variables. The QBF decision problem is PSPACE-complete, making QBF well suitable for encoding and solving many problems from formal verification, synthesis, and artificial intelligence. In this talk, we give a short tour through recent developments in QBF solving.

In diesem Gastvortrag wird Kevin über seine persönliche Karriere als Absolvent des Studiengangs Informations-management an der Universität Klagenfurt sprechen. Er teilt seine Erfahrungen als Mobile Entwickler in der Praxis und gibt Einblicke in seine Arbeit als Teilzeit-YouTuber. Die Zuhörer erwartet eine interessante Reise durch Kevins Karriere und ein tieferer Einblick in die Welt der mobilen Entwicklung bei verschiedenen Unternehmen, wie die Zukunft der Softwareentwicklung aussehen kann und wie er parallel einen YouTube-Kanal für IT-Interessierte aufgebaut hat.

This talks presents a mapping of technical vocational education and training (TVET) for photovoltaic (PV) systems in Palestine. A comprehensive analysis of PV system TVET courses as well as PV system market in Palestine will be presented in this talk. This analysis covers the content of PV TVET courses, the ability of courses’ trainers, training tools and labs, required skills as well as the ability of TVET graduates. Moreover, feedback from photovoltaic system’s experts as well as owners and users of PV systems (corporate size) will be presented. Finally future required topics for training are predicted based on market analysis. Moreover, future jobs in the field of photovoltaic system are predicted as well.