Mit Tipps und Tricks aus der Bibliothek erleichtern wir euch euren Alltag. Wenn ihr noch wenig Erfahrung mit der Bibliothek habt, kommt einfach mit uns mit und wir zeigen euch das Wichtigste bei unserer Führung. Aber auch wenn ihr nicht wisst, wie ihr euch den Proxy Server für eure E-Ressourcen einstellt oder wenn sich der Drucker in der Aula wieder einmal nicht mit eurem Laptop verbinden lässt, seid ihr bei uns genau richtig, denn wir zeigen euch, wie ihr diese richtig einstellen müsst und bieten euch auch Hilfe bei sonstigen Fragen.Eure Peer-Tutor:innen---With tips and tricks from the library, we make your everyday life easier. If you have little experience with the library, just come with us, and we will show you the most important things during our guided tour. Even if you don't know how to set up the proxy server for your e-resources or if the printer in the auditorium once again won't connect to your laptop, you've come to the right place because we'll show you how to set it up correctly and also offer help with other questions.Your peer tutors

Vorträge:Konkurrenzbeschränkungen und Nebenbeschäftigungsverbote im aufrechten Arbeitsverhältnis(Postdoc-Ass. Mag. Dr. Thomas Pfalz, Universität Klagenfurt)Schlichtungsklauseln in Arbeitsvertrag, Betriebsvereinbarung und Kollektivvertrag(Dr.in Felicia Kain, Wirtschaftsuniversität Wien)Ausbildungskostenrückersatzklauseln – Neuerungen in Lehre und Judikatur(Dr. Ernst Eypeltauer, Rechtsanwalt in Linz)*Schiller, Wallenstein (Triologie), Die Piccolomini 4. Aufzug

12:00-12:30:Vor dem Gesetz sind alle gleich. Aber stimmt das? Was ist Diskriminierung, Belästigung, Mobbing oder Stalking und wie bist du davor geschützt? Wir sehen uns an, was die Uni gegen Ungleichbehandlung tun kann.Zugangslink: https://classroom.aau.at/b/sab-pnu-vaa-zm8Eure Peer-Tutor:innen---12:30-13:00:Everyone is equal before the law. But is that true? What is discrimination, harassment, bullying, or stalking, and how are you protected from it? We take a look at what the university can do to combat unequal treatment. Access link: https://classroom.aau.at/b/sab-pnu-vaa-zm8Your peer tutors

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.