Course list
Matching courses
T0 – General
| Code | Course | Lecturer | Sem. | Site |
|---|---|---|---|---|
| 03035 33035 |
Multimodal User Interfaces |
Denis Lalanne |
S2022 | Fribourg |
| 01892 | Seminar Law and Computer Science: Distributed Trust in Finance |
Christian Cachin Mirjam Eggen Christian Sillaber |
S2022 | Bern |
| 03018 | User Centered Design |
Denis Lalanne Dorit Silvie Horst |
A2021 | Fribourg |
T1 – Distributed Systems
T2 – Advanced Software Engineering
| Code | Course | Lecturer | Sem. | Site |
|---|---|---|---|---|
| 13000 23000 |
Advanced Software Engineering |
Jacques Pasquier-Rocha |
A2021 | Fribourg |
| 22027 62027 |
Concurrency: Multi-core Programming and Data Processing |
Pascal Felber |
S2022 | Neuchâtel |
| 21005 | Concurrency: State Models and Design Patterns |
Oscar Nierstrasz |
A2021 | Bern |
| 23891 53891 |
Emerging Technologies in Digitalisation |
Hans-Georg Fill |
S2022 | Fribourg |
| 21875 | Seminar Software Composition |
Oscar Nierstrasz |
A2021 | Bern |
| 21887 | Seminar Software Engineering |
Timo Kehrer |
S2022 | Bern |
T3 – Advanced Information Processing
T4 – Logic
| Code | Course | Lecturer | Sem. | Site |
|---|---|---|---|---|
| 43024 | Automata on Infinite Structures |
Ulrich Ultes-Nitsche |
A2021 | Fribourg |
| 11102 41102 |
Distributed Algorithms |
Christian Cachin |
S2022 | Bern |
| 43110 | Foundations and Tools for Processing Semi-structured Data |
Christine Vanoirbeek |
S2022 | Fribourg |
| 11109 41109 |
Privacy and Data Security |
Christian Cachin |
A2021 | Bern |
| 41862 | Seminar Advanced Algorithms |
Thomas Studer |
A2021 | Bern |
| 11867 41867 |
Seminar Cryptography and Data Security |
Christian Cachin |
A2021 | Bern |
| 11882 | Seminar Cryptography and Data Security |
Christian Cachin Duc Viet Le |
S2022 | Bern |
| 13869 43869 |
Seminar Foundations of Dependable Systems I |
Ulrich Ultes-Nitsche |
A2021 | Fribourg |
| 13884 43884 |
Seminar Foundations of Dependable Systems II |
Ulrich Ultes-Nitsche |
S2022 | Fribourg |
| 41873 | Seminar Logic and Theoretical Computer Science |
Thomas Studer |
A2021 | Bern |
| 41886 | Seminar Logic and Theoretical Computer Science |
Thomas Studer |
S2022 | Bern |
| 13081 43081 |
Verification of Cyber-physical Systems |
Ulrich Ultes-Nitsche |
S2022 | Fribourg |
T5 – Information Systems and Decision Support
| Code | Course | Lecturer | Sem. | Site |
|---|---|---|---|---|
| 53086 | Advanced Topics in Decision Support |
Bernard Ries |
S2022 | Fribourg |
| 52028 | Design of Governance in Socio-technical Information Systems |
Alain Sandoz |
S2022 | Neuchâtel |
| 53101 | Digitalization and Information Systems |
Hans-Georg Fill |
S2022 | Fribourg |
| 23891 53891 |
Emerging Technologies in Digitalisation |
Hans-Georg Fill |
S2022 | Fribourg |
| 53105 | Fuzzy Systems Engineering |
Edy Portmann |
A2021 | Fribourg |
| 53104 | Fuzzy Systems Modeling |
Edy Portmann |
S2022 | Fribourg |
| 53085 | Graph Theory and Applications |
David Schindl |
A2021 | Fribourg |
| 53084 63084 |
Introduction to Recommender Systems |
Luis Terán |
S2022 | Fribourg |
| 53881 63881 |
Seminar Computing with Words |
Edy Portmann |
S2022 | Fribourg |
| 53870 63870 |
Seminar Hands-On Recommender Systems |
Luis Terán |
A2021 | Fribourg |
| 53871 63871 |
Seminar Human Smart Cities |
Edy Portmann |
A2021 | Fribourg |