html,body,div,span{font-family:"Verdana",sans-serif;font-size:14px}body{max-width:960px;margin:0 auto;margin-left:auto;line-height:1.231}.wide{max-width:1050px}h1,h2,h3,h4{}a{text-decoration:none}a:link{color:#00a5c5}a:visited{color:#666666}a:hover{color:#32b7d0}a:hover b{color:#32b7d0}table.timetable{border-collapse:collapse;margin:auto;margin-bottom:20px;clear:both;margin-top:10px}table.timetable td,table.timetable th{text-align:center;padding:5px;margin:0px;border-bottom:1px solid gray}table.timetable tr{border-bottom:1px solid gray;margin:0px}table.timetable a{color:#000000;display:block;height:100%;width:100%}table.timetable-legend a{color:#000000;display:block;height:100%;width:100%}table.timetable2{border-collapse:collapse;margin:auto;margin-bottom:20px;clear:both;margin-top:10px}table.timetable2 td,table.timetable2 th{text-align:center;padding:5px;margin:0px;border-bottom:1px solid #CCCCCC}table.timetable2 tr{border-bottom:1px solid #CCCCCC;margin:0px}td.first-column{font-weight:bold}.timetable-section{margin-left:20px}.timetable-social-pack{background-color:#ff6666}.timetable-all{background-color:#66ff66}.timetable-social-pack2{background-color:#666666;color:#FFFFFF}.timetable-dinner{background-color:#8080ff}.timetable-dinner2{background-color:white;color:black}.timetable-science{background-color:#b0401d}.timetable-alllunch{background-color:#1db040}table.timetable-legend{margin:10px   
    font-size:small;float:right;border-collapse:collapse;margin-top:0px}.timetable-legend td{padding:5px}p.timetable-end{clear:right;margin-bottom:20px}.timetable-pc{display:block}.timetable-pc2{display:block;background-color:#1d8db0;color:white}.timetable-phone{display:none}a.menu:link{color:#CCCCCC}a.menu:visited{color:#CCCCCC}a.menu:hover{color:#32b7d0}a.headlink:link{color:#32b7d0}a.headlink:visited{color:#32b7d0}a.headlink:hover{color:#FFFFFF}div.main{min-height:240px}a.img{border-bottom:none}ul{list-style:disc outside none;margin:0px;padding:0px;padding-left:15px}ol.history{list-style:decimal inside none;margin:0px;padding:0px}ol.unnumbered{list-style:none;margin:0px;padding:0px}#headline{background-color:black;color:#32b7d0;padding-left:20px;padding-right:20px;padding-top:5px;padding-bottom:5px;font-size:small}#headline .user{color:#AAA}#login{float:right;width:20em;text-align:right}.vgradient{background-color:#666666;background:-webkit-gradient(linear,0% 0%,0% 100%,from(#666666),to(#000000));background:-webkit-linear-gradient(top,#666666,#000000);background:-moz-linear-gradient(top,#666666,#000000);background:-ms-linear-gradient(top,#666666,#000000);background:-o-linear-gradient(top,#666666,#000000);border-top:1px solid #999999;border-bottom:1px solid #000000}#top-menu{padding-left:20px;padding-right:20px;padding-bottom:3px}#top-menu h2{color:#CCCCCC;padding:0;margin:0;margin-top:10px;margin-bottom:10px}#top-menu ul{display:block;list-style:none inside none;margin:0px;padding:0px}#top-menu li{display:inline-block;padding-right:1.35em;color:#AAA}#nav{padding:0;display:block;list-style:none inside none;margin:0px}.cols{margin:0px auto;clear:both}.hpanel{width:240px;float:left}#site-map{font-size:small;border-bottom:1px solid #999999;clear:both;padding-left:30px;padding-right:30px;line-height:0.9;padding-bottom:10px;padding-top:10px}#site-map a{border:none}#site-map h4{color:#00a5c5;margin:0;padding:0;border:0;margin-bottom:10px}#site-map h4 a{color:#00a5c5}#site-map h4 a:hover{color:#32b7d0}#site-map ul{list-style:square inside none;border:0px none;outline:0px none;padding:0px;margin:0px}#site-map li{color:#666666;border:0px none;outline:0px none;margin:4px 0px;padding:0px}#content{background-color:#EEE;padding-left:20px;padding-right:20px;padding-top:20px;padding-bottom:20px}#footer{background-color:#000000;margin:0;padding-top:5px;padding-left:20px;padding-right:20px;padding-bottom:5px;color:#666666;font-size:small}.copyright{color:#666;display:block;float:right;width:35em;text-align:right;font-size:x-small}.talksright{display:inline;float:right;text-align:right}.timestamp{font-size:x-small}ul.date-list{list-style:none inside none;width:80%;padding:0}ul.date-list .date{display:inline-block;width:8em;font-family:"Lucida Console",Monaco,monospace;font-size:80%}.datelt{display:inline-block;font-family:"Lucida Console",Monaco,monospace;font-size:80%;text-decoration:line-through}ul.date-list li{padding-bottom:2px}.red{color:red}.green{color:#0a4}.bill .total{border-top:2px solid black;border-bottom:2px solid black;background-color:#eee}.bill .pending{background-color:#ccd}.bill .payed{background-color:#cdc}.bill tr{border-top:1px solid black}.bill{background-color:#ccc;width:92%;border:2px solid black;font-size:90%}.bill td{padding-left:10px;padding-right:10px}.amount{text-align:right;vertical-align:top;width:5em}.noreturncode{background-color:orange}ul#calls{overflow:hidden;list-style:none inside none;padding:0}table.data-table{font-size:smaller}table.data-table td,table.data-table th{vertical-align:top;border:1px solid black;padding-left:2px;padding-right:2px}table.data-table th{background:#999}table.data-table tr:nth-child(even){background:#CCC}table.data-table tr:nth-child(odd){background:#FFF}table.part td,table.part th{vertical-align:top;padding-top:0.4ex}#calls li{padding-top:10px;padding-bottom:10px;margin-right:10px;float:left}#calls a{background:#E80;color:black;font-weight:bold;font-size:140%;text-align:center;-moz-border-radius:10px;border-radius:10px;padding:2px 10px 2px 10px;white-space:nowrap;-webkit-box-shadow:0 2px 2px rgba(0,0,0,.5);-moz-box-shadow:0 2px 2px rgba(0,0,0,.5);box-shadow:0 2px 2px rgba(0,0,0,.5)}#calls a:hover{background:#F90}.news{}.news h4{}.cols{overflow:auto}.col2-1,.col2-2{width:48%;float:left}.col2-1{border-right:1px solid black;margin-right:2em}.plenary-speaker,.tutorial-speaker{color:#33B}fieldset{}legend{padding-left:5px;padding-right:5px;font-weight:bold}label{display:block;color:#00A}.required em{color:#A00}input,textarea{display:block;width:98%}input.submit-button,input.delete-button,input.update-button,input.cancel-button{width:auto;display:inline;margin-right:2em}button.register-button{display:block;width:98%;width:25%;margin-right:auto;margin-left:auto;text-align:center}#reallydelete,#reallydelete-label{width:auto;display:inline;margin-left:1em}span.hint{display:block;margin-bottom:2px}.error{color:red;border:1px dashed red;padding:5px;font-weight:bold}.ok{color:#0a4;border:1px dashed #0c6;padding:5px;font-weight:bold}.hl{background-color:yellow}#svn{display:none}#participant-form tr{}#participant-form td{vertical-align:top;padding-right:1em;padding-top:0.5em;padding-bottom:0.5em}p.abs{margin-left:1em}.atitle{color:blue}.talk,.session{padding:5px;width:40em;max-width:95%;background:#ccc}.talk-title,.session-title{margin-top:-5px;margin-left:-5px;margin-right:-5px;padding:5px;background:#aaa;font-size:large;font-weight:bold}.speaker,.organizers{font-size:large}.abstract{margin-left:-5px;margin-right:-5px;padding:5px;background:#ddd}.display-math{}ol.bib{}ol.bib span.bibkey{margin-left:-1em}span.bibkey,.cite{color:#00a}.tiles a{text-align:center;padding-top:10px}.Cancelled,.canceled{text-decoration:line-through;background-color:orange}.Awaiting{background-color:red}.Initiated{background-color:orange}.slot{background-color:#ffa;padding:2px;margin-right:1em;font-size:70%;font-weight:bold}.chair{float:right;background-color:#aff;font-size:70%;display:inline-block;width:2em;text-align:right;padding-right:0.5em;margin-right:0.5em}.slot2{margin-right:0.5em;font-size:70%;font-weight:bold}.aid{float:right;background-color:#aff;font-size:70%;display:inline-block;width:2em;text-align:right;padding-right:0.5em;margin-right:0.5em}.newsdates{background-color:#EEE;padding-left:35px;padding-right:20px;padding-top:20px;padding-bottom:20px;display:block;overflow:hidden;min-height:357px}.floatleft{float:left;padding-right:20px}.floatright{float:right;clear:right;padding:10px}.li-odd{background-color:#eeeeee;-webkit-transition:background-color 0.15s linear;-moz-transition:background-color 0.15s linear;-ms-transition:background-color 0.15s linear;-o-transition:background-color 0.15s linear;transition:background-color 0.15s linear}.li-odd:hover{background-color:#cccccc;-webkit-transition:background-color 0.15s linear;-moz-transition:background-color 0.15s linear;-ms-transition:background-color 0.15s linear;-o-transition:background-color 0.15s linear;transition:background-color 0.15s linear}.li-even{background-color:#dddddd;-webkit-transition:background-color 0.15s linear;-moz-transition:background-color 0.15s linear;-ms-transition:background-color 0.15s linear;-o-transition:background-color 0.15s linear;transition:background-color 0.15s linear}.li-even:hover{background-color:#cccccc;-webkit-transition:background-color 0.15s linear;-moz-transition:background-color 0.15s linear;-ms-transition:background-color 0.15s linear;-o-transition:background-color 0.15s linear;transition:background-color 0.15s linear}#headphone{display:none}#headpc{display:inline-block}#menu-icon{display:none;width:40px;height:40px;background:url(https://ssr-www.pages.dev/web/20180527180517im_/http://ilas2016.cs.kuleuven.be/images/menu.png?kwid=1tfa-bq%2560kjuf-lqd)center no-repeat}a:hover#menu-icon{background-color:#444;border-radius:4px 4px 0 0}#beetle{margin:15px;margin-right:0px;margin-bottom:0px;border:solid 1px white;padding:0px}#sponsorlogosphone{display:none}.lineth{text-decoration:line-through}@media handheld,only screen and (max-width:640px),only screen and (max-device-width:640px){.newsdates{background-color:#EEE;padding-left:5px;padding-right:5px;padding-top:5px;padding-bottom:5px;display:block;overflow:hidden}.floatleft{float:none;margin-left:auto;margin-right:auto}.floatright{float:none;margin-left:auto;margin-right:auto}#beetle{width:200px}#facultyclubleuven{width:200px}#universityhalls{width:200px}#grotemarkt{width:200px}#top-menu{width:100%}#top-menu ul{display:inline;font-size:small;list-style:none inside none;*/
  margin: 0px;padding:0px}#top-menu li{display:inline;padding-right:2em;color:#AAA}ul.date-list{list-style:none inside none;width:80%;padding:0}ul.date-list .date{display:inline;width:8em;font-family:"Lucida Console",Monaco,monospace;font-size:normal}.datelt{display:inline;font-family:"Lucida Console",Monaco,monospace;font-size:normal;text-decoration:line-through}button.register-button{display:inline;width:200px;margin-right:auto;margin-left:auto;text-align:center;font-size:xx-large}#participant-form legend{display:inline}#participant-form tr{display:inline}#participant-form td{display:inline;vertical-align:top;padding-right:1em;padding-top:0.5em;padding-bottom:0.5em}input,textarea{display:block;width:200px}span.hint{display:inline;margin-bottom:2px}#headline{display:none}#headphone{display:inline}#headpc{display:none}#top-menu{position:fixed;z-index:2}#content{position:absolute;padding-top:4em}#top-menu ul{display:none;position:absolute;padding:10px;background:#000000;border:3px solid #444;right:0px;top:40px;width:50%;border-radius:4px 0 4px 4px}#top-menu li{display:block;text-align:left;margin:0}#nav{float:right;text-align:right;padding:0px 20px 0px 0px}#nav:hover ul{display:block}#menu-icon{display:inline-block;float:right}#sponsorlogos{display:none}#sponsorlogosphone{display:block}table.timetable{border-collapse:collapse;margin:0;margin-bottom:20px;clear:both}table.timetable td,table.timetable th{text-align:center;padding:5px;margin:0px;border-bottom:1px solid gray}table.timetable tr{border-bottom:1px solid gray;margin:0px}td.first-column{font-weight:bold}.timetable-section{margin-left:20px}.timetable-social-pack{background-color:#ff6666}.timetable-dinner{background-color:#8080ff}table.timetable-legend{font-size:small;float:none;border-collapse:collapse;margin-top:0px;margin-bottom:5px}.timetable-legend td{padding:5px}p.timetable-end{clear:right}.timetable-pc{display:none}.timetable-phone{display:block}.timetable-section{margin-left:auto}}@mediaprint{}