Courses

T0: General
03008 Interdisciplinary Computing Michèle Courant F
03018 User Centered Design F
T1: Distributed Systems
13000
23000
Advanced Software Engineering Jacques Pasquier-Rocha F
12007 Distributed Systems Valerio Schiavoni N
11043 Internet of Things Torsten Braun B
12016 Security Hervé Sanglard N
13081
43081
Verification of Cyber-physical Systems Ulrich Ultes-Nitsche F
16020
26020
Web Engineering F
T2: Advanced Software Engineering
13000
23000
Advanced Software Engineering Jacques Pasquier-Rocha F
21005 Concurrency: State Models and Design Patterns B
16020
26020
Web Engineering F
T3: Advanced Information Processing
33065 Applications of Artificial Intelligence Marcus Liwicki F
31062 Computer Vision Paolo Favaro B
32032
62032
Machine Learning and Data Mining Jacques Savoy N
32010 Natural Language Processing Jacques Savoy N
31094
61094
Structural Pattern Recognition Kaspar Riesen B
33092
63092
Very Deep Learning - Recent Methods and Technologies Marcus Liwicki F
T4: Logic
41095
61095
Description Logic Thomas Studer B
42014 Probabilistic Algorithms Ionel Paul Cotofrei N
13081
43081
Verification of Cyber-physical Systems Ulrich Ultes-Nitsche F
41087 Working Group Operations, Sets, and Types Gerhard Jäger B
T5: Information Systems and Decision Support
53073 Best Practice in Mathematical Modelling Tony Hürlimann F
53085 Graph Theory and Applications Bernard Ries F
T6: Data Science
63021 Big Data Infrastructures Philippe Cudré-Mauroux F
41095
61095
Description Logic Thomas Studer B
32032
62032
Machine Learning and Data Mining Jacques Savoy N
31094
61094
Structural Pattern Recognition Kaspar Riesen B
33092
63092
Very Deep Learning - Recent Methods and Technologies Marcus Liwicki F