Lectures

Course search (2022W/2023S)
  1. Extended Search
NumberTypeTitleHoursCreditsSemesterLecturer
185.A26PRBachelor Thesis for Informatics and Business Informatics5.010.02023SCiabattoni, Agata
181.200SECommunication and rhetoric2.03.02023SPichlmair, Markus
192.130VUDeontic Logic for Normative Reasoning2.03.02023SCiabattoni, Agata
181.223SEDoctoral & Master Students Seminar2.02.02023SPichler, Reinhard
184.766VOIntroduction to Logical Methods in Computer Science2.03.02023SWoltran, Stefan
192.071VUIntroduction to Theoretical Computer Science and Logics2.03.02023SFreund, Rudolf
184.702VUMachine Learning3.04.52023SMusliu, Nysret
185.326VUMolecular Computing2.03.02023SFreund, Rudolf
192.100SEPrivatissimum on Didactics of Informatics4.04.02023SFreund, Rudolf
181.190VUProblem Solving and Search in Artificial Intelligence2.03.02023SMusliu, Nysret
185.A36PRProject in Computer Science 14.06.02023SCiabattoni, Agata
185.A37PRProject in Computer Science 24.06.02023SCiabattoni, Agata
184.767SEResearch Seminar LogiCS2.03.02023SSzeider, Stefan
185.A39SEResearch Seminar for Master and PhD students2.03.02023SCiabattoni, Agata
185.316SESeminar in Logic2.03.02023SFermüller, Christian
181.208VUSoftskills for technicians2.03.02023SPichlmair, Markus
184.682VUAbstract Argumentation3.04.52022WEgly, Uwe
192.133VUAlgorithmic Geometry3.04.52022WNöllenburg, Martin
192.122VUAlgorithmic Meta-Theorems2.03.02022WSzeider, Stefan
186.814VUAlgorithmics4.06.02022WSzeider, Stefan
185.330VOAnatomy and Histology3.04.52022WFreund, Rudolf
186.102VUCanceled Approximation Algorithms2.03.02022W
184.068SEArtificial Intelligence Seminar2.03.02022WEgly, Uwe
192.111UEAttacks and Defenses in Computer Security4.06.02022WSquarcina, Marco
184.691PRBachelor Thesis5.010.02022WGottlob, Georg
192.061PRBachelor Thesis5.010.02022WMaffei, Matteo
184.695PRBachelor Thesis5.010.02022WZuleger, Florian
184.713PRBachelor Thesis for Computer Science and Business Informatics5.010.02022WEgly, Uwe
185.A26PRBachelor Thesis for Informatics and Business Informatics5.010.02022WCiabattoni, Agata
186.819PRBachelor Thesis in Computer Science5.010.02022WRaidl, Günther
192.138SECAIML seminar1.01.52022WPalmetshofer, Walter
181.200SECommunication and rhetoric2.03.02022WPichlmair, Markus
181.204SECommunication and rhetoric 22.02.02022WPichlmair, Markus
181.142VUComplexity theory2.03.02022WPichler, Reinhard
181.145VUComputer Aided Verification2.03.02022WWeissenbacher, Georg
181.144UEComputer-Aided Verification2.03.02022WWeissenbacher, Georg
192.065VUCryptocurrencies4.06.02022WMaffei, Matteo
184.686VUData Base Systems4.06.02022WFichte, Johannes Klaus
184.685VUData Modelling2.03.02022WFichte, Johannes Klaus
181.140VUDatabase Theory2.03.02022WPichler, Reinhard
184.701UEDeclarative Problem Solving2.03.02022WEgly, Uwe
184.700VODeclarative Problem Solving2.03.02022WEgly, Uwe
181.223SEDoctoral & Master Students Seminar2.02.02022WGottlob, Georg
181.224SEDoctoral & Master Students Seminar2.02.02022WKovacs, Laura
192.135VUFixed-Parameter Algorithms and Complexity3.04.52022WGanian, Robert
185.A42VUFormal Language Theory2.03.02022WFreund, Rudolf
185.291VUFormal Methods in Computer Science4.06.02022WEgly, Uwe
185.A93UEFormal Methods in Computer Science2.03.02022WLackner, Martin
192.104VUFoundations of Information Systems2.03.02022WSkritek, Sebastian
192.136VUFrontiers of Algorithms and Complexity2.03.02022WGanian, Robert
185.A07VOFundamentals of Computer Science for Geodesy and Geomatics Engineering2.02.52022WOswald, Marion
192.103VUFundamentals of Data Analysis and Visualization2.03.02022WDvorak, Wolfgang
192.134VUFundamentals of Digital Systems4.06.02022WDvorak, Wolfgang
192.137VUHeuristic Optimization Techniques3.04.52022WRaidl, Günther
192.055PRIT Projects for Youth2.03.02022WPichler, Reinhard
192.058UEIT Projects for Youth1.01.52022WMusliu, Nysret
185.329VOIntroducrtion to Clinics2.03.02022WSchneeweiß, Bruno
192.125VUIntroduction to Cryptography4.06.02022WFuchsbauer, Georg
184.737VUIntroduction to Knowledge-based Systems3.05.02022WEgly, Uwe
184.766VOIntroduction to Logical Methods in Computer Science2.03.02022WEiter, Thomas
185.A91VUIntroduction to Programming 14.05.52022WPodlipnig, Stefan
184.791UEIntroduction to the Fundamentals of Programming for Students and Refugees6.06.02022WPichler, Reinhard
185.A45VULogic and Computability4.06.02022WCiabattoni, Agata
184.208VOLogic for Knowledge Representation2.03.02022WTompits, Hans
184.699UELogic for Knowledge Representation2.03.02022WTompits, Hans
184.702VUMachine Learning3.04.52022WMusliu, Nysret
185.A70VUMembrane Computing2.03.02022WFreund, Rudolf
185.A62VUPresentation and Moderation2.03.02022WFreund, Rudolf
184.205VOProcessing of Declarative Knowledge2.03.02022WEiter, Thomas
184.703VUProgram Analysis2.03.02022WZuleger, Florian
192.105PRProject in CS1: Team-Based Research in Algorithmics4.06.02022WChen, Jiehua
184.718PRProject in Computer Science 14.06.02022WEgly, Uwe
186.820PRProject in Computer Science 14.06.02022WSzeider, Stefan
185.A36PRProject in Computer Science 14.06.02022WCiabattoni, Agata
184.688PRProject in Computer Science 14.06.02022WGottlob, Georg
192.075PRProject in Computer Science 14.06.02022WMaffei, Matteo
184.692PRProject in Computer Science 14.06.02022WZuleger, Florian
184.719PRProject in Computer Science 24.06.02022WEgly, Uwe
186.821PRProject in Computer Science 24.06.02022WRaidl, Günther
185.A37PRProject in Computer Science 24.06.02022WCiabattoni, Agata
184.689PRProject in Computer Science 24.06.02022WGottlob, Georg
192.076PRProject in Computer Science 24.06.02022WMaffei, Matteo
184.693PRProject in Computer Science 24.06.02022WZuleger, Florian
186.852PRProject in Software Engineering & Internet Computing6.012.02022WRaidl, Günther
192.090PRProject in Visual Computing6.09.02022WNöllenburg, Martin
192.070VUQuantum Computing2.03.02022WEgly, Uwe
192.094VORefutation Systems2.03.02022WTompits, Hans
184.767SEResearch Seminar LogiCS2.03.02022WSzeider, Stefan
185.A39SEResearch Seminar for Master and PhD students2.03.02022WCiabattoni, Agata
184.778VUResearch and Career Planning for Doctoral Students2.03.02022WGottlob, Georg
186.842SEResearchseminar for PhD candidates2.03.02022WRaidl, Günther
181.201SESeminar Database Systems2.03.02022WPichler, Reinhard
181.221SESeminar Formal Methods2.03.02022WZuleger, Florian
184.721SESeminar for PhD Students2.03.02022WEgly, Uwe
192.060SESeminar for PhD Students2.03.02022WMaffei, Matteo
186.199SESeminar for PhD candidates2.03.02022WRaidl, Günther
186.862SESeminar in Algorithms Graphs and Geometry2.03.02022WNöllenburg, Martin
184.712SESeminar in Knowledge Representation and Reasoning2.03.02022WEgly, Uwe
184.264SESeminar in Logic2.03.02022WEgly, Uwe
192.132SESeminar in Logic2.03.02022WLeitsch, Alexander
184.067SESeminar in Theoretical Computer Science2.03.02022WEgly, Uwe
192.064SESeminar in Theoretical Computer Science2.03.02022WFichte, Johannes Klaus
186.182SESeminar on Algorithms2.03.02022WSlivovsky, Friedrich
181.208VUSoftskills for technicians2.03.02022WPichlmair, Markus
192.112VUSystems and Applications Security4.06.02022WLindorfer, Martina
185.278VUTheoretical Computer Science and Logics4.06.02022WFermüller, Christian
184.186VUTheory of Knowledge Representation2.03.02022WEiter, Thomas