FS - Master en informatique 2015-2016
Cours
Enseignants
Automne
Printemps
Automne
Printemps
Examen
Crédits
Bloc général plan libre
TOTAL
90
Master of Science in Computer Science
TOTAL
90
Teaching Units
TOTAL
60
General
TOTAL
Interdisciplinary Computing
M. Courant
2ph+1ph
2ph+1ph
oral
5
User Centered Design (University of Fribourg)
D. Lalanne
2ph+1ph
2ph+1ph
écrit
5
Future User Interfaces (FUI): multimodal, plastic and natural
D. Lalanne
2ph+1ph
2ph+1ph
écrit
5
Parallel Architectures
E. Sanchez
2ph+1ph
2ph+1ph
écrit
5
R&D Workshop
P. KROPF
H. MERCIER
J. SAVOY
4ph
4ph
controle continu
10
Seminar Interaction Design
A. Lisowska Masson
2ph
2ph
controle continu
5
Seminar Serious Game and Gamification for E-Health and E-Learning Applications
O. Abou Khaled
E. Mugellini
1pg
1pg
controle continu
5
Distributed Systems
TOTAL
Mobile Communications
T. Braun
2ph+1ph
2ph+1ph
écrit
5
Sensor Networks and Internet of Things
T. Braun
2ph+1ph
2ph+1ph
écrit
5
Distributed Systems
M. PASIN
2ph+2ph
2ph+2ph
écrit
5
Security
H. SANGLARD
2ph+2ph
2ph+2ph
oral
5
Concurrency: Foundations and Algorithms
P. FELBER
2ph+2ph
2ph+2ph
écrit
5
Large-scale Distributed Systems
E. RIVIERE
2ph+2ph
2ph+2ph
écrit
5
Cloud Computing
E. RIVIERE
2ph+2ph
2ph+2ph
écrit
5
Advanced Software Engineering (University of Fribourg)
J. Vogel
2ph+1ph
2ph+1ph
oral
5
Verification of Cyber-physical Systems
U. Ultes-Nitsche
2ph+1ph
2ph+1ph
oral
5
Web Engineering
O. Abou Khaled
P. FELBER
E. Mugellini
2ph+1ph
2ph+1ph
oral
5
Scientific Reading in Computer Networks
T. Braun
1pg
1pg
controle continu
5
Scientific Writing in Computer Networks
T. Braun
1pg
1pg
controle continu
5
Seminar Communication and Distributed Systems
T. Braun
2ph
2ph
controle continu
5
Scientific Reading in Computer Networks
T. Braun
1pg
1pg
controle continu
5
Scientific Writing in Computer Networks
T. Braun
1pg
1pg
controle continu
5
Seminar Communication and Distributed Systems
T. Braun
2ph
2ph
controle continu
5
Seminar Foundations of Dependable Systems I
U. Ultes-Nitsche
1pg
1pg
controle continu
5
Seminar Pervasive Artificial Intelligence
M. Courant
B. Hirsbrunner
1pg
1pg
controle continu
5
Seminar Foundations of Dependable Systems II
U. Ultes-Nitsche
1pg
1pg
controle continu
5
Seminar Pervasive Artificial Intelligence
M. Courant
1pg
1pg
controle continu
5
Advanced Software Engineering
TOTAL
Concurrency: State Models and Design Patterns
O. Nierstrasz
2ph+1ph
2ph+1ph
écrit
5
Programming Languages
O. Nierstrasz
2ph+1ph
2ph+1ph
écrit
5
Seminar Software Composition
O. Nierstrasz
2ph
2ph
controle continu
5
Seminar Software Composition
O. Nierstrasz
2ph
2ph
controle continu
5
Advanced Information Processing
TOTAL
Rendering Algorithms (University of Bern)
M. Zwicker
2ph+1ph
2ph+1ph
écrit
5
Computer Vision
P. Favaro
2ph+1ph
2ph+1ph
écrit
5
3D Geometry Processing
M. Zwicker
2ph+1ph
2ph+1ph
écrit
5
Machine learning and data mining
J. SAVOY
2ph+2ph
2ph+2ph
écrit
5
Statistical Learning Methods
J. SAVOY
2ph+2ph
2ph+2ph
écrit
5
Design and Graphics Programming for Game Development (University of Fribourg)
M. Rigamonti
2ph+1ph
2ph+1ph
oral
5
Applications of Artificial Intelligence
M. Eichenberger-Liwicki
2ph+1ph
2ph+1ph
oral
5
Pattern Recognition
A. Fischer
2ph+1ph
2ph+1ph
écrit
5
Seminar Computer Graphics
M. Zwicker
2ph
2ph
controle continu
5
Seminar Computer Vision
P. Favaro
2ph
2ph
controle continu
5
Seminar Computer Graphics
M. Zwicker
2ph
2ph
controle continu
5
Seminar Natural Language Processing
J. SAVOY
2ph
2ph
controle continu
5
Seminar Data Visualization
D. Lalanne
1pg
1pg
controle continu
5
Seminar Pattern Recognition and Machine Learning for Human Activity
O. Abou Khaled
E. Mugellini
1pg
1pg
controle continu
5
Seminar Scientific Communication in Document Image Analysis: Reading, Writing, and Presentation Skills
M. Eichenberger-Liwicki
1pg
1pg
controle continu
5
Seminar Human Building Interaction
D. Lalanne
1pg
1pg
controle continu
5
Logic
TOTAL
Proof Theory
G. Jäger
2ph+1ph
2ph+1ph
oral
5
Modal Logic
T. Studer
2ph+1ph
2ph+1ph
oral
5
Probabilistic Algorithms (6 ECTS)
I. COTOFREI
4ph
4ph
écrit
5
Automata on Infinite Structures
U. Ultes-Nitsche
2ph+1ph
2ph+1ph
oral
5
Seminar Algebra and Logic
G. Jäger
G. Metcalfe
2ph
2ph
controle continu
5
Seminar Logic and Theoretical Computer Science
G. Jäger
T. Strahm
2ph
2ph
controle continu