| 184.780 | VU | Advanced Database Systems | 4.0 | 6.0 | 2024S | Pichler, Reinhard
|
| 192.118 | VU | Algorithmic Social Choice | 4.0 | 6.0 | 2024S | Chen, Jiehua
|
| 186.866 | VU | Algorithms and Data Structures | 5.5 | 8.0 | 2024S | Szeider, Stefan
|
| 192.032 | VU | Applied Deep Learning | 2.0 | 3.0 | 2024S | Lukasiewicz, Thomas
|
| 184.765 | VU | Argumentation and Proof | 4.0 | 6.0 | 2024S | Egly, Uwe
|
| 184.068 | SE | Artificial Intelligence Seminar | 2.0 | 3.0 | 2024S | Egly, Uwe
|
| 184.691 | PR | Bachelor Thesis | 5.0 | 10.0 | 2024S | Gottlob, Georg
|
| 184.695 | PR | Bachelor Thesis | 5.0 | 10.0 | 2024S | Kovacs, Laura
|
| 192.061 | PR | Bachelor Thesis | 5.0 | 10.0 | 2024S | Maffei, Matteo
|
| 184.713 | PR | Bachelor Thesis for Computer Science and Business Informatics | 5.0 | 10.0 | 2024S | Egly, Uwe
|
| 185.A26 | PR | Bachelor Thesis for Informatics and Business Informatics | 5.0 | 10.0 | 2024S | Ciabattoni, Agata
|
| 186.819 | PR | Bachelor Thesis in Computer Science | 5.0 | 10.0 | 2024S | Raidl, Günther
|
| 192.131 | SE | CAIML seminar | 1.0 | 1.5 | 2024S | Palmetshofer, Walter
|
| 185.334 | VO | Clinics | 2.0 | 3.0 | 2024S | Schneeweiß, Bruno
|
| 181.200 | SE | Communication and rhetoric | 2.0 | 3.0 | 2024S | Pichlmair, Markus
|
| 184.215 | VU | Complexity Analysis | 2.0 | 3.0 | 2024S | Eiter, Thomas
|
| 181.145 | VU | Computer Aided Verification | 2.0 | 3.0 | 2024S | Cerny, Pavol
|
| 181.144 | UE | Computer-Aided Verification | 2.0 | 3.0 | 2024S | Cerny, Pavol
|
| 192.080 | VU | Crypto Asset Analytics | 2.0 | 3.0 | 2024S | Maffei, Matteo
|
| 184.686 | VU | Data Base Systems | 4.0 | 6.0 | 2024S | Hose, Katja
|
| 192.039 | VU | Deep Learning for Natural Language Processing | 4.0 | 6.0 | 2024S | Lukasiewicz, Thomas
|
| 192.130 | VU | Deontic Logic for Normative Reasoning | 2.0 | 3.0 | 2024S | Ciabattoni, Agata
|
| 181.223 | SE | Doctoral & Master Students Seminar | 2.0 | 2.0 | 2024S | Gottlob, Georg
|
| 181.224 | SE | Doctoral & Master Students Seminar | 2.0 | 2.0 | 2024S | Weissenbacher, Georg
|
| 192.026 | VU | Efficient Algorithms | 4.0 | 6.0 | 2024S | Ganian, Robert
|
| 192.059 | VU | Formal Methods for Security and Privacy | 4.0 | 6.0 | 2024S | Maffei, Matteo
|
| 185.291 | VU | Canceled Formal Methods in Computer Science | 4.0 | 6.0 | 2024S | Egly, Uwe
|
| 185.A06 | VU | Formal Modelling | 2.0 | 3.0 | 2024S | Salzer, Gernot
|
| 192.121 | VU | Foundations of Computer and Communication Systems | 2.0 | 3.0 | 2024S | Dvorak, Wolfgang
|
| 191.124 | VU | Fundamentals of Security and Privacy | 2.0 | 3.0 | 2024S | Tempesta, Mauro
|
| 192.097 | VU | Fundamentals of programming and algorithms | 4.0 | 5.0 | 2024S | Riener, Martin
|
| 192.141 | VU | Graph Drawing Algorithms | 3.0 | 4.5 | 2024S | Nöllenburg, Martin
|
| 192.055 | PR | IT Projects for Youth | 2.0 | 3.0 | 2024S | Pichler, Reinhard
|
| 192.058 | UE | IT Projects for Youth | 1.0 | 1.5 | 2024S | Pichler, Reinhard
|
| 192.027 | VU | Introduction to Artificial Intelligence | 4.0 | 6.0 | 2024S | Eiter, Thomas
|
| 184.766 | VO | Introduction to Logical Methods in Computer Science | 2.0 | 3.0 | 2024S | Woltran, Stefan
|
| 192.052 | VU | Canceled Introduction to Natural Language Processing | 2.0 | 3.0 | 2024S | Lukasiewicz, Thomas
|
| 185.A91 | VU | Introduction to Programming 1 | 4.0 | 5.5 | 2024S | Podlipnig, Stefan
|
| 192.036 | VU | Introduction to Quantum Computing | 4.5 | 6.0 | 2024S | Egly, Uwe
|
| 192.019 | VU | Introduction to Security | 4.0 | 6.0 | 2024S | Maffei, Matteo
|
| 192.071 | VU | Introduction to Theoretical Computer Science and Logics | 2.0 | 3.0 | 2024S | Fermüller, Christian
|
| 192.116 | VU | Knowledge Graphs | 2.0 | 3.0 | 2024S | Sallinger, Emanuel
|
| 184.730 | VU | Knowledge-based Systems | 4.0 | 6.0 | 2024S | Egly, Uwe
|
| 192.033 | VU | Logic and Reasoning in Computer Science | 4.0 | 6.0 | 2024S | Kovacs, Laura
|
| 181.206 | SE | Logic seminar | 2.0 | 3.0 | 2024S | Dvorak, Wolfgang
|
| 184.702 | VU | Machine Learning | 3.0 | 4.5 | 2024S | Musliu, Nysret
|
| 186.835 | VU | Mathematical Programming | 2.0 | 3.0 | 2024S | Raidl, Günther
|
| 186.861 | VU | Modeling and Solving Constrained Optimization Problems | 2.0 | 3.0 | 2024S | Di Gaspero, Luca
|
| 192.085 | VU | Non-classical Logics | 2.0 | 3.0 | 2024S | Fermüller, Christian
|
| 184.188 | VU | Nonmonotonic Reasoning | 2.0 | 3.0 | 2024S | Tompits, Hans
|
| 186.190 | VU | Optimization in Transport and Logistics | 2.0 | 3.0 | 2024S | Raidl, Günther
|
| 184.768 | VU | Preferences in Artificial Intelligence | 2.0 | 3.0 | 2024S | Woltran, Stefan
|
| 192.030 | VU | Probabilistic Reasoning | 2.0 | 3.0 | 2024S | Lukasiewicz, Thomas
|
| 181.190 | VU | Problem Solving and Search in Artificial Intelligence | 2.0 | 3.0 | 2024S | Musliu, Nysret
|
| 184.741 | VU | Program and System Verification | 4.0 | 6.0 | 2024S | Weissenbacher, Georg
|
| 192.105 | PR | Project in CS1: Team-Based Research in Algorithmics | 4.0 | 6.0 | 2024S | Chen, Jiehua
|
| 192.021 | PR | Project in Computer Science 1 | 4.0 | 6.0 | 2024S | Ciabattoni, Agata
|
| 192.022 | PR | Project in Computer Science 2 | 4.0 | 6.0 | 2024S | Ciabattoni, Agata
|
| 192.035 | PR | Project in Computer Science 2 Trends in cloud computing | 4.0 | 6.0 | 2024S | Kovacs, Laura
|
| 184.767 | SE | Research Seminar LogiCS | 2.0 | 3.0 | 2024S | Szeider, Stefan
|
| 185.A39 | SE | Research Seminar for Master and PhD students | 2.0 | 3.0 | 2024S | Ciabattoni, Agata
|
| 186.842 | SE | Researchseminar for PhD candidates | 2.0 | 3.0 | 2024S | Raidl, Günther
|
| 184.090 | VU | SAT Solving | 2.0 | 3.0 | 2024S | Egly, Uwe
|
| 184.729 | VU | Semantic Technologies | 2.0 | 3.0 | 2024S | Ortiz de la Fuente, Maria Magdalena
|
| 184.749 | VU | Semantics of Programming Languages | 3.0 | 4.5 | 2024S | Zuleger, Florian
|
| 181.201 | SE | Seminar Database Systems | 2.0 | 3.0 | 2024S | Pichler, Reinhard
|
| 181.221 | SE | Seminar Formal Methods | 2.0 | 3.0 | 2024S | Weissenbacher, Georg
|
| 184.721 | SE | Seminar for PhD Students | 2.0 | 3.0 | 2024S | Egly, Uwe
|
| 192.031 | SE | Seminar for PhD Students | 2.0 | 3.0 | 2024S | Lukasiewicz, Thomas
|
| 192.060 | SE | Seminar for PhD Students | 2.0 | 3.0 | 2024S | Maffei, Matteo
|
| 186.199 | SE | Seminar for PhD candidates | 2.0 | 3.0 | 2024S | Raidl, Günther
|
| 192.037 | SE | Seminar in Artificial Intelligence : Neuroscience-based Artificial Intelligence | 2.0 | 3.0 | 2024S | Lukasiewicz, Thomas
|
| 192.024 | SE | Seminar in Artificial Intelligence: Neurosymbolic Artificial Intelligence | 2.0 | 3.0 | 2024S | Lukasiewicz, Thomas
|
| 184.687 | SE | Seminar in Complexity Theory | 2.0 | 3.0 | 2024S | Pichler, Reinhard
|
| 184.712 | SE | Seminar in Knowledge Representation and Reasoning | 2.0 | 3.0 | 2024S | Egly, Uwe
|
| 184.264 | SE | Seminar in Logic | 2.0 | 3.0 | 2024S | Egly, Uwe
|
| 185.316 | SE | Seminar in Logic | 2.0 | 3.0 | 2024S | Fermüller, Christian
|
| 184.067 | SE | Seminar in Theoretical Computer Science | 2.0 | 3.0 | 2024S | Egly, Uwe
|
| 181.034 | SE | Seminar of Artificial Intelligence | 2.0 | 3.0 | 2024S | Dvorak, Wolfgang
|
| 186.182 | SE | Seminar on Algorithms | 2.0 | 3.0 | 2024S | Raidl, Günther
|
| 184.705 | VU | Canceled Semistructured Data | 2.0 | 3.0 | 2024S | Simkus, Mantas
|
| 192.078 | VU | Smart Contracts | 4.0 | 6.0 | 2024S | di Angelo, Monika
|
| 181.208 | VU | Softskills for technicians | 2.0 | 3.0 | 2024S | Pichlmair, Markus
|
| 186.856 | VU | Structural Decompositions and Algorithms | 2.0 | 3.0 | 2024S | Peitl, Tomas
|
| 192.124 | VU | Symmetric Cryptography | 4.0 | 6.0 | 2024S | Andreeva, Elena
|
| 192.112 | VU | System and Application Security | 4.0 | 6.0 | 2024S | Lindorfer, Martina
|
| 184.682 | VU | Abstract Argumentation | 3.0 | 4.5 | 2023W | Egly, Uwe
|
| 192.133 | VU | Algorithmic Geometry | 3.0 | 4.5 | 2023W | Nöllenburg, Martin
|
| 192.122 | VU | Algorithmic Meta-Theorems | 2.0 | 3.0 | 2023W | Dreier, Jan Niclas
|
| 186.814 | VU | Algorithmics | 4.0 | 6.0 | 2023W | Szeider, Stefan
|
| 192.018 | VU | Algorithms in Graph Theory | 3.0 | 4.5 | 2023W | Chen, Jiehua
|
| 185.330 | VO | Anatomy and Histology | 3.0 | 4.5 | 2023W | Dawoud, Christopher
|
| 186.102 | VU | Approximation Algorithms | 2.0 | 3.0 | 2023W | Kellerer, Hans
|
| 184.068 | SE | Artificial Intelligence Seminar | 2.0 | 3.0 | 2023W | Egly, Uwe
|
| 192.111 | UE | Attacks and Defenses in Computer Security | 4.0 | 6.0 | 2023W | Squarcina, Marco
|
| 184.691 | PR | Bachelor Thesis | 5.0 | 10.0 | 2023W | Gottlob, Georg
|
| 192.061 | PR | Bachelor Thesis | 5.0 | 10.0 | 2023W | Maffei, Matteo
|
| 184.695 | PR | Bachelor Thesis | 5.0 | 10.0 | 2023W | Zuleger, Florian
|
| 184.713 | PR | Bachelor Thesis for Computer Science and Business Informatics | 5.0 | 10.0 | 2023W | Egly, Uwe
|
| 185.A26 | PR | Bachelor Thesis for Informatics and Business Informatics | 5.0 | 10.0 | 2023W | Ciabattoni, Agata
|
| 186.819 | PR | Bachelor Thesis in Computer Science | 5.0 | 10.0 | 2023W | Raidl, Günther
|
| 192.138 | SE | CAIML seminar | 1.0 | 1.5 | 2023W | Palmetshofer, Walter
|
| 181.200 | SE | Communication and rhetoric | 2.0 | 3.0 | 2023W | Pichlmair, Markus
|
| 181.204 | SE | Communication and rhetoric 2 | 2.0 | 2.0 | 2023W | Pichlmair, Markus
|
| 181.142 | VU | Complexity theory | 2.0 | 3.0 | 2023W | Pichler, Reinhard
|
| 192.065 | VU | Cryptocurrencies | 4.0 | 6.0 | 2023W | Maffei, Matteo
|
| 181.140 | VU | Database Theory | 2.0 | 3.0 | 2023W | Pichler, Reinhard
|
| 192.067 | VO | Deductive Databases | 2.0 | 3.0 | 2023W | Simkus, Mantas
|
| 184.772 | VU | Description Logics and Ontologies | 2.0 | 3.0 | 2023W | Ortiz de la Fuente, Maria Magdalena
|
| 181.223 | SE | Doctoral & Master Students Seminar | 2.0 | 2.0 | 2023W | Gottlob, Georg
|
| 181.224 | SE | Doctoral & Master Students Seminar | 2.0 | 2.0 | 2023W | Kovacs, Laura
|
| 192.135 | VU | Fixed-Parameter Algorithms and Complexity | 3.0 | 4.5 | 2023W | Ganian, Robert
|
| 185.291 | VU | Formal Methods in Computer Science | 4.0 | 6.0 | 2023W | Egly, Uwe
|
| 185.A93 | UE | Formal Methods in Computer Science | 2.0 | 3.0 | 2023W | Woltran, Stefan
|
| 192.104 | VU | Foundations of Information Systems | 2.0 | 3.0 | 2023W | Skritek, Sebastian
|
| 185.A07 | VO | Fundamentals of Computer Science for Geodesy and Geomatics Engineering | 2.0 | 2.5 | 2023W | Oswald, Marion
|
| 192.103 | VU | Fundamentals of Data Analysis and Visualization | 2.0 | 3.0 | 2023W | Dvorak, Wolfgang
|
| 192.134 | VU | Fundamentals of Digital Systems | 4.0 | 6.0 | 2023W | Dvorak, Wolfgang
|
| 192.137 | VU | Heuristic Optimization Techniques | 3.0 | 4.5 | 2023W | Raidl, Günther
|
| 184.266 | VO | History of Logic | 2.0 | 3.0 | 2023W | Tompits, Hans
|
| 192.055 | PR | IT Projects for Youth | 2.0 | 3.0 | 2023W | Pichler, Reinhard
|
| 192.058 | UE | IT Projects for Youth | 1.0 | 1.5 | 2023W | Musliu, Nysret
|
| 185.329 | VO | Introducrtion to Clinics | 2.0 | 3.0 | 2023W | Schneeweiß, Bruno
|
| 192.125 | VU | Introduction to Cryptography | 4.0 | 6.0 | 2023W | Fuchsbauer, Georg
|
| 192.023 | VU | Introduction to Knowledge-based Systems | 4.0 | 6.0 | 2023W | Egly, Uwe
|
| 184.766 | VO | Introduction to Logical Methods in Computer Science | 2.0 | 3.0 | 2023W | Eiter, Thomas
|
| 192.052 | VU | Canceled Introduction to Natural Language Processing | 2.0 | 3.0 | 2023W | Lukasiewicz, Thomas
|
| 185.A91 | VU | Introduction to Programming 1 | 4.0 | 5.5 | 2023W | Podlipnig, Stefan
|
| 184.791 | UE | Introduction to the Fundamentals of Programming for Students and Refugees | 6.0 | 6.0 | 2023W | Pichler, Reinhard
|
| 185.A45 | VU | Logic and Computability | 4.0 | 6.0 | 2023W | Ciabattoni, Agata
|
| 192.025 | VU | Logic for Knowledge Representation | 4.0 | 6.0 | 2023W | Tompits, Hans
|
| 184.702 | VU | Machine Learning | 3.0 | 4.5 | 2023W | Musliu, Nysret
|
| 185.A62 | VU | Presentation and Moderation | 2.0 | 3.0 | 2023W | Freund, Rudolf
|
| 192.030 | VU | Probabilistic Reasoning | 2.0 | 3.0 | 2023W | Lukasiewicz, Thomas
|
| 184.205 | VO | Processing of Declarative Knowledge | 2.0 | 3.0 | 2023W | Eiter, Thomas
|
| 184.703 | VU | Program Analysis | 2.0 | 3.0 | 2023W | Zuleger, Florian
|
| 192.105 | PR | Project in CS1: Team-Based Research in Algorithmics | 4.0 | 6.0 | 2023W | Chen, Jiehua
|
| 192.021 | PR | Project in Computer Science 1 | 4.0 | 6.0 | 2023W | Ciabattoni, Agata
|
| 192.022 | PR | Project in Computer Science 2 | 4.0 | 6.0 | 2023W | Ciabattoni, Agata
|
| 192.070 | VU | Quantum Computing | 2.0 | 3.0 | 2023W | Egly, Uwe
|
| 192.020 | VU | Randomized Algorithms | 2.0 | 3.0 | 2023W | Sorge, Manuel
|
| 192.094 | VO | Refutation Systems | 2.0 | 3.0 | 2023W | Tompits, Hans
|
| 184.767 | SE | Research Seminar LogiCS | 2.0 | 3.0 | 2023W | Szeider, Stefan
|
| 185.A39 | SE | Research Seminar for Master and PhD students | 2.0 | 3.0 | 2023W | Ciabattoni, Agata
|
| 184.778 | VU | Research and Career Planning for Doctoral Students | 2.0 | 3.0 | 2023W | Gottlob, Georg
|
| 186.842 | SE | Researchseminar for PhD candidates | 2.0 | 3.0 | 2023W | Raidl, Günther
|
| 181.201 | SE | Seminar Database Systems | 2.0 | 3.0 | 2023W | Pichler, Reinhard
|
| 181.221 | SE | Seminar Formal Methods | 2.0 | 3.0 | 2023W | Kovacs, Laura
|
| 184.721 | SE | Seminar for PhD Students | 2.0 | 3.0 | 2023W | Egly, Uwe
|
| 192.060 | SE | Seminar for PhD Students | 2.0 | 3.0 | 2023W | Maffei, Matteo
|
| 186.199 | SE | Seminar for PhD candidates | 2.0 | 3.0 | 2023W | Raidl, Günther
|
| 186.862 | SE | Seminar in Algorithms Graphs and Geometry | 2.0 | 3.0 | 2023W | Nöllenburg, Martin
|
| 192.119 | SE | Seminar in Artificial Intelligence Algorithmic and Computational Decision Theory | 2.0 | 3.0 | 2023W | Chen, Jiehua
|
| 192.024 | SE | Seminar in Artificial Intelligence: Machine Learning | 2.0 | 3.0 | 2023W | Lukasiewicz, Thomas
|
| 184.712 | SE | Seminar in Knowledge Representation and Reasoning | 2.0 | 3.0 | 2023W | Egly, Uwe
|
| 184.264 | SE | Seminar in Logic | 2.0 | 3.0 | 2023W | Egly, Uwe
|
| 192.132 | SE | Seminar in Logic | 2.0 | 3.0 | 2023W | Leitsch, Alexander
|
| 192.128 | SE | Seminar in Security (Smart Contracts) | 2.0 | 3.0 | 2023W | Salzer, Gernot
|
| 192.127 | SE | Seminar in Software Engineering (Smart Contracts) | 2.0 | 3.0 | 2023W | Salzer, Gernot
|
| 184.067 | SE | Seminar in Theoretical Computer Science | 2.0 | 3.0 | 2023W | Egly, Uwe
|
| 192.064 | SE | Seminar in Theoretical Computer Science | 2.0 | 3.0 | 2023W | Hose, Katja
|
| 186.182 | SE | Seminar on Algorithms | 2.0 | 3.0 | 2023W | Dreier, Jan Niclas
|
| 181.208 | VU | Softskills for technicians | 2.0 | 3.0 | 2023W | Pichlmair, Markus
|
| 192.017 | VU | Theoretical Computer Science | 4.0 | 6.0 | 2023W | Fermüller, Christian
|
| 184.186 | VU | Theory of Knowledge Representation | 2.0 | 3.0 | 2023W | Eiter, Thomas
|