Lectures

Course search (2021W/2022S)
  1. Extended Search
NumberTypeTitleHoursCreditsSemesterLecturer
184.780VUAdvanced Database Systems4.06.02022SPichler, Reinhard
192.118VUAlgorithmic Social Choice4.06.02022SChen, Jiehua
186.866VUAlgorithms and Data Structures5.58.02022SSzeider, Stefan
186.181VUAlgorithms in Graph Theory2.03.02022SNöllenburg, Martin
184.765VUArgumentation and Proof4.06.02022SEgly, Uwe
184.068SEArtificial Intelligence Seminar2.03.02022SEgly, Uwe
184.774VUAutomated Deduction4.06.02022SKovacs, Laura
184.691PRBachelor Thesis5.010.02022SWoltran, Stefan
192.061PRBachelor Thesis5.010.02022SMaffei, Matteo
184.695PRBachelor Thesis5.010.02022SKovacs, Laura
184.713PRBachelor Thesis for Computer Science and Business Informatics5.010.02022SEgly, Uwe
185.A26PRBachelor Thesis for Informatics and Business Informatics5.010.02022SCiabattoni, Agata
186.819PRBachelor Thesis in Computer Science5.010.02022SRaidl, Günther
185.A47VOBasics of physiology and pathology3.04.52022SBinder, Nicolas
185.334VOClinics2.03.02022SSchneeweiß, Bruno
181.200SECommunication and rhetoric2.03.02022SPichlmair, Markus
184.215VUComplexity Analysis2.03.02022SEiter, Thomas
185.203VUComputability Theory2.03.02022SFokina, Ekaterina
192.080VUCrypto Asset Analytics2.03.02022SMaffei, Matteo
184.700VOCanceled Declarative Problem Solving2.03.02022SEgly, Uwe
192.130VUDeontic Logic for Normative Reasoning2.03.02022SCiabattoni, Agata
181.223SEDoctoral & Master Students Seminar2.02.02022SPichler, Reinhard
181.224SEDoctoral & Master Students Seminar2.02.02022SWeissenbacher, Georg
192.059VUFormal Methods for Security and Privacy4.06.02022SMaffei, Matteo
185.291VUFormal Methods in Computer Science4.06.02022SEgly, Uwe
185.A06VUFormal Modelling2.03.02022SSalzer, Gernot
192.121VUFoundations of Computer and Communication Systems2.03.02022SDvorak, Wolfgang
185.A74VUFundamentals of Computer Engineering for Business Informatics2.03.02022SKogler, Jürgen
192.097VUFundamentals of programming and algorithms4.05.02022SRiener, Martin
192.053VUGraph Drawing Algorithms2.03.02022SNöllenburg, Martin
184.266VOHistory of Logic2.03.02022STompits, Hans
192.055PRIT Projects for Youth2.03.02022SPichler, Reinhard
192.058UEIT Projects for Youth1.01.52022SMusliu, Nysret
184.735VUIntroduction to Artificial Intelligence2.03.02022SEiter, Thomas
184.766VOIntroduction to Logical Methods in Computer Science2.03.02022SWoltran, Stefan
185.A91VUIntroduction to Programming 14.05.52022SPodlipnig, Stefan
184.783VUIntroduction to Security2.03.02022SMaffei, Matteo
192.082UEIntroduction to Security2.03.02022SSquarcina, Marco
192.071VUIntroduction to Theoretical Computer Science and Logics2.03.02022SFreund, Rudolf
184.791UEIntroduction to the Fundamentals of Programming for Students and Refugees6.06.02022SPichler, Reinhard
192.116VUKnowledge Graphs2.03.02022SSallinger, Emanuel
184.730VUKnowledge-based Systems4.06.02022SEgly, Uwe
185.A57VOLegal Basics of Medical Health Care2.03.02022SVock, Lorenz
181.206SELogic seminar2.03.02022SHecher, Markus
184.702VUMachine Learning3.04.52022SMusliu, Nysret
186.835VUMathematical Programming2.03.02022SRuthmair, Mario
186.860VUMetaheuristics and Hybrid Methods for Combinatorial Optimization2.54.02022SRaidl, Günther
186.861VUModeling and Solving Constrained Optimization Problems2.03.02022SDi Gaspero, Luca
185.326VUMolecular Computing2.03.02022SFreund, Rudolf
192.085VUNon-classical Logics2.03.02022SFermüller, Christian
192.084VUPractical Applications of Answer Set Programming2.03.02022SWeinzierl, Antonius
192.100SEPrivatissimum on Didactics of Informatics4.04.02022SFreund, Rudolf
181.190VUProblem Solving and Search in Artificial Intelligence2.03.02022SMusliu, Nysret
184.741VUProgram and System Verification4.56.02022SWeissenbacher, Georg
184.718PRProject in Computer Science 14.06.02022SEgly, Uwe
185.A36PRProject in Computer Science 14.06.02022SCiabattoni, Agata
192.075PRProject in Computer Science 14.06.02022SMaffei, Matteo
184.688PRProject in Computer Science 14.06.02022SWoltran, Stefan
184.692PRProject in Computer Science 14.06.02022SZuleger, Florian
186.820PRProject in Computer Science 14.06.02022SSzeider, Stefan
184.719PRProject in Computer Science 24.06.02022SEgly, Uwe
185.A37PRProject in Computer Science 24.06.02022SCiabattoni, Agata
192.076PRProject in Computer Science 24.06.02022SMaffei, Matteo
184.689PRProject in Computer Science 24.06.02022SWoltran, Stefan
184.693PRProject in Computer Science 24.06.02022SKovacs, Laura
186.821PRProject in Computer Science 24.06.02022SRaidl, Günther
184.767SEResearch Seminar LogiCS2.03.02022SSzeider, Stefan
185.A39SEResearch Seminar for Master and PhD students2.03.02022SCiabattoni, Agata
186.842SEResearchseminar for PhD candidates2.03.02022SRaidl, Günther
184.090VUSAT Solving2.03.02022SEgly, Uwe
184.749VUSemantics of Programming Languages3.04.52022SZuleger, Florian
181.201SESeminar Database Systems2.03.02022SPichler, Reinhard
181.221SESeminar Formal Methods2.03.02022SWeissenbacher, Georg
184.721SESeminar for PhD Students2.03.02022SEgly, Uwe
192.060SESeminar for PhD Students2.03.02022SMaffei, Matteo
186.199SESeminar for PhD candidates2.03.02022SRaidl, Günther
192.119SESeminar in Artificial Intelligence Algorithmic and Computational Decision Theory2.03.02022SChen, Jiehua
184.687SESeminar in Complexity Theory2.03.02022SPichler, Reinhard
184.712SESeminar in Knowledge Representation and Reasoning2.03.02022SEgly, Uwe
184.264SESeminar in Logic2.03.02022SEgly, Uwe
185.316SESeminar in Logic2.03.02022SFermüller, Christian
184.067SESeminar in Theoretical Computer Science2.03.02022SEgly, Uwe
181.034SESeminar of Artificial Intelligence2.03.02022SPichler, Reinhard
186.182SESeminar on Algorithms2.03.02022SRaidl, Günther
184.705VUSemistructured Data2.03.02022SSimkus, Mantas
192.078VUSmart Contracts4.06.02022Sdi Angelo, Monika
181.208VUSoftskills for technicians2.03.02022SPichlmair, Markus
186.856VUStructural Decompositions and Algorithms2.03.02022SSlivovsky, Friedrich
184.682VUAbstract Argumentation3.04.52021WEgly, Uwe
186.122VUAlgorithmic Geometry2.03.02021WNöllenburg, Martin
192.122VUAlgorithmic Meta-Theorems2.03.02021WSzeider, Stefan
186.814VUAlgorithmics4.06.02021WSzeider, Stefan
185.330VOAnatomy and Histology3.04.52021WHofmann, Michael
186.102VUApproximation Algorithms2.03.02021WKellerer, Hans
184.068SEArtificial Intelligence Seminar2.03.02021WEgly, Uwe
192.111UEAttacks and Defenses in Computer Security4.06.02021WSquarcina, Marco
184.691PRBachelor Thesis5.010.02021WPichler, Reinhard
184.695PRBachelor Thesis5.010.02021WZuleger, Florian
192.061PRBachelor Thesis5.010.02021WMaffei, Matteo
184.713PRBachelor Thesis for Computer Science and Business Informatics5.010.02021WEgly, Uwe
185.A26PRBachelor Thesis for Informatics and Business Informatics5.010.02021WCiabattoni, Agata
186.819PRBachelor Thesis in Computer Science5.010.02021WRaidl, Günther
181.200SECommunication and rhetoric2.03.02021WPichlmair, Markus
181.204SECommunication and rhetoric 22.03.02021WPichlmair, Markus
181.142VUComplexity theory2.03.02021WPichler, Reinhard
192.065VUCryptocurrencies4.06.02021WMaffei, Matteo
184.686VUData Base Systems4.06.02021WFichte, Johannes Klaus
184.685VUData Modelling2.03.02021WFichte, Johannes Klaus
184.790VUData Modelling 22.03.02021WFichte, Johannes Klaus
181.140VUDatabase Theory2.03.02021WPichler, Reinhard
192.067VODeductive Databases2.03.02021WSimkus, Mantas
181.223SEDoctoral & Master Students Seminar2.02.02021WGottlob, Georg
181.224SEDoctoral & Master Students Seminar2.02.02021WKovacs, Laura
186.855VUFixed-Parameter Algorithms and Complexity2.03.02021WGanian, Robert
185.A42VUFormal Language Theory2.03.02021WFreund, Rudolf
185.291VUFormal Methods in Computer Science4.06.02021WEgly, Uwe
185.A93UEFormal Methods in Computer Science2.03.02021WWoltran, Stefan
192.104VUFoundations of Information Systems2.03.02021WSkritek, Sebastian
185.A07VOFundamentals of Computer Science for Geodesy and Geomatics Engineering2.02.52021WOswald, Marion
192.103VUFundamentals of Data Analysis and Visualization2.03.02021WDvorak, Wolfgang
186.112VUHeuristic Optimization Techniques2.03.02021WRaidl, Günther
192.055PRIT Projects for Youth2.03.02021WPichler, Reinhard
192.058UEIT Projects for Youth1.01.52021WMusliu, Nysret
185.329VOIntroducrtion to Clinics2.03.02021WSchneeweiß, Bruno
192.125VUIntroduction to Cryptography4.06.02021WFuchsbauer, Georg
184.737VUIntroduction to Knowledge-based Systems3.05.02021WEgly, Uwe
184.766VOIntroduction to Logical Methods in Computer Science2.03.02021WEiter, Thomas
185.A91VUIntroduction to Programming 14.05.52021WPodlipnig, Stefan
184.791UEIntroduction to the Fundamentals of Programming for Students and Refugees6.06.02021WPichler, Reinhard
185.A45VULogic and Computability4.06.02021WCiabattoni, Agata
184.208VOLogic for Knowledge Representation2.03.02021WTompits, Hans
184.699UELogic for Knowledge Representation2.03.02021WTompits, Hans
184.702VUMachine Learning3.04.52021WMusliu, Nysret
185.A70VUMembrane Computing2.03.02021WFreund, Rudolf
186.860VUCanceled Metaheuristics and Hybrid Methods for Combinatorial Optimization2.54.02021WRaidl, Günther
184.188VUNonmonotonic Reasoning2.03.02021WTompits, Hans
185.A62VUPresentation and Moderation2.03.02021WFreund, Rudolf
184.205VOProcessing of Declarative Knowledge2.03.02021WEiter, Thomas
184.703VUProgram Analysis2.03.02021WZuleger, Florian
192.105PRProject in CS1: Team-Based Research in Algorithmics4.06.02021WChen, Jiehua
184.718PRProject in Computer Science 14.06.02021WEgly, Uwe
184.688PRProject in Computer Science 14.06.02021WGottlob, Georg
185.A36PRProject in Computer Science 14.06.02021WCiabattoni, Agata
186.820PRProject in Computer Science 14.06.02021WSzeider, Stefan
192.075PRProject in Computer Science 14.06.02021WMaffei, Matteo
184.692PRProject in Computer Science 14.06.02021WZuleger, Florian
184.719PRProject in Computer Science 24.06.02021WEgly, Uwe
184.689PRProject in Computer Science 24.06.02021WGottlob, Georg
185.A37PRProject in Computer Science 24.06.02021WCiabattoni, Agata
186.821PRProject in Computer Science 24.06.02021WRaidl, Günther
192.076PRProject in Computer Science 24.06.02021WMaffei, Matteo
184.693PRProject in Computer Science 24.06.02021WZuleger, Florian
186.852PRProject in Software Engineering & Internet Computing6.012.02021WRaidl, Günther
192.090PRProject in Visual Computing6.09.02021WNöllenburg, Martin
192.070VUQuantum Computing2.03.02021WEgly, Uwe
184.767SEResearch Seminar LogiCS2.03.02021WSzeider, Stefan
185.A39SEResearch Seminar for Master and PhD students2.03.02021WCiabattoni, Agata
184.778VUResearch and Career Planning for Doctoral Students2.03.02021WGottlob, Georg
186.842SEResearchseminar for PhD candidates2.03.02021WRaidl, Günther
184.729VUSemantic Technologies2.03.02021WOrtiz de la Fuente, Maria Magdalena
181.201SESeminar Database Systems2.03.02021WPichler, Reinhard
181.221SESeminar Formal Methods2.03.02021WZuleger, Florian
184.721SESeminar for PhD Students2.03.02021WEgly, Uwe
192.069SESeminar for PhD Students2.03.02021WMaffei, Matteo
186.199SESeminar for PhD candidates2.03.02021WRaidl, Günther
186.862SESeminar in Algorithms Graphs and Geometry2.03.02021WNöllenburg, Martin
184.712SESeminar in Knowledge Representation and Reasoning2.03.02021WEgly, Uwe
192.123SESeminar in Logic2.03.02021WLeitsch, Alexander
184.264SESeminar in Logic2.03.02021WEgly, Uwe
192.128SESeminar in Security (Smart Contracts)2.03.02021WSalzer, Gernot
192.127SESeminar in Software Engineering (Smart Contracts)2.03.02021WSalzer, Gernot
184.067SESeminar in Theoretical Computer Science2.03.02021WEgly, Uwe
192.064SESeminar in Theoretical Computer Science2.03.02021WFichte, Johannes Klaus
186.182SESeminar on Algorithms2.03.02021WSlivovsky, Friedrich
181.208VUSoftskills for technicians2.03.02021WPichlmair, Markus
192.106VUSoftware Model Checking4.06.02021WWeissenbacher, Georg
192.124VUSymmetric Cryptography4.06.02021WAndreeva, Elena
192.112VUSystems and Applications Security4.06.02021WLindorfer, Martina
185.278VUTheoretical Computer Science and Logics4.06.02021WFermüller, Christian
184.186VUTheory of Knowledge Representation2.03.02021WEiter, Thomas