TU Wien Nav:Logic and Computation

↑ Informatik

Institut

ID	E192
Links	, TISS

Forschungsbereiche

Nummer	Name	Homepage
/5	Theory and Logic	https://www.logic.at/
E192/1	Algorithms and Complexity	https://www.ac.tuwien.ac.at/
E192/2	Databases and Artificial Intelligence	https://www.dbai.tuwien.ac.at/
E192/3	Knowledge Based Systems	http://www.kr.tuwien.ac.at/
E192/4	Formal Methods in Systems Engineering	https://forsyte.at/
E192/6	Security and Privacy	https://secpriv.tuwien.ac.at

LVAs

• Abstract Argumentation VU (Egly)
• Advanced Cryptography VU (Fuchsbauer)
• Algorithmic Social Choice VU (Chen)
• Anatomie und Histologie VO (Felsenreich)
• Attacks and Defenses in Computer Security UE (Squarcina)
• Complexity Analysis VU (Eiter)
• Datenmodellierung VU (Skritek)
• Deductive Databases VO (Simkus)
• Description Logics and Ontologies VU (Ortiz de la Fuente)
• Einführung in Theoretische Informatik und Logik VU (Freund)
• Einführung in die Programmierung 1 VU (Podlipnig)
• Formal Language Theory VU (Freund)
• Formal Methods for Security and Privacy VU (Maffei)
• Formale Methoden der Informatik VU (Egly)
• Formale Modellierung VU (Salzer)
• Graph Drawing Algorithms VU (Nöllenburg)
• Grundlagen der Klinischen Medizin VO (Freund)
• Grundlagen der Programmierung und Algorithmik VU (Podlipnig)
• Introduction to Security UE (Maffei)
• Introduction to Security VU (Maffei)
• Kommunikation und Rhetorik 2 SE (Pichlmair, Riedler)
• Komplexitätstheorie VU (Pichler)
• Lambda Calculus VO (Ciabattoni)
• Lernergebnisorientierte Beschreibungen von Lehrveranstaltungen SE (Freund)
• Mathematical Programming VU (Ruthmair)
• Membrane Computing VU (Rudolf Freund)
• Modeling and Solving Constrained Optimization Problems VU (Di Gaspero)
• Molecular Computing VU (Freund)
• Networks: Design and Analysis VU (Sinnl)
• Non-classical Logics VU (Fermüller)
• Optimization in Transport and Logistics VU (Hiermann, Ritzinger)
• Physiologie und Grundlagen der Pathologie VO (Sedivy)
• Practical Applications of Answer Set Programming VU (Weinzierl)
• Privacy Enhancing Cryptography VU (Moreno Sanchez)
• Proof Systems in Modal Logic VU (Tompits)
• Rechtliche Grundlagen der medizinischen Versorgung VO (Vock)
• Refutation Systems VO (Tompits)
• Semantic Web Technologies VU (Ortiz de la Fuente)
• Seminar Formale Methoden SE (diverse)
• Seminar aus Security (Kryptowährungen) SE (di Angelo)
• Seminar aus Security (Systems) SE (Weippl)
• Smart Contracts VU (Salzer, Di Angelo)
• Softskills für TechnikerInnen VU (Pichlmair)
• Structural Decompositions and Algorithms VU (Slivovsky)
• Systems and Applications Security VU (Lindorfer)
• Technische Grundlagen der Informatik für Wirtschaftsinformatik VU (Podlipnig, Stefan)
• Theory of Knowledge Representation VU (Eiter)

Ehemalige LVAs