FS - Master en informatique 2016-2017

télécharger le plan en pdf
CoursEnseignantssemestre d'automneAutomnesemestre de printempsPrintempsExamenCrédits
   Master of Science in Computer ScienceTOTAL 90
      Teaching UnitsTOTAL 60
         GeneralTOTAL 
            Interdisciplinary ComputingM. Courant   2ph+1ph    oral  5   
            User Centered Design (University of Fribourg)D. Lalanne
A. Lisowska Masson   		2ph+1ph    écrit  5   
            Future User Interfaces (FUI): multimodal, plastic and naturalD. Lalanne     2ph+1ph  écrit  5   
            R&D WorkshopP. KROPF
H. MERCIER
J. SAVOY   		  4ph  controle continu  10   
            Seminar Interdisciplinary Issues in ICTM. Courant   1pg    controle continu  5   
            Seminar Interdisciplinary Issues in ICTM. Courant     1pg  controle continu  5   
         Distributed SystemsTOTAL 
            Advanced Networking and Future InternetT. Braun   2ph+1ph    écrit  5   
            Distributed SystemsP. KROPF   2ph+2ph    écrit  5   
            SecurityH. SANGLARD   2ph+2ph    oral  5   
            Concurrency: Multi-core Programming and Data ProcessingP. FELBER     2ph+2ph  écrit  5   
            Large-scale Distributed SystemsE. RIVIERE   2ph+2ph    écrit  5   
            Cloud ComputingE. RIVIERE     2ph+2ph  écrit  5   
            Applied Coding and Information TheoryH. MERCIER     2ph+2ph  controle continu  5   
            Advanced Software Engineering (University of Fribourg)J. Pasquier   2ph+1ph    oral  5   
            Verification of Cyber-physical SystemsU. Ultes-Nitsche   2ph+1ph    oral  5   
            Web EngineeringO. Abou Khaled
P. FELBER
E. Mugellini   		2ph+1ph    oral  5   
            Scientific Reading in Computer NetworksT. Braun   1pg    controle continu  5   
            Scientific Writing in Computer NetworksT. Braun   1pg    controle continu  5   
            Seminar Communication and Distributed SystemsT. Braun   2ph    controle continu  5   
            Scientific Reading in Computer NetworksT. Braun     1pg  controle continu  5   
            Scientific Writing in Computer NetworksT. Braun     1pg  controle continu  5   
            Seminar Communication and Distributed SystemsT. Braun     2ph  controle continu  5   
            Seminar Foundations of Dependable Systems IU. Ultes-Nitsche   1pg    controle continu  5   
            Seminar Foundations of Dependable Systems IIU. Ultes-Nitsche     1pg  controle continu  5   
         Advanced Software EngineeringTOTAL 
            Compiler ConstructionO. Nierstrasz     2ph+1ph  écrit  5   
            Software Modeling and AnalysisO. Nierstrasz   2ph+1ph    écrit  5   
            Seminar Software CompositionO. Nierstrasz   2ph    controle continu  5   
            Seminar Software CompositionO. Nierstrasz     2ph  controle continu  5   
         Advanced Information ProcessingTOTAL 
            Computational Photography (University of Bern)M. Zwicker   2ph+1ph    écrit  5   
            Computer VisionP. Favaro   2ph+1ph    écrit  5   
            Advanced Machine LearningP. Favaro     2ph+1ph  écrit  5   
            Natural language processingJ. SAVOY   2ph+2ph    écrit  5   
            Machine learning and data miningJ. SAVOY   2ph+2ph    écrit  5   
            Statistical Learning MethodsJ. SAVOY     2ph+2ph  écrit  5   
            Design and Graphics Programming for Game Development (University of Fribourg)M. Rigamonti     2ph+1ph  écrit  5   
            Applications of Artificial IntelligenceM. Liwicki   2ph+1ph    oral  5   
            Pattern RecognitionA. Fischer     2ph+1ph  écrit  5   
            Seminar Computer GraphicsM. Zwicker   2ph    controle continu  5   
            Seminar Computer VisionP. Favaro   2ph    controle continu  5   
            Seminar Computer VisionP. Favaro     2ph  controle continu  5   
            Seminar Natural Language ProcessingJ. SAVOY   2ph    controle continu  5   
            Seminar Human Building InteractionD. Lalanne
J. Nembrini   		1pg    controle continu  5   
            Seminar Data VisualizationF. Evéquoz
D. Lalanne   		  1pg  controle continu  5   
            Seminar Scientific Communication in Document Image Analysis: Reading, Writing, and Presentation SkillsM. Liwicki     1pg  controle continu  5   
         LogicTOTAL 
            Complexity TheoryT. Strahm     2ph+1ph  écrit  5   
            Justification LogicT. Studer   2ph+1ph    oral  5   
            Working Group Operations, Sets, and TypesG. Jäger   2ph+1ph    oral  5   
            Working Group Operations, Sets, and TypesG. Jäger     2ph+1ph  oral  5   
            Probabilistic Algorithms (6 ECTS)I. COTOFREI   4ph    écrit, Note d'enseignement  5   
            Automata on Infinite StructuresU. Ultes-Nitsche     2ph+1ph  oral  5   
            Seminar Logic and Theoretical Computer ScienceG. Jäger   2ph    controle continu  5   
            Seminar Logic and Theoretical Computer ScienceG. Jäger     2ph  controle continu  5   
            Seminar Logic and InformationG. Jäger
G. Metcalfe
K. STOFFEL
U. Ultes-Nitsche   		1pg    controle continu  5   
            Seminar Logic and InformationG. Jäger
G. Metcalfe
K. STOFFEL
U. Ultes-Nitsche   		  1pg  controle continu  5   
         Information Systems and Decision SupportTOTAL 
            E-governement frameworksA. SANDOZ     2ph+2ph  oral  5   
            Quantitative Models in Revenue Management (University of Fribourg)T. Hürlimann     2ph+1ph  écrit  5   
            Transportation Logistics: Quantitative Models and MethodsT. Hürlimann     2ph+1ph  écrit  5