On July 30th, 2024, due to an important database update, there will be service interruptions in the Student Self-Service and Workforce Management areas between 8 AM and 11 AM. Thank you for your understanding.

Lectures

Course search (2023W/2024S)
  1. Extended Search
NumberTypeTitleHoursCreditsSemesterLecturer
184.780VUAdvanced Database Systems4.06.02024SPichler, Reinhard
192.118VUAlgorithmic Social Choice4.06.02024SChen, Jiehua
186.866VUAlgorithms and Data Structures5.58.02024SSzeider, Stefan
192.032VUApplied Deep Learning2.03.02024SLukasiewicz, Thomas
184.765VUArgumentation and Proof4.06.02024SEgly, Uwe
184.068SEArtificial Intelligence Seminar2.03.02024SEgly, Uwe
184.691PRBachelor Thesis5.010.02024SGottlob, Georg
184.695PRBachelor Thesis5.010.02024SKovacs, Laura
192.061PRBachelor Thesis5.010.02024SMaffei, Matteo
184.713PRBachelor Thesis for Computer Science and Business Informatics5.010.02024SEgly, Uwe
185.A26PRBachelor Thesis for Informatics and Business Informatics5.010.02024SCiabattoni, Agata
186.819PRBachelor Thesis in Computer Science5.010.02024SRaidl, Günther
192.131SECAIML seminar1.01.52024SPalmetshofer, Walter
185.334VOClinics2.03.02024SSchneeweiß, Bruno
181.200SECommunication and rhetoric2.03.02024SPichlmair, Markus
184.215VUComplexity Analysis2.03.02024SEiter, Thomas
181.145VUComputer Aided Verification2.03.02024SCerny, Pavol
181.144UEComputer-Aided Verification2.03.02024SCerny, Pavol
192.080VUCrypto Asset Analytics2.03.02024SMaffei, Matteo
184.686VUData Base Systems4.06.02024SHose, Katja
192.039VUDeep Learning for Natural Language Processing4.06.02024SLukasiewicz, Thomas
192.130VUDeontic Logic for Normative Reasoning2.03.02024SCiabattoni, Agata
181.223SEDoctoral & Master Students Seminar2.02.02024SGottlob, Georg
181.224SEDoctoral & Master Students Seminar2.02.02024SWeissenbacher, Georg
192.026VUEfficient Algorithms4.06.02024SGanian, Robert
192.059VUFormal Methods for Security and Privacy4.06.02024SMaffei, Matteo
185.291VUCanceled Formal Methods in Computer Science4.06.02024SEgly, Uwe
185.A06VUFormal Modelling2.03.02024SSalzer, Gernot
192.121VUFoundations of Computer and Communication Systems2.03.02024SDvorak, Wolfgang
191.124VUFundamentals of Security and Privacy2.03.02024STempesta, Mauro
192.097VUFundamentals of programming and algorithms4.05.02024SRiener, Martin
192.141VUGraph Drawing Algorithms3.04.52024SNöllenburg, Martin
192.055PRIT Projects for Youth2.03.02024SPichler, Reinhard
192.058UEIT Projects for Youth1.01.52024SPichler, Reinhard
192.027VUIntroduction to Artificial Intelligence4.06.02024SEiter, Thomas
184.766VOIntroduction to Logical Methods in Computer Science2.03.02024SWoltran, Stefan
192.052VUCanceled Introduction to Natural Language Processing2.03.02024SLukasiewicz, Thomas
185.A91VUIntroduction to Programming 14.05.52024SPodlipnig, Stefan
192.036VUIntroduction to Quantum Computing4.56.02024SEgly, Uwe
192.019VUIntroduction to Security4.06.02024SMaffei, Matteo
192.071VUIntroduction to Theoretical Computer Science and Logics2.03.02024SFermüller, Christian
192.116VUKnowledge Graphs2.03.02024SSallinger, Emanuel
184.730VUKnowledge-based Systems4.06.02024SEgly, Uwe
192.033VULogic and Reasoning in Computer Science4.06.02024SKovacs, Laura
181.206SELogic seminar2.03.02024SDvorak, Wolfgang
184.702VUMachine Learning3.04.52024SMusliu, Nysret
186.835VUMathematical Programming2.03.02024SRaidl, Günther
186.861VUModeling and Solving Constrained Optimization Problems2.03.02024SDi Gaspero, Luca
192.085VUNon-classical Logics2.03.02024SFermüller, Christian
184.188VUNonmonotonic Reasoning2.03.02024STompits, Hans
186.190VUOptimization in Transport and Logistics2.03.02024SRaidl, Günther
184.768VUPreferences in Artificial Intelligence2.03.02024SWoltran, Stefan
192.030VUProbabilistic Reasoning2.03.02024SLukasiewicz, Thomas
181.190VUProblem Solving and Search in Artificial Intelligence2.03.02024SMusliu, Nysret
184.741VUProgram and System Verification4.06.02024SWeissenbacher, Georg
192.105PRProject in CS1: Team-Based Research in Algorithmics4.06.02024SChen, Jiehua
192.021PRProject in Computer Science 14.06.02024SCiabattoni, Agata
192.022PRProject in Computer Science 24.06.02024SCiabattoni, Agata
192.035PRProject in Computer Science 2 Trends in cloud computing4.06.02024SKovacs, Laura
184.767SEResearch Seminar LogiCS2.03.02024SSzeider, Stefan
185.A39SEResearch Seminar for Master and PhD students2.03.02024SCiabattoni, Agata
186.842SEResearchseminar for PhD candidates2.03.02024SRaidl, Günther
184.090VUSAT Solving2.03.02024SEgly, Uwe
184.729VUSemantic Technologies2.03.02024SOrtiz de la Fuente, Maria Magdalena
184.749VUSemantics of Programming Languages3.04.52024SZuleger, Florian
181.201SESeminar Database Systems2.03.02024SPichler, Reinhard
181.221SESeminar Formal Methods2.03.02024SWeissenbacher, Georg
184.721SESeminar for PhD Students2.03.02024SEgly, Uwe
192.031SESeminar for PhD Students2.03.02024SLukasiewicz, Thomas
192.060SESeminar for PhD Students2.03.02024SMaffei, Matteo
186.199SESeminar for PhD candidates2.03.02024SRaidl, Günther
192.037SESeminar in Artificial Intelligence : Neuroscience-based Artificial Intelligence2.03.02024SLukasiewicz, Thomas
192.024SESeminar in Artificial Intelligence: Neurosymbolic Artificial Intelligence2.03.02024SLukasiewicz, Thomas
184.687SESeminar in Complexity Theory2.03.02024SPichler, Reinhard
184.712SESeminar in Knowledge Representation and Reasoning2.03.02024SEgly, Uwe
184.264SESeminar in Logic2.03.02024SEgly, Uwe
185.316SESeminar in Logic2.03.02024SFermüller, Christian
184.067SESeminar in Theoretical Computer Science2.03.02024SEgly, Uwe
181.034SESeminar of Artificial Intelligence2.03.02024SDvorak, Wolfgang
186.182SESeminar on Algorithms2.03.02024SRaidl, Günther
184.705VUCanceled Semistructured Data2.03.02024SSimkus, Mantas
192.078VUSmart Contracts4.06.02024Sdi Angelo, Monika
181.208VUSoftskills for technicians2.03.02024SPichlmair, Markus
186.856VUStructural Decompositions and Algorithms2.03.02024SPeitl, Tomas
192.124VUSymmetric Cryptography4.06.02024SAndreeva, Elena
192.112VUSystem and Application Security4.06.02024SLindorfer, Martina
184.682VUAbstract Argumentation3.04.52023WEgly, Uwe
192.133VUAlgorithmic Geometry3.04.52023WNöllenburg, Martin
192.122VUAlgorithmic Meta-Theorems2.03.02023WDreier, Jan Niclas
186.814VUAlgorithmics4.06.02023WSzeider, Stefan
192.018VUAlgorithms in Graph Theory3.04.52023WChen, Jiehua
185.330VOAnatomy and Histology3.04.52023WDawoud, Christopher
186.102VUApproximation Algorithms2.03.02023WKellerer, Hans
184.068SEArtificial Intelligence Seminar2.03.02023WEgly, Uwe
192.111UEAttacks and Defenses in Computer Security4.06.02023WSquarcina, Marco
184.691PRBachelor Thesis5.010.02023WGottlob, Georg
192.061PRBachelor Thesis5.010.02023WMaffei, Matteo
184.695PRBachelor Thesis5.010.02023WZuleger, Florian
184.713PRBachelor Thesis for Computer Science and Business Informatics5.010.02023WEgly, Uwe
185.A26PRBachelor Thesis for Informatics and Business Informatics5.010.02023WCiabattoni, Agata
186.819PRBachelor Thesis in Computer Science5.010.02023WRaidl, Günther
192.138SECAIML seminar1.01.52023WPalmetshofer, Walter
181.200SECommunication and rhetoric2.03.02023WPichlmair, Markus
181.204SECommunication and rhetoric 22.02.02023WPichlmair, Markus
181.142VUComplexity theory2.03.02023WPichler, Reinhard
192.065VUCryptocurrencies4.06.02023WMaffei, Matteo
181.140VUDatabase Theory2.03.02023WPichler, Reinhard
192.067VODeductive Databases2.03.02023WSimkus, Mantas
184.772VUDescription Logics and Ontologies2.03.02023WOrtiz de la Fuente, Maria Magdalena
181.223SEDoctoral & Master Students Seminar2.02.02023WGottlob, Georg
181.224SEDoctoral & Master Students Seminar2.02.02023WKovacs, Laura
192.135VUFixed-Parameter Algorithms and Complexity3.04.52023WGanian, Robert
185.291VUFormal Methods in Computer Science4.06.02023WEgly, Uwe
185.A93UEFormal Methods in Computer Science2.03.02023WWoltran, Stefan
192.104VUFoundations of Information Systems2.03.02023WSkritek, Sebastian
185.A07VOFundamentals of Computer Science for Geodesy and Geomatics Engineering2.02.52023WOswald, Marion
192.103VUFundamentals of Data Analysis and Visualization2.03.02023WDvorak, Wolfgang
192.134VUFundamentals of Digital Systems4.06.02023WDvorak, Wolfgang
192.137VUHeuristic Optimization Techniques3.04.52023WRaidl, Günther
184.266VOHistory of Logic2.03.02023WTompits, Hans
192.055PRIT Projects for Youth2.03.02023WPichler, Reinhard
192.058UEIT Projects for Youth1.01.52023WMusliu, Nysret
185.329VOIntroducrtion to Clinics2.03.02023WSchneeweiß, Bruno
192.125VUIntroduction to Cryptography4.06.02023WFuchsbauer, Georg
192.023VUIntroduction to Knowledge-based Systems4.06.02023WEgly, Uwe
184.766VOIntroduction to Logical Methods in Computer Science2.03.02023WEiter, Thomas
192.052VUCanceled Introduction to Natural Language Processing2.03.02023WLukasiewicz, Thomas
185.A91VUIntroduction to Programming 14.05.52023WPodlipnig, Stefan
184.791UEIntroduction to the Fundamentals of Programming for Students and Refugees6.06.02023WPichler, Reinhard
185.A45VULogic and Computability4.06.02023WCiabattoni, Agata
192.025VULogic for Knowledge Representation4.06.02023WTompits, Hans
184.702VUMachine Learning3.04.52023WMusliu, Nysret
185.A62VUPresentation and Moderation2.03.02023WFreund, Rudolf
192.030VUProbabilistic Reasoning2.03.02023WLukasiewicz, Thomas
184.205VOProcessing of Declarative Knowledge2.03.02023WEiter, Thomas
184.703VUProgram Analysis2.03.02023WZuleger, Florian
192.105PRProject in CS1: Team-Based Research in Algorithmics4.06.02023WChen, Jiehua
192.021PRProject in Computer Science 14.06.02023WCiabattoni, Agata
192.022PRProject in Computer Science 24.06.02023WCiabattoni, Agata
192.070VUQuantum Computing2.03.02023WEgly, Uwe
192.020VURandomized Algorithms2.03.02023WSorge, Manuel
192.094VORefutation Systems2.03.02023WTompits, Hans
184.767SEResearch Seminar LogiCS2.03.02023WSzeider, Stefan
185.A39SEResearch Seminar for Master and PhD students2.03.02023WCiabattoni, Agata
184.778VUResearch and Career Planning for Doctoral Students2.03.02023WGottlob, Georg
186.842SEResearchseminar for PhD candidates2.03.02023WRaidl, Günther
181.201SESeminar Database Systems2.03.02023WPichler, Reinhard
181.221SESeminar Formal Methods2.03.02023WKovacs, Laura
184.721SESeminar for PhD Students2.03.02023WEgly, Uwe
192.060SESeminar for PhD Students2.03.02023WMaffei, Matteo
186.199SESeminar for PhD candidates2.03.02023WRaidl, Günther
186.862SESeminar in Algorithms Graphs and Geometry2.03.02023WNöllenburg, Martin
192.119SESeminar in Artificial Intelligence Algorithmic and Computational Decision Theory2.03.02023WChen, Jiehua
192.024SESeminar in Artificial Intelligence: Machine Learning2.03.02023WLukasiewicz, Thomas
184.712SESeminar in Knowledge Representation and Reasoning2.03.02023WEgly, Uwe
184.264SESeminar in Logic2.03.02023WEgly, Uwe
192.132SESeminar in Logic2.03.02023WLeitsch, Alexander
192.128SESeminar in Security (Smart Contracts)2.03.02023WSalzer, Gernot
192.127SESeminar in Software Engineering (Smart Contracts)2.03.02023WSalzer, Gernot
184.067SESeminar in Theoretical Computer Science2.03.02023WEgly, Uwe
192.064SESeminar in Theoretical Computer Science2.03.02023WHose, Katja
186.182SESeminar on Algorithms2.03.02023WDreier, Jan Niclas
181.208VUSoftskills for technicians2.03.02023WPichlmair, Markus
192.017VUTheoretical Computer Science4.06.02023WFermüller, Christian
184.186VUTheory of Knowledge Representation2.03.02023WEiter, Thomas