@charset "UTF-8";main span.grade{font-weight:bold;margin-left:1em}main>section:first-child>nav{text-align:right}main>section:first-child>ul>li{margin-top:1ex;padding-bottom:2ex !important}main>section:first-child>ul>li span.speaker-deck:after{content:")"}main>section:first-child>ul>li span.speaker-deck:before{content:"(on ";margin-left:1em}main>section:first-child>ul>li>header{margin-bottom:1ex}main>section:first-child>ul>li>header>h2{display:inline;font-style:italic;margin-right:1ex}main>section:first-child>ul>li ul{list-style-type:disc}main>section:last-child{border-top:1px solid black;margin-top:2ex;padding-top:1ex}a.Efficient-Parallel-Abstract-Interpreter-in-Scala--Preparatory-logo-pre-a,a.Brief-journey-in-the-big-world-of-Integer-Programming-with-the-Knapsack-logo-pre-a,a.ChocoChess-logo-pre-a,a.Computer-systems-logo-pre-a,a.Dualite-lagrangienne-logo-pre-a,a.English-Linear-System-Solver-in-Prolog-logo-pre-a,a.Explore-the-Desert-in-Haskell-logo-pre-a,a.L-system-in-PyOpenCL-logo-pre-a,a.Master-Computer-Science-ULB-2016-2018-Bibliography-logo-pre-a,a.Mini-Twitter-in-Erlang-logo-pre-a,a.Permutation-Flow-shop-Scheduling-Problem-logo-pre-a,a.Persistent-Search-Trees-logo-pre-a,a.memo-INFO-F403-logo-pre-a,a.memo-INFO-F404-logo-pre-a,a.memo-INFO-F521-logo-pre-a,a.possible-logo-pre-a,a.Rapport-Utilisation-de-plateformes-ludiques-logo-pre-a,a.Report-Blockchain-Opportunities-and-challenges-logo-pre-a,a.Report-Cache-Oblivious-Algorithms-and-Data-Structures-logo-pre-a{background-position:left center;background-repeat:no-repeat;display:inline-block;line-height:32px;min-height:32px;padding-left:36px;vertical-align:middle}a.Efficient-Parallel-Abstract-Interpreter-in-Scala--Preparatory-logo-pre-a{background-image:url("../MEMO-F403-Preparatory-work-for-the-master-thesis/_png/Efficient-Parallel-Abstract-Interpreter-in-Scala--Preparatory--32x32.png")}a.Brief-journey-in-the-big-world-of-Integer-Programming-with-the-Knapsack-logo-pre-a{background-image:url("../INFO-F424-Combinatorial-optimization/_png/Brief-journey-in-the-big-world-of-Integer-Programming-with-the-Knapsack--32x32.png")}a.ChocoChess-logo-pre-a{background-image:url("../INFO-F302-Informatique-fondamentale/_jpg/ChocoChess--48x32.jpg");padding-left:52px}a.Computer-systems-logo-pre-a{background-image:url("../../2017-2018-ULB/ELEC-Y506-4004876EER-Computer-systems/_png/Stack-Processor--32x32.png")}a.Dualite-lagrangienne-logo-pre-a{background-image:url("../INFO-F524-Continuous-optimization/_png/Dualite-lagrangienne--49x32.png");padding-left:53px}a.English-Linear-System-Solver-in-Prolog-logo-pre-a{background-image:url("../../2017-2018-ULB/INFO-Y087-4013477ENR-Declarative-programming/_png/English-Linear-System-Solver-in-Prolog--32x32-t.png")}a.Explore-the-Desert-in-Haskell-logo-pre-a{background-image:url("../../2017-2018-ULB/INFO-Y085-4013056FNR-Functional-programming/_png/Explore-the-Desert-in-Haskell--32x32.png")}a.L-system-in-PyOpenCL-logo-pre-a{background-image:url("../../2017-2018-ULB/INFO-Y099-40160038FNR-Multicore-programming/_png/L-system--32x32--t.png");padding-left:32px}a.Master-Computer-Science-ULB-2016-2018-Bibliography-logo-pre-a{background-image:url("../_png/Master-Computer-Science-ULB-2016-2018-Bibliography--32x32.png")}a.Mini-Twitter-in-Erlang-logo-pre-a{background-image:url("../../2017-2018-ULB/INFO-Y099-40160038FNR-Multicore-programming/_png/Mini-Twitter-in-Erlang--32x32.png")}a.memo-INFO-F403-logo-pre-a{background-image:url(../INFO-F403-Introduction-to-language-theory-and-compiling/_png/Memo-INFO-F403-Introduction-to-language-theory-and-compiling--32x32.png)}a.memo-INFO-F404-logo-pre-a{background-image:url(../INFO-F404-Real-Time-Operating-Systems/_png/Memo-INFO-F404-Real-Time-Operating-Systems--32x32.png)}a.memo-INFO-F521-logo-pre-a{background-image:url(../INFO-F521-Graphs-and-networks/_png/Memo-INFO-F521-Graphs-and-networks--32x32-t.png)}a.Permutation-Flow-shop-Scheduling-Problem-logo-pre-a{background-image:url("../../2016-2017-ULB/INFO-H413-Heuristic-optimisation/_png/PFSP--32x32.png")}a.Persistent-Search-Trees-logo-pre-a{background-image:url("../INFO-F413-Data-structures-and-algorithms/_png/Planar-Point-Location-Using-Persistent-Search-Trees--49x32.png");padding-left:53px}a.possible-logo-pre-a{background-image:url("../INFO-F405-Introduction-to-cryptography/_png/p0ss1ble--32x32.png")}a.Rapport-Utilisation-de-plateformes-ludiques-logo-pre-a{background-image:url("../../2017-2018-ULB/INFO-F530-Computer-science-seminar/_png/Rapport-Utilisation-de-plateformes-ludiques-de-programmation-pour-motiver-les-apprenants--46x32.png");padding-left:50px}a.Report-Blockchain-Opportunities-and-challenges-logo-pre-a{background-image:url("../../2017-2018-ULB/INFO-F530-Computer-science-seminar/_png/Report-Blockchain-Opportunities-and-challenges--32x32.png")}a.Report-Cache-Oblivious-Algorithms-and-Data-Structures-logo-pre-a{background-image:url("../../2017-2018-ULB/INFO-F530-Computer-science-seminar/_png/Report-Cache-Oblivious-Algorithms-and-Data-Structures--42x32.png");padding-left:46px}