Course list
Matching courses
T0 – General
| Code | Course | Lecturer | Sem. | Site |
|---|---|---|---|---|
| 03008 | Interdisciplinary Computing |
Michèle Courant |
A2020 | Fribourg |
| 03035 33035 |
Multimodal User Interfaces |
Denis Lalanne |
S2021 | Fribourg |
| 02810 | R&D Workshop |
Jacques Savoy Peter Kropf |
S2021 | Neuchâtel |
| 03805 | Seminar Interdisciplinary Issues in ICT |
Michèle Courant |
A2020 | Fribourg |
| 03820 | Seminar Interdisciplinary Issues in ICT |
Michèle Courant |
S2021 | Fribourg |
| 03018 | User Centered Design |
Agnes Lisowska Masson Denis Lalanne |
A2020 | Fribourg |
T1 – Distributed Systems
T2 – Advanced Software Engineering
| Code | Course | Lecturer | Sem. | Site |
|---|---|---|---|---|
| 13000 23000 |
Advanced Software Engineering |
Jacques Pasquier-Rocha |
A2020 | Fribourg |
| 22027 62027 |
Concurrency: Multi-core Programming and Data Processing |
Pascal Felber |
A2020 | Neuchâtel |
| 21048 | Programming Languages |
Oscar Nierstrasz |
S2021 | Bern |
| 21809 | Seminar Software Composition |
Oscar Nierstrasz |
A2020 | Bern |
| 21792 | Seminar Software Composition |
Oscar Nierstrasz |
S2021 | Bern |
| 21045 | Software Modeling and Analysis |
Oscar Nierstrasz |
A2020 | Bern |
T3 – Advanced Information Processing
T4 – Logic
| Code | Course | Lecturer | Sem. | Site |
|---|---|---|---|---|
| 43024 | Automata on Infinite Structures |
Ulrich Ultes-Nitsche |
A2020 | Fribourg |
| 41026 | Computational Complexity |
Thomas Strahm |
S2021 | Bern |
| 11106/41106 | Cryptographic Protocols |
Christian Cachin |
S2021 | Bern |
| 11100 41100 |
Cryptography |
Christian Cachin |
A2020 | Bern |
| 41055 | Justification Logic |
Thomas Studer |
A2020 | Bern |
| 11832/41832 | Seminar Cryptography and Data Security |
Christian Cachin Giorgia Marson |
A2020 | Bern |
| 13803 43803 |
Seminar Foundations of Dependable Systems I |
Ulrich Ultes-Nitsche |
A2020 | Fribourg |
| 13819 43819 |
Seminar Foundations of Dependable Systems II |
Ulrich Ultes-Nitsche |
S2021 | Fribourg |
| 41806 | Seminar Logic and Theoretical Computer Science |
George Metcalfe Thomas Strahm Thomas Studer |
A2020 | Bern |
| 41821 | Seminar Logic and Theoretical Computer Science |
Thomas Strahm Thomas Studer |
S2021 | Bern |
| 13081 43081 |
Verification of Cyber-physical Systems |
Ulrich Ultes-Nitsche |
S2021 | Fribourg |
T5 – Information Systems and Decision Support
| Code | Course | Lecturer | Sem. | Site |
|---|---|---|---|---|
| 53086 | Advanced Topics in Decision Support |
Bernard Ries |
S2021 | Fribourg |
| 52028 | EGovernment Frameworks |
Alain Sandoz |
S2021 | Neuchâtel |
| 53105 | Fuzzy Systems Engineering |
Edy Portmann |
A2020 | Fribourg |
| 53104 | Fuzzy Systems Modeling |
Edy Portmann |
S2021 | Fribourg |
| 53085 | Graph Theory and Applications |
David Schindl |
A2020 | Fribourg |
| 53073 | Integer Programming |
Reinhard Bürgy |
S2021 | Fribourg |
| 53084 63084 |
Introduction to Recommender Systems |
Edy Portmann Luis Terán |
S2021 | Fribourg |
| 53098 | Metamodeling |
Hans-Georg Fill |
S2021 | Fribourg |
| 53038 | Quantitative Pricing and Revenue Optimization |
Reinhard Bürgy |
A2020 | Fribourg |
| 53817 63817 |
Seminar Computing with Words |
Edy Portmann |
S2021 | Fribourg |
| 53835/63835 | Seminar Hands-On Recommender Systems |
Edy Portmann Luis Terán |
A2020 | Fribourg |
| 53804 63804 |
Seminar Human Smart Cities |
Edy Portmann |
A2020 | Fribourg |