| Vst.-Nr. |
Veranstaltung |
Vst.-Art |
Aktion |
|
113561
|
Web Service Search and Composition
-
Klusch
,
Nonnengart
|
Seminar
|
|
|
113568
|
Hyperproperties
-
Finkbeiner
|
Seminar
|
|
|
113619
|
Data Privacy
-
Zhang
|
Seminar
|
|
|
113620
|
Hands-on Protocol Verification
-
Künnemann
|
Seminar
|
|
|
113621
|
Selected Topics in Formal Methods for Security
-
Jacobs
|
Seminar
|
|
|
113622
|
Joint Advances in Web Security
-
Stock
|
Seminar
|
|
|
113623
|
Usable Security
-
Krombholz
|
Seminar
|
|
|
113647
|
Probabilistic Models of Concurrency
-
Hermanns
,
Wolf
|
Seminar
|
|
|
113648
|
Advanced Topics in Knowledge Bases
-
Razniewski
|
Seminar
|
|
|
113649
|
Sensing Virtual Reality: Practical Seminar on Dynamic Passive Haptics
-
Daiber
,
Kosmalla
,
Degraen
,
Zenner
|
Seminar
|
|
|
113658
|
Computational Fabrication
-
Seidel
,
Babaei
|
Seminar
|
|
|
114043
|
Reading Group in Algorithms
-
Mehlhorn
,
Vaz
|
Seminar
|
|
|
114044
|
Hardware Design
-
Reineke
,
Hahn
|
Seminar
|
|
|
114050
|
Inductive Logic Programming: a Symbolic Approach to Machine Learning
-
Tourret
|
Seminar
|
|
|
114073
|
Die elektronische Akte und der elektronische Rechtsverkehr - Technische und rechtliche Aspekte
-
Sorge
,
Krüger
|
Seminar
|
|
|
114120
|
Strafrechtliche Betrachtung von Cyberangriffen
-
Sorge
,
Krüger
,
Vogelgesang
|
Blockseminar
|
|
|
114178
|
Applied Deep Learning in the Automotive Industry and Industry 4.0
-
Klusch
,
Feld
|
Seminar
|
|
|
114188
|
Machine Learning for Big Data Systems
-
Dittrich
|
Seminar
|
|
|
116098
|
Innovative Retail Technologies
-
Krüger
,
Lessel
,
Speicher
,
Kosmalla
|
Blockseminar
|
|
|
116468
|
Advanced Program Analysis
-
Darulova
|
Blockseminar
|
|
kurz
