CINXE.COM

<!DOCTYPE html> <html> <head> <meta name="viewport" content="width=device-width, initial-scale=1, maximum-scale=1"> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"> <link href="https://2019.ecoop.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://2019.ecoop.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>Reims - ECOOP 2019</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://2019.ecoop.org";</script> <link rel="stylesheet" href="https://2019.ecoop.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://2019.ecoop.org/stylesheets/conf.css?e0c92ee5f52769e04d268b7588469bfe" type="text/css" /><link rel="stylesheet" href="https://2019.ecoop.org/getFile/4178e8be-c93e-442c-92af-6438620e66f0/logo.006.css?1563342595374" type="text/css" /><link rel="stylesheet" href="https://2019.ecoop.org/stylesheets/flatpickr-4.3.2.min.css?8eedb7a0f2455c0dbbbbcc46c4172c0d" type="text/css" /><link rel="stylesheet" href="https://2019.ecoop.org/stylesheets/print-program.css?b774586a40b6df0d1423d546295a4866" type="text/css" /><link rel="stylesheet" href="https://2019.ecoop.org/stylesheets/theme.bootstrap_3.min.css?6867e70881e6ed2c03b6c9cf9c3152e0" type="text/css" /><script type="text/javascript" src="//code.jquery.com/jquery-3.5.1.min.js"></script> <script type="text/javascript" src="https://2019.ecoop.org/javascript/flatpickr-4.3.2.min.js?c2885c17ae5fd471c9a40c437e8a2736"></script> <script type="text/javascript" src="https://2019.ecoop.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://2019.ecoop.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://2019.ecoop.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://2019.ecoop.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://2019.ecoop.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://2019.ecoop.org/javascript/ajax.js?2dbd1cc4f8f2d52ae9c879d7346f4f8a"></script> <script type="text/javascript">(function($){ $(document).ready(function(){ $('ul.dropdown-menu [data-toggle=dropdown]').on('click', function(event) { event.preventDefault(); event.stopPropagation(); $(this).parent().siblings().removeClass('open'); $(this).parent().toggleClass('open'); }); }); })(jQuery); </script> <script type="text/javascript"> $(window).on('popstate', function(){ $('.modal.in').modal('hide') }); </script><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('.modal').on( 'shown.bs.modal', function(){ if(history.pushState){ history.pushState({ id: 'modal', modalId: $(this).attr('id') }, null, window.location.href); } } ).on( 'hidden.bs.modal', function (){ if( history.state != null && history.state.modalId == $(this).attr('id') ){ history.back(); } } ); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script> <script>window.dataLayer = window.dataLayer || [];function gtag(){dataLayer.push(arguments);}gtag('js', new Date());gtag('config', 'G-4G0QWEKVQS', {'cookie_domain': 'auto', 'anonymizeIp': true });gtag('config', 'UA-9607501-2', {'cookie_domain': 'auto', 'anonymizeIp': true });</script> <meta prefix='og: http://ogp.me/ns#' property='og:image' content='https://2019.ecoop.org/getImage/carousel/5604439246_08fb0350fe_o.jpg?1528908239000'> <script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('input.flatpickr:not([id])').focusout( function(){ this.dispatchEvent( new KeyboardEvent('keydown',{keyCode:13, bubbles: true}) ); } ); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script> <script type="text/javascript">var ignoreHashChange = false; function hashChangeFunc(){ // show active tab on hash in url if (window.location.hash !== ''){ var hashTargetAll = $('a[href="' + window.location.hash + '"]'); if(hashTargetAll.length){ var hashTarget = hashTargetAll.filter('[data-toggle="tab"]') if( hashTarget.length ){ hashTarget = hashTarget.first(); hashTarget.tab('show'); } else { hashTarget = hashTargetAll.first(); } // and open parent tabs in case the target element is nested in a tab var parentPane = hashTarget.closest( '.tab-pane' ); if(parentPane.length){ $('.nav a[href="#'+ parentPane.attr('id') +'"]').tab('show'); } var parentCollapse = hashTarget.closest( '.panel-collapse:not(.in)' ).collapse('show'); } } return false; } $(document).ready(function(){ var tabFromRequestUrl = window.location.hash !== '' ? $('a[href="' + window.location.hash + '"][data-toggle="tab"]') : []; var initUrlHash = window.location.hash; hashChangeFunc() if( tabFromRequestUrl.length ){ //Prevent the browser to auto-scroll to the anchor of the tab window.location.hash = ""; } //make in-page #links open the tabs if ($._data( $(window)[0], 'events' ).hashchange == undefined){ $(window).on('hashchange', hashChangeFunc); } if(tabFromRequestUrl.length){ setTimeout( function(){ ignoreHashChange = true; history.replaceState(null, null, initUrlHash); ignoreHashChange = false; }, 10 ); } }); var autoTabFunction = function(node){ // remember the hash in the URL without jumping $('a[data-toggle="tab"]:not(.no-hash):not(.bound)').addClass('bound').on('shown.bs.tab', function(e){ var newhash = '#' + $(e.target).attr('href').substr(1); if(history.replaceState){ history.replaceState(null, null, newhash); } else{ location.hash = newhash; } }); //When no tab is active, set the first one to active $(node).find('.nav-tabs:not(.bound), .nav-pills:not(.bound)').addClass('bound').each(function(){ if( $(this).children().length > 0 && 1 > $(this).find('.active').length){ $(this).children().first().addClass('active'); } }); $(node).find('.tab-content:not(.bound)').addClass('bound').each(function(){ if( $(this).children().length > 0 && 1 > $(this).children('.active').length){ $(this).children('.tab-pane').first().addClass('active'); } }); } </script> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='ECOOP is Europe’s longest-standing annual Programming Languages (PL) conference, and welcomes high quality research papers relating to the PL field in a broad sense. This year the conference will feature dedicated paper categories for reproduction studies, experience reports, reflective “pearls”, and forward-thinking “new idea” papers. We are also pleased to have two Journal First routes for submission to ECOOP, with the ACM TOPLAS and Science of Computer Programming journals.'> <script type="text/javascript">function addEventModalLoadOnClick( containerNode ){ $(containerNode).find( "a[data-event-modal]" ).on("click", function(e){ var eventId = $(this).data("event-modal"); var modalElem = $("#modal-" + eventId); if(modalElem.length){ modalElem.modal({ backdrop: 'static', keyboard: true}, 'show'); } else { var loaderElem = $("#event-modal-loader"); loaderElem.find("input.event-id-input").val( eventId ); loaderElem.find("#load-modal-action").click(); } e.preventDefault(); } ); } </script><script type="text/javascript">function addStarredEventOnClick( containerNode ){ $(containerNode).find( "[data-event-star]" ).on("click", function(e){ var eventId = $(this).data("event-star"); var starEventFormElem = $("#event-star-form"); starEventFormElem.find("input.event-id-input").val( eventId ); starEventFormElem.find("#star-event-action").click(); e.preventDefault(); e.stopPropagation(); } ); } </script><script type="text/javascript">function pauseOnCloseModal( modalid ){ //pauses video (only youtube at the moment) when closing modal $('#' + modalid).on('hidden.bs.modal', function () { $(this).find('.embed-container iframe[src*=enablejsapi]').each( function(){ this.contentWindow.postMessage('{"event":"command","func":"pauseVideo","args":""}', '*') } ); } ) } </script> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='Reims - ECOOP 2019'> <script type="text/javascript">$(document).ready( function(){ $('#program-menu a[data-fltr-type]').on('click', function(event){ event.preventDefault(); window.location = $(this).attr('href') + "?" + encodeURIComponent( $(this).data('fltr-type') ) + '=' + encodeURIComponent( $(this).data('fltr-val') ); }) }) </script> <script async src="https://www.googletagmanager.com/gtag/js?id=G-4G0QWEKVQS"></script> <meta name='description' content='ECOOP is Europe’s longest-standing annual Programming Languages (PL) conference, and welcomes high quality research papers relating to the PL field in a broad sense. This year the conference will feature dedicated paper categories for reproduction studies, experience reports, reflective “pearls”, and forward-thinking “new idea” papers. We are also pleased to have two Journal First routes for submission to ECOOP, with the ACM TOPLAS and Science of Computer Programming journals.'>  </head> <body id="room"><div class="frame"><div class="logobar"><div class="container"><a href="https://2019.ecoop.org" class="navbar-brand navigate"><span class="brand-text">ECOOP 2019</span></a><div class="place">Mon 15 - Fri 19 July 2019 <a href="https://2019.ecoop.org/venue/ecoop-2019-venue" class="navigate">Hammersmith, London, United Kingdom</a></div></div></div><div class="navbar navbar-default"><div class="container"><div class="navbar-header"><button type="button" data-toggle="collapse" data-target="#navigationbar" class="navbar-toggle"><span class="sr-only">Toggle navigation</span><span class="icon-bar"></span><span class="icon-bar"></span><span class="icon-bar"></span></button></div><div id="navigationbar" class="navigationbar collapse navbar-collapse"><ul class="block nav navbar-nav"><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Attending <span class="caret"></span></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ecoop.org/venue/ecoop-2019-venue" class="navigate">Venue: Novotel London West</a></li><li class="block"><a href="https://2019.ecoop.org/attending/sponsorship" class="navigate">Sponsorship</a></li><li class="block"><a href="https://2019.ecoop.org/attending/conduct" class="navigate">Conduct</a></li><li class="block"><a href="https://2019.ecoop.org/attending/Students" class="navigate">Students</a></li><li class="block"><a href="https://2019.ecoop.org/attending/Visa" class="navigate">Visa</a></li><li class="block"><a href="https://2019.ecoop.org/attending/accommodation" class="navigate">Accommodation</a></li><li class="block"><a href="https://2019.ecoop.org/attending/Registration" class="navigate">Registration</a></li><li class="block"><a href="https://2019.ecoop.org/attending/curry-on-banquet" class="navigate">Socials</a></li><li class="block"><a href="https://2019.ecoop.org/attending/Online+participation" class="navigate">Live</a></li><li class="block"><a href="https://2019.ecoop.org/attending/awards" class="navigate">Awards</a></li></ul></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Program <span class="caret"></span></a><ul id="program-menu" class="block dropdown-menu"><li class="block"><a href="https://2019.ecoop.org/program/program-ecoop-2019/" class="navigate">ECOOP Program</a></li><li class="block"><a href="https://2019.ecoop.org/program/program-ecoop-2019/" data-fltr-type="prog" data-fltr-val="Your Program" class="navigate"><span class="glyphicon glyphicon-star"></span> Your Program</a></li><li class="block divider"></li><li class="block"><a href="https://2019.ecoop.org/program/program-ecoop-2019/" data-fltr-type="date" data-fltr-val="Mon 15 Jul 2019" class="navigate">Mon 15 Jul</a></li><li class="block"><a href="https://2019.ecoop.org/program/program-ecoop-2019/" data-fltr-type="date" data-fltr-val="Tue 16 Jul 2019" class="navigate">Tue 16 Jul</a></li><li class="block"><a href="https://2019.ecoop.org/program/program-ecoop-2019/" data-fltr-type="date" data-fltr-val="Wed 17 Jul 2019" class="navigate">Wed 17 Jul</a></li><li class="block"><a href="https://2019.ecoop.org/program/program-ecoop-2019/" data-fltr-type="date" data-fltr-val="Thu 18 Jul 2019" class="navigate">Thu 18 Jul</a></li><li class="block"><a href="https://2019.ecoop.org/program/program-ecoop-2019/" data-fltr-type="date" data-fltr-val="Fri 19 Jul 2019" class="navigate">Fri 19 Jul</a></li></ul></li><li id="tracks-in-navbar" class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Tracks <span class="caret"></span></a><ul class="block dropdown-menu multi-column columns-3"><div class="row"><div class="col-sm-5"><ul class="block multi-column-dropdown"><li class="block dropdown-header">ECOOP 2019</li><li class="block"><a href="https://2019.ecoop.org/track/ecoop-2019-papers" class="navigate">Research Papers</a></li><li class="block"><a href="https://2019.ecoop.org/track/ecoop-2019-artifacts" class="navigate">Artifacts</a></li><li class="block"><a href="https://2019.ecoop.org/track/ecoop-2019-Student-Volunteers" class="navigate">Student Volunteers</a></li><li class="block"><a href="https://2019.ecoop.org/track/ecoop-2019-docsymp" class="navigate">Doctoral Symposium</a></li><li class="block"><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" class="navigate">Summer School</a></li><li class="block"><a href="https://2019.ecoop.org/track/ecoop-2019-workshops" class="navigate">Workshops</a></li><li class="block"><a href="https://2019.ecoop.org/track/ecoop-2019-Posters" class="navigate">Posters</a></li><li class="block"><a href="https://2019.ecoop.org/track/curry-on" class="navigate">Curry On</a></li></ul></div><div class="col-sm-7"><ul class="block multi-column-dropdown"><li class="block dropdown-header">Workshops</li><li class="block"><a href="https://2019.ecoop.org/home/aorta-2019" class="navigate"><strong>AORTA</strong> </a></li><li class="block"><a href="https://2019.ecoop.org/home/benchwork-2019" class="navigate"><strong>BenchWork</strong> </a></li><li class="block"><a href="https://2019.ecoop.org/home/COP-2019" class="navigate"><strong>COP</strong> </a></li><li class="block"><a href="https://2019.ecoop.org/home/FTfJP-2019" class="navigate"><strong>FTfJP</strong> </a></li><li class="block"><a href="https://2019.ecoop.org/home/ICOOOLPS-2019" class="navigate"><strong>ICOOOLPS</strong> </a></li><li class="block"><a href="https://2019.ecoop.org/home/PASS-ECOOP-2019" class="navigate"><strong>PASS</strong> (CANCELED)</a></li><li class="block"><a href="https://2019.ecoop.org/home/panathon-2019" class="navigate"><strong>Panathon</strong> </a></li><li class="block"><a href="https://2019.ecoop.org/home/scala-2019" class="navigate"><strong>Scala</strong> </a></li><li class="block"><a href="https://2019.ecoop.org/home/vortex-2019" class="navigate"><strong>VORTEX</strong> </a></li></ul></div></div></ul></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Organization <span class="caret"></span></a><ul class="block dropdown-menu multi-column columns-2"><div class="row"><div class="col-sm-6"><ul class="block multi-column-dropdown"><li class="block dropdown-header">ECOOP 2019 Committees</li><li class="block"><a href="https://2019.ecoop.org/committee/ecoop-2019-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block dropdown-header">Track Committees </li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Research Papers</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ecoop.org/committee/ecoop-2019-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2019.ecoop.org/committee/ecoop-2019-papers-external-review-committee" class="navigate">External Review Committee</a></li></ul></li><li class="block"><a href="https://2019.ecoop.org/committee/ecoop-2019-artifacts" class="navigate"><strong>Artifacts</strong></a></li><li class="block"><a href="https://2019.ecoop.org/committee/ecoop-2019-student-volunteers-alisa-maas" class="navigate"><strong>Student Volunteers</strong></a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Doctoral Symposium</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ecoop.org/committee/ecoop-2019-docsymp-academic-panel" class="navigate">Academic Panel</a></li><li class="block"><a href="https://2019.ecoop.org/committee/ecoop-2019-docsymp-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2019.ecoop.org/committee/ecoop-2019-docsymp-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="block"><a href="https://2019.ecoop.org/committee/ecoop-2019-workshops-organizing-committee" class="navigate"><strong>Workshops</strong></a></li><li class="block"><a href="https://2019.ecoop.org/committee/ecoop-2019-posters-posters-committee" class="navigate"><strong>Posters</strong></a></li><li class="block"><a href="https://2019.ecoop.org/committee/curry-on-organization-committee" class="navigate"><strong>Curry On</strong></a></li><li class="block dropdown-header">Contributors</li><li class="block"><a href="https://2019.ecoop.org/people-index" class="navigate"><span class="glyphicon glyphicon-search"></span><sup><span class="glyphicon glyphicon-user"></span></sup> People Index</a></li></ul></div><div class="col-sm-6"><ul class="block multi-column-dropdown"><li class="block dropdown-header">Workshops</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>AORTA</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ecoop.org/committee/aorta-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2019.ecoop.org/committee/aorta-2019-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>BenchWork</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ecoop.org/committee/benchwork-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2019.ecoop.org/committee/benchwork-2019-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>COP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ecoop.org/committee/cop-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2019.ecoop.org/committee/cop-2019-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>FTfJP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ecoop.org/committee/ftfjp-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2019.ecoop.org/committee/ftfjp-2019-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2019.ecoop.org/committee/ftfjp-2019-papers-steering-commitee" class="navigate">Steering Commitee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>ICOOOLPS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ecoop.org/committee/icooolps-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2019.ecoop.org/committee/icooolps-2019-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>PASS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ecoop.org/committee/pass-ecoop-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2019.ecoop.org/committee/pass-ecoop-2019-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Panathon</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ecoop.org/committee/panathon-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Scala</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ecoop.org/committee/scala-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2019.ecoop.org/committee/scala-2019-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2019.ecoop.org/committee/scala-2019-papers-steering-committee" class="navigate">Steering Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>VORTEX</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ecoop.org/committee/vortex-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2019.ecoop.org/committee/vortex-2019-papers-program-committee" class="navigate">Program Committee</a></li></ul></li></ul></div></div></ul></li><li class="block"><a href="https://2019.ecoop.org/search//all" class="navigate"><span class="glyphicon glyphicon-search"></span><span class="hidden-sm"> Search</span></a></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle"><span class="hidden-sm">Series <span class="caret"></span></span><span title="Series" class="visible-sm"><span class="glyphicon glyphicon-repeat"></span> <span class="caret"></span></span></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ecoop.org/series/ecoop" class="navigate"><span class="glyphicon glyphicon-home"></span> Series</a></li><li class="block divider"></li><li class="block"><a href="https://2025.ecoop.org" class="navigate">ECOOP 2025</a></li><li class="block"><a href="https://2024.ecoop.org" class="navigate">ECOOP 2024</a></li><li class="block"><a href="https://2023.ecoop.org" class="navigate">ECOOP 2023</a></li><li class="block"><a href="https://2022.ecoop.org" class="navigate">ECOOP 2022</a></li><li class="block"><a href="https://2021.ecoop.org" class="navigate">ECOOP 2021</a></li><li class="block"><a href="https://2020.ecoop.org" class="navigate">ECOOP 2020</a></li><li class="block"><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> ECOOP 2019</span></li><li class="block"><a href="https://2018.ecoop.org" class="navigate">ECOOP 2018</a></li><li class="block"><a href="https://2017.ecoop.org" class="navigate">ECOOP 2017</a></li><li class="block"><a href="https://2016.ecoop.org" class="navigate">ECOOP 2016</a></li><li class="block"><a href="https://2015.ecoop.org" class="navigate">ECOOP 2015</a></li><li class="block"></li><li class="block"><a href="http://2014.ecoop.org" target="_blank" class="navigate">2014: Uppsala <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://2013.ecoop.org" target="_blank" class="navigate">2013: Montpellier <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://ecoop12.cs.purdue.edu" target="_blank" class="navigate">2012: Beijing <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://scc-sentinel.lancs.ac.uk/ecoop11/" target="_blank" class="navigate">2011: Lancaster <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://ecoop2010.uni-mb.si" target="_blank" class="navigate">2010: Maribor <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://ecoop09.disi.unige.it" target="_blank" class="navigate">2009: Genova <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="https://ecoop08.cs.ucy.ac.cy" target="_blank" class="navigate">2008: Cyprus <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://ecoop07.swt.cs.tu-berlin.de" target="_blank" class="navigate">2007: Berlin <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.emn.fr/z-info/ecoop2006/" target="_blank" class="navigate">2006: Nice <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://2005.ecoop.org/" target="_blank" class="navigate">2005: Glasgow <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li></ul></li></ul><div class="navbar-right"><ul class="block nav navbar-nav"><li class="block"><a href="https://conf.researchr.org/signin/ecoop-2019/https%3A%5Es%5Es2019.ecoop.org%5Esroom%5Esecoop-2019-venue-reims" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://2019.ecoop.org/signup" class="navigate">Sign up</a></li></ul></div></div></div></div><div id="content" class="container"><div class="page-header"><span class="text-muted small"><span class="glyphicon glyphicon-home"></span> <a href="https://2019.ecoop.org" class="navigate">ECOOP 2019</a> (<a href="https://2019.ecoop.org/series/ecoop" class="navigate">series</a>) / </span><span class="text-muted small"><span class="glyphicon glyphicon-tower"></span> <a href="https://2019.ecoop.org/venue/ecoop-2019-venue" class="navigate">Novotel London West</a> / </span><h1>Room information: Reims</h1></div><div class="row"><div class="col-sm-4"><fieldset><legend>Venue</legend><a href="https://2019.ecoop.org/venue/ecoop-2019-venue" class="navigate">Novotel London West</a></fieldset><fieldset><legend>Room name</legend>Reims</fieldset><fieldset><legend>Floor</legend>0</fieldset></div><div class="col-sm-8"><fieldset><legend>Room Information</legend><span class="help-block">No extra information available</span></fieldset></div></div><div class="row"><div class="col-sm-12"><fieldset><legend>Program</legend><ul id="tab" class="nav nav-tabs"><li class="active"><a href="#Detailed-Table" data-toggle="tab">Detailed Table</a></li><li><a href="#Session-Timeline" data-toggle="tab">Session Timeline</a></li><li><a href="#Detailed-Timeline" data-toggle="tab">Detailed Timeline</a></li><li><a href="javascript:window.print()"><span class="glyphicon glyphicon-print"></span></a></li></ul><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; autoTabFunction(node); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('.modal').on('shown.bs.modal', function() {if(gtag) { gtag( 'event', 'Show Details in Modal' , {'event_category': 'Event Information', 'event_label': '' + $(this).find('.modal-title').text() + ''} ) } } ) }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><div tabindex="-1" id="hidden-modal" class="modal"><div class="modal-dialog "><div class="modal-content"></div></div></div><div id="program-settings-modal" class="webdsl-placeholder"><div id="userProgramSettings" class="modal fade"><div class="modal-dialog "><div class="modal-content"><div class="modal-header"><a data-dismiss="modal" class="close"><span class="glyphicon glyphicon-remove"></span></a><h3>Program Display Configuration</h3></div><div class="modal-body"><form name="form11390898770538530f0e2bbdb67872b491120c5c8a7" id="form11390898770538530f0e2bbdb67872b491120c5c8a7" action="https://2019.ecoop.org/userProgramSettingsModalConferenceEdition" accept-charset="UTF-8" method="POST" role="form" class="form-horizontal"><input type="hidden" name="form11390898770538530f0e2bbdb67872b491120c5c8a7" value="1" /><input type="hidden" name="context" value="ecoop-2019" /><div class="panel panel-default timezone-panel"><div class="panel-heading clearfix"><div class="panel-title">Time Zone</div></div><div class="panel-body"><span class="help-block">The program is currently displayed in <strong>(GMT+01:00) Belfast</strong>.</span><div class="row"><div class="col-sm-11 col-sm-offset-1"><label class="radio"><input type="radio" checked="checked" name="9659afaa126198132be460b106e35ccb" value="false" onchange="if( ($(this).val() == 'true' && this.checked) != $('#cec04de0447905c49fb377c6d9693505').is(':visible') ) { $('#cec04de0447905c49fb377c6d9693505').fadeToggle( 250 ); }"/><strong>Use conference time zone: (GMT+01:00) Belfast</strong></label><label class="radio"><input type="radio" name="9659afaa126198132be460b106e35ccb" value="true" onchange="if( ($(this).val() == 'true' && this.checked) != $('#cec04de0447905c49fb377c6d9693505').is(':visible') ) { $('#cec04de0447905c49fb377c6d9693505').fadeToggle( 250 ); }"/>Select other time zone</label><div id="cec04de0447905c49fb377c6d9693505" style=" display: none;"><select name="0e35d6393a8ba494aa0723dd51b6899c" class="select form-control"><option value="" selected="selected" data-utc-minute-offset="0"></option><option value="Etc/GMT+12" data-utc-minute-offset="-720">(GMT-12:00) AoE (Anywhere On Earth)</option><option value="Pacific/Midway" data-utc-minute-offset="-660">(GMT-11:00) Midway Island, Samoa</option><option value="America/Adak" data-utc-minute-offset="-600">(GMT-09:00) Hawaii-Aleutian</option><option value="Etc/GMT+10" data-utc-minute-offset="-600">(GMT-10:00) Hawaii</option><option value="Pacific/Marquesas" data-utc-minute-offset="-570">(GMT-09:30) Marquesas Islands</option><option value="Pacific/Gambier" data-utc-minute-offset="-540">(GMT-09:00) Gambier Islands</option><option value="America/Anchorage" data-utc-minute-offset="-540">(GMT-08:00) Alaska</option><option value="America/Ensenada" data-utc-minute-offset="-480">(GMT-07:00) Tijuana, Baja California</option><option value="Etc/GMT+8" data-utc-minute-offset="-480">(GMT-08:00) Pitcairn Islands</option><option value="America/Los_Angeles" data-utc-minute-offset="-480">(GMT-07:00) Pacific Time (US & Canada)</option><option value="America/Denver" data-utc-minute-offset="-420">(GMT-06:00) Mountain Time (US & Canada)</option><option value="America/Chihuahua" data-utc-minute-offset="-360">(GMT-06:00) Chihuahua, La Paz, Mazatlan</option><option value="America/Dawson_Creek" data-utc-minute-offset="-420">(GMT-07:00) Arizona</option><option value="America/Belize" data-utc-minute-offset="-360">(GMT-06:00) Saskatchewan, Central America</option><option value="America/Cancun" data-utc-minute-offset="-300">(GMT-05:00) Guadalajara, Mexico City, Monterrey</option><option value="Chile/EasterIsland" data-utc-minute-offset="-300">(GMT-06:00) Easter Island</option><option value="America/Chicago" data-utc-minute-offset="-360">(GMT-05:00) Central Time (US & Canada)</option><option value="America/New_York" data-utc-minute-offset="-300">(GMT-04:00) Eastern Time (US & Canada)</option><option value="America/Havana" data-utc-minute-offset="-300">(GMT-04:00) Cuba</option><option value="America/Bogota" data-utc-minute-offset="-300">(GMT-05:00) Bogota, Lima, Quito, Rio Branco</option><option value="America/Caracas" data-utc-minute-offset="-240">(GMT-04:00) Caracas</option><option value="America/Santiago" data-utc-minute-offset="-180">(GMT-04:00) Santiago</option><option value="America/La_Paz" data-utc-minute-offset="-240">(GMT-04:00) La Paz</option><option value="Atlantic/Stanley" data-utc-minute-offset="-180">(GMT-03:00) Faukland Islands</option><option value="America/Campo_Grande" data-utc-minute-offset="-240">(GMT-04:00) Manaus, Amazonas, Brazil</option><option value="America/Goose_Bay" data-utc-minute-offset="-240">(GMT-03:00) Atlantic Time (Goose Bay)</option><option value="America/Glace_Bay" data-utc-minute-offset="-240">(GMT-03:00) Atlantic Time (Canada)</option><option value="America/St_Johns" data-utc-minute-offset="-210">(GMT-02:30) Newfoundland</option><option value="America/Araguaina" data-utc-minute-offset="-180">(GMT-03:00) UTC-3</option><option value="America/Montevideo" data-utc-minute-offset="-180">(GMT-03:00) Montevideo</option><option value="America/Miquelon" data-utc-minute-offset="-180">(GMT-02:00) Miquelon, St. Pierre</option><option value="America/Godthab" data-utc-minute-offset="-180">(GMT-02:00) Greenland</option><option value="America/Argentina/Buenos_Aires" data-utc-minute-offset="-180">(GMT-03:00) Buenos Aires</option><option value="America/Sao_Paulo" data-utc-minute-offset="-180">(GMT-03:00) Brasilia, Distrito Federal, Brazil</option><option value="America/Noronha" data-utc-minute-offset="-120">(GMT-02:00) Mid-Atlantic</option><option value="Atlantic/Cape_Verde" data-utc-minute-offset="-60">(GMT-01:00) Cape Verde Is.</option><option value="Atlantic/Azores" data-utc-minute-offset="-60">(GMT) Azores</option><option value="Etc/UTC" data-utc-minute-offset="0">(UTC) Coordinated Universal Time</option><option value="Europe/Belfast" data-utc-minute-offset="0">(GMT+01:00) Belfast</option><option value="Europe/Dublin" data-utc-minute-offset="0">(GMT+01:00) Dublin</option><option value="Europe/Lisbon" data-utc-minute-offset="0">(GMT+01:00) Lisbon</option><option value="Europe/London" data-utc-minute-offset="0">(GMT+01:00) London</option><option value="Africa/Abidjan" data-utc-minute-offset="0">(GMT) Monrovia, Reykjavik</option><option value="Europe/Amsterdam" data-utc-minute-offset="60">(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna</option><option value="Europe/Belgrade" data-utc-minute-offset="60">(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague</option><option value="Europe/Brussels" data-utc-minute-offset="60">(GMT+02:00) Brussels, Copenhagen, Madrid, Paris</option><option value="Africa/Algiers" data-utc-minute-offset="60">(GMT+01:00) West Central Africa</option><option value="Africa/Windhoek" data-utc-minute-offset="120">(GMT+02:00) Windhoek</option><option value="Europe/Athens" data-utc-minute-offset="120">(GMT+03:00) Athens</option><option value="Asia/Beirut" data-utc-minute-offset="120">(GMT+03:00) Beirut</option><option value="Africa/Cairo" data-utc-minute-offset="120">(GMT+02:00) Cairo</option><option value="Asia/Gaza" data-utc-minute-offset="120">(GMT+03:00) Gaza</option><option value="Africa/Blantyre" data-utc-minute-offset="120">(GMT+02:00) Harare, Pretoria</option><option value="Asia/Jerusalem" data-utc-minute-offset="120">(GMT+03:00) Jerusalem</option><option value="Europe/Minsk" data-utc-minute-offset="180">(GMT+03:00) Minsk</option><option value="Asia/Damascus" data-utc-minute-offset="180">(GMT+03:00) Syria</option><option value="Europe/Moscow" data-utc-minute-offset="180">(GMT+03:00) Moscow, St. Petersburg, Volgograd</option><option value="Africa/Addis_Ababa" data-utc-minute-offset="180">(GMT+03:00) Nairobi</option><option value="Asia/Tehran" data-utc-minute-offset="210">(GMT+04:30) Tehran</option><option value="Asia/Dubai" data-utc-minute-offset="240">(GMT+04:00) Abu Dhabi, Muscat</option><option value="Asia/Yerevan" data-utc-minute-offset="240">(GMT+04:00) Yerevan</option><option value="Asia/Kabul" data-utc-minute-offset="270">(GMT+04:30) Kabul</option><option value="Asia/Yekaterinburg" data-utc-minute-offset="300">(GMT+05:00) Ekaterinburg</option><option value="Asia/Tashkent" data-utc-minute-offset="300">(GMT+05:00) Tashkent</option><option value="Asia/Kolkata" data-utc-minute-offset="330">(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi</option><option value="Asia/Katmandu" data-utc-minute-offset="345">(GMT+05:45) Kathmandu</option><option value="Asia/Dhaka" data-utc-minute-offset="360">(GMT+06:00) Astana, Dhaka</option><option value="Asia/Novosibirsk" data-utc-minute-offset="420">(GMT+07:00) Novosibirsk</option><option value="Asia/Rangoon" data-utc-minute-offset="390">(GMT+06:30) Yangon (Rangoon)</option><option value="Asia/Bangkok" data-utc-minute-offset="420">(GMT+07:00) Bangkok, Hanoi, Jakarta</option><option value="Asia/Krasnoyarsk" data-utc-minute-offset="420">(GMT+07:00) Krasnoyarsk</option><option value="Asia/Hong_Kong" data-utc-minute-offset="480">(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi</option><option value="Asia/Irkutsk" data-utc-minute-offset="480">(GMT+08:00) Irkutsk, Ulaan Bataar</option><option value="Australia/Perth" data-utc-minute-offset="480">(GMT+08:00) Perth</option><option value="Australia/Eucla" data-utc-minute-offset="525">(GMT+08:45) Eucla</option><option value="Asia/Tokyo" data-utc-minute-offset="540">(GMT+09:00) Osaka, Sapporo, Tokyo</option><option value="Asia/Seoul" data-utc-minute-offset="540">(GMT+09:00) Seoul</option><option value="Asia/Yakutsk" data-utc-minute-offset="540">(GMT+09:00) Yakutsk</option><option value="Australia/Adelaide" data-utc-minute-offset="630">(GMT+09:30) Adelaide</option><option value="Australia/Darwin" data-utc-minute-offset="570">(GMT+09:30) Darwin</option><option value="Australia/Brisbane" data-utc-minute-offset="600">(GMT+10:00) Brisbane</option><option value="Australia/Hobart" data-utc-minute-offset="660">(GMT+10:00) Hobart</option><option value="Asia/Vladivostok" data-utc-minute-offset="600">(GMT+10:00) Vladivostok</option><option value="Australia/Lord_Howe" data-utc-minute-offset="660">(GMT+10:30) Lord Howe Island</option><option value="Etc/GMT-11" data-utc-minute-offset="660">(GMT+11:00) Solomon Is., New Caledonia</option><option value="Asia/Magadan" data-utc-minute-offset="660">(GMT+11:00) Magadan</option><option value="Pacific/Norfolk" data-utc-minute-offset="720">(GMT+11:00) Norfolk Island</option><option value="Asia/Anadyr" data-utc-minute-offset="720">(GMT+12:00) Anadyr, Kamchatka</option><option value="Pacific/Auckland" data-utc-minute-offset="780">(GMT+12:00) Auckland, Wellington</option><option value="Etc/GMT-12" data-utc-minute-offset="720">(GMT+12:00) Fiji, Kamchatka, Marshall Is.</option><option value="Pacific/Chatham" data-utc-minute-offset="825">(GMT+12:45) Chatham Islands</option><option value="Pacific/Tongatapu" data-utc-minute-offset="780">(GMT+13:00) Nuku'alofa</option><option value="Pacific/Kiritimati" data-utc-minute-offset="840">(GMT+14:00) Kiritimati</option></select><script type="text/javascript">var tzOffsetMin = new Date().getTimezoneOffset()*-1; var sel = document.getElementsByName('0e35d6393a8ba494aa0723dd51b6899c')[0] var opts = sel.options; for (var opt, j = 0; opt = opts[j]; j++) { if (opt.getAttribute('data-utc-minute-offset') == tzOffsetMin) { sel.selectedIndex = j; break; } } </script></div></div></div><br><span class="help-block"><small><span class="glyphicon glyphicon-info-sign"></span> The GMT offsets shown reflect the offsets <strong>at the moment of the conference</strong>.</small></span></div></div><div class="panel panel-default timeband-panel"><div class="panel-heading clearfix"><div class="panel-title">Time Band</div></div><div class="panel-body"><span class="help-block">By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).<br>The time band will also limit the events that are included in the personal iCalendar subscription service.</span><div class="row"><div class="col-sm-11 col-sm-offset-1"><label class="radio"><input type="radio" checked="checked" name="f1869fcfb40f29e9c9c46042f4fbda2c" value="false" onchange="if( ($(this).val() == 'true' && this.checked) != $('#c2371058bcb9b31dd10e115e7f712708').is(':visible') ) { $('#c2371058bcb9b31dd10e115e7f712708').fadeToggle( 250 ); }"/><strong>Display full program</strong></label><label class="radio"><input type="radio" name="f1869fcfb40f29e9c9c46042f4fbda2c" value="true" onchange="if( ($(this).val() == 'true' && this.checked) != $('#c2371058bcb9b31dd10e115e7f712708').is(':visible') ) { $('#c2371058bcb9b31dd10e115e7f712708').fadeToggle( 250 ); }"/>Specify a time band</label><div id="c2371058bcb9b31dd10e115e7f712708" style=" display: none;"><span class="input-group"><input name="a4e58ac1cd9cfb26fb62ecc29e600148" type="text" value="07:00" class="flatpickr inputDate form-control"/><script type="text/javascript">$("input:not(.flatpickr-input)[name=a4e58ac1cd9cfb26fb62ecc29e600148]").flatpickr({onOpen: function(dateObj, dateStr, instance){ if(dateStr == ''){ instance.jumpToDate( new Date() ); } }, allowInput: true, dateformat: 'H:i', altFormat: 'H:i' , altInput: true, time_24hr: true, noCalendar: true, enableTime : true}); </script><span class="input-group-addon"> - </span><input name="01ff55ee23f3ce1eb7d922f922eb09b1" type="text" value="19:00" class="flatpickr inputDate form-control"/><script type="text/javascript">$("input:not(.flatpickr-input)[name=01ff55ee23f3ce1eb7d922f922eb09b1]").flatpickr({onOpen: function(dateObj, dateStr, instance){ if(dateStr == ''){ instance.jumpToDate( new Date() ); } }, allowInput: true, dateformat: 'H:i', altFormat: 'H:i' , altInput: true, time_24hr: true, noCalendar: true, enableTime : true}); </script></span></div></div></div></div></div><div class="row form-group"><div class="col-sm-offset-2 col-sm-10"><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://2019.ecoop.org/userProgramSettingsModalConferenceEdition","userProgramSettingsModalConferenceEdition_apply18ec3dfeeecb5c44c1e40a40983898869", [{"name":"context", "value":"ecoop-2019"},],"form11390898770538530f0e2bbdb67872b491120c5c8a7", this.nextSibling, true,"program-settings-modal"); return false;'></button><a submitid="userProgramSettingsModalConferenceEdition_apply18ec3dfeeecb5c44c1e40a40983898869" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" class="btn btn-primary btn btn-default">Save</a></div></div></form></div><div class="modal-footer"><a href="#" data-dismiss="modal" class="btn btn-default"><span class="glyphicon glyphicon-remove"></span> Close</a></div></div></div></div></div><div class="program-container"><div class="tab-content printable"><p><div class="time-zone-warning text-muted hide-in-print"><div class="alert alert-dismissible alert-info"><button type="button" data-dismiss="alert" aria-label="Close" class="close"><span aria-hidden="true">×</span></button><span class="glyphicon glyphicon-info-sign"></span> You're viewing the program in a time zone which is different from your device's time zone <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change time zone</a></small></div></div><div class="tz-floating-link"><small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings" title="Change Program Display Configuration" class="btn btn-xs btn-info"><span class="glyphicon glyphicon-wrench"></span> <span class="glyphicon glyphicon-time"></span></a></small></div><script type="text/javascript">var tzOffsetMin = new Date().getTimezoneOffset()*-1; if(tzOffsetMin != 0){ $('.time-zone-warning').toggleClass('visible'); window.displayUserProgamSettingsOnce = true; } </script><div id="Detailed-Table" class="tab-pane active"><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Mon 15 Jul</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Belfast</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-10"><table data-facet-date="Mon 15 Jul 2019" data-facet-date-order="190715" data-facet-room="Reims" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c17"></td><td><div class="slot-label">10:45 - 12:15</div></td><td colspan="2"><div class="session-info-in-table">Summer School M1<span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" target="_blank" class="text-muted navigate">Summer School</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-reims" target="_blank" class="room-link navigate">Reims</a><br/> <small>Chair(s): <a href="https://2019.ecoop.org/profile/janvitek" target="_blank" class="navigate">Jan Vitek</a><span class="prog-aff"> Northeastern University</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="83116974-d5b9-41b6-8805-1b1bacba0fd5" class="hidable"><td class="track-color c17"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:45</div><strong>90m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Summer School"></span></td><td><span data-event-star="0214f25a-ebc4-4d4d-b440-dd5b8f252f25" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="0214f25a-ebc4-4d4d-b440-dd5b8f252f25">Static Analysis of Ethereum Smart Contracts</a></strong><div class="prog-track">Summer School</div><div class="performers"><a href="https://2019.ecoop.org/profile/yannissmaragdakis" class="navigate">Yannis Smaragdakis</a><span class="prog-aff"> University of Athens</span></div></td></tr></table></div><div class="hidable band hour-13"><table data-facet-date="Mon 15 Jul 2019" data-facet-date-order="190715" data-facet-room="Reims" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c17"></td><td><div class="slot-label">13:30 - 15:00</div></td><td colspan="2"><div class="session-info-in-table">Summer School M2<span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" target="_blank" class="text-muted navigate">Summer School</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-reims" target="_blank" class="room-link navigate">Reims</a><br/> <small>Chair(s): <a href="https://2019.ecoop.org/profile/eddbarrett" target="_blank" class="navigate">Edd Barrett</a><span class="prog-aff"> King's College London</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="e5fc7a04-becf-4d2c-a63e-9fc2e8bef301" class="hidable"><td class="track-color c17"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:30</div><strong>90m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Summer School"></span></td><td><span data-event-star="dadbfef9-4e18-4bee-8caf-29c4018235b5" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="dadbfef9-4e18-4bee-8caf-29c4018235b5">Origami Programming for Fun and Profit</a></strong><div class="prog-track">Summer School</div><div class="performers"><a href="https://2019.ecoop.org/profile/jeremygibbons" class="navigate">Jeremy Gibbons</a><span class="prog-aff"> Department of Computer Science, University of Oxford</span></div></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Mon 15 Jul 2019" data-facet-date-order="190715" data-facet-room="Reims" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c17"></td><td><div class="slot-label">15:30 - 17:00</div></td><td colspan="2"><div class="session-info-in-table">Summer School M3<span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" target="_blank" class="text-muted navigate">Summer School</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-reims" target="_blank" class="room-link navigate">Reims</a><br/> <small>Chair(s): <a href="https://2019.ecoop.org/profile/laurencetratt" target="_blank" class="navigate">Laurence Tratt</a><span class="prog-aff"> King's College London</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="a4d4f6c6-b217-4edc-87f5-ed8747f31ab7" class="hidable"><td class="track-color c17"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:30</div><strong>90m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Summer School"></span></td><td><span data-event-star="8c31e574-4b62-4d16-bb18-9a6d5f69569c" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="8c31e574-4b62-4d16-bb18-9a6d5f69569c">Remolding the development experience</a></strong><div class="prog-track">Summer School</div><div class="performers"><a href="https://2019.ecoop.org/profile/tudorgirba" class="navigate">Tudor Gîrba</a><span class="prog-aff"> feenk.com</span></div></td></tr></table></div></div><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Tue 16 Jul</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Belfast</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-10"><table data-facet-date="Tue 16 Jul 2019" data-facet-date-order="190716" data-facet-room="Reims" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c17"></td><td><div class="slot-label">10:45 - 12:15</div></td><td colspan="2"><div class="session-info-in-table">Summer School T1<span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" target="_blank" class="text-muted navigate">Summer School</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-reims" target="_blank" class="room-link navigate">Reims</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="324dd7b2-15c5-4ed4-a833-26c39db208ec" class="hidable"><td class="track-color c17"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:45</div><strong>90m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Summer School"></span></td><td><span data-event-star="75546e0e-8bee-4fda-998a-aff86db45183" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="75546e0e-8bee-4fda-998a-aff86db45183">Modular Verification of C and Java Programs with VeriFast - Including Their I/O Behavior</a></strong><div class="prog-track">Summer School</div><div class="performers"><a href="https://2019.ecoop.org/profile/bartjacobs" class="navigate">Bart Jacobs</a><span class="prog-aff"> KU Leuven</span></div></td></tr></table></div><div class="hidable band hour-13"><table data-facet-date="Tue 16 Jul 2019" data-facet-date-order="190716" data-facet-room="Reims" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c17"></td><td><div class="slot-label">13:30 - 15:00</div></td><td colspan="2"><div class="session-info-in-table">Summer School T2<span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" target="_blank" class="text-muted navigate">Summer School</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-reims" target="_blank" class="room-link navigate">Reims</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="ad8c9ec1-e540-47e5-a60c-77d961acfb0d" class="hidable"><td class="track-color c17"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:30</div><strong>90m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Summer School"></span></td><td><span data-event-star="3907a52b-789e-4678-919d-e4f0cee48851" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="3907a52b-789e-4678-919d-e4f0cee48851">How to design a programming language</a></strong><div class="prog-track">Summer School</div><div class="performers"><a href="https://2019.ecoop.org/profile/alanblackwell" class="navigate">Alan Blackwell</a><span class="prog-aff"> University of Cambridge</span></div></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Tue 16 Jul 2019" data-facet-date-order="190716" data-facet-room="Reims" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c17"></td><td><div class="slot-label">15:30 - 17:00</div></td><td colspan="2"><div class="session-info-in-table">Summer School T3<span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" target="_blank" class="text-muted navigate">Summer School</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-reims" target="_blank" class="room-link navigate">Reims</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="64070794-ebc1-416d-8194-60ae973866b3" class="hidable"><td class="track-color c17"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:30</div><strong>90m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Summer School"></span></td><td><span data-event-star="4cf952e0-2a64-43db-81b5-609183b776ff" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="4cf952e0-2a64-43db-81b5-609183b776ff">Operational Semantics driving the Type System Design: Reference Capabilities in Pony</a></strong><div class="prog-track">Summer School</div><div class="performers"><a href="https://2019.ecoop.org/profile/sophiadrossopoulou" class="navigate">Sophia Drossopoulou</a><span class="prog-aff"> Imperial College London</span></div></td></tr></table></div></div><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Wed 17 Jul</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Belfast</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-10"><table data-facet-date="Wed 17 Jul 2019" data-facet-date-order="190717" data-facet-room="Reims" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c17"></td><td><div class="slot-label">10:30 - 12:10</div></td><td colspan="2"><div class="session-info-in-table">Summer School W1<span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" target="_blank" class="text-muted navigate">Summer School</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-reims" target="_blank" class="room-link navigate">Reims</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="28042e77-0dda-4995-86d2-48ad97e5bd61" class="hidable"><td class="track-color c17"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:30</div><strong>1h40m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Summer School"></span></td><td><span data-event-star="88bea3c6-98df-4105-a5fb-bb1cf5046925" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="88bea3c6-98df-4105-a5fb-bb1cf5046925">Interactive Decentralised Software Made Easy</a></strong><div class="prog-track">Summer School</div><div class="performers"><a href="https://2019.ecoop.org/profile/miramezini" class="navigate">Mira Mezini</a><span class="prog-aff"> TU Darmstadt, Germany</span></div></td></tr></table></div><div class="hidable band hour-13"><table data-facet-date="Wed 17 Jul 2019" data-facet-date-order="190717" data-facet-room="Reims" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c17"></td><td><div class="slot-label">13:30 - 15:10</div></td><td colspan="2"><div class="session-info-in-table">Summer School W2<span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" target="_blank" class="text-muted navigate">Summer School</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-reims" target="_blank" class="room-link navigate">Reims</a><br/> <small>Chair(s): <a href="https://2019.ecoop.org/profile/eddbarrett" target="_blank" class="navigate">Edd Barrett</a><span class="prog-aff"> King's College London</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="75e341ca-be75-4bda-a12d-6615f8fe89a5" class="hidable"><td class="track-color c17"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:30</div><strong>1h40m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Summer School"></span></td><td><span data-event-star="555d58c7-c4d2-4f24-bec0-10dad65d3940" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="555d58c7-c4d2-4f24-bec0-10dad65d3940">Crypto Pump-and-dump Schemes: Why Can’t We Have Good Things?</a></strong><div class="prog-track">Summer School</div><div class="performers"><a href="https://2019.ecoop.org/profile/benlivshits" class="navigate">Ben Livshits</a><span class="prog-aff"> Imperial College London, UK</span></div></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Wed 17 Jul 2019" data-facet-date-order="190717" data-facet-room="Reims" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c17"></td><td><div class="slot-label">15:40 - 17:20</div></td><td colspan="2"><div class="session-info-in-table">Summer School W3<span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" target="_blank" class="text-muted navigate">Summer School</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-reims" target="_blank" class="room-link navigate">Reims</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="e1d4332f-b6fc-449e-b25e-7bd0f2bccc77" class="hidable"><td class="track-color c17"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:40</div><strong>1h40m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Summer School"></span></td><td><span data-event-star="683377db-4d92-4b86-9626-ef617aa2ba11" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="683377db-4d92-4b86-9626-ef617aa2ba11">The Future of Java</a></strong><div class="prog-track">Summer School</div><div class="performers"><a href="https://2019.ecoop.org/profile/gavinbierman" class="navigate">Gavin Bierman</a><span class="prog-aff"> Oracle Labs</span></div></td></tr></table></div></div><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Thu 18 Jul</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Belfast</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-10"><table data-facet-date="Thu 18 Jul 2019" data-facet-date-order="190718" data-facet-room="Reims" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c17"></td><td><div class="slot-label">10:30 - 12:10</div></td><td colspan="2"><div class="session-info-in-table">Summer School R1<span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" target="_blank" class="text-muted navigate">Summer School</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-reims" target="_blank" class="room-link navigate">Reims</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="12c4157c-2b16-4579-b8cd-3acec4623c77" class="hidable"><td class="track-color c17"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:30</div><strong>1h40m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Summer School"></span></td><td><span data-event-star="0a21d644-0d68-42b8-961a-c3f53a0b7c04" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="0a21d644-0d68-42b8-961a-c3f53a0b7c04">Gillian: A General Static Analysis Framework based on Separation Logic</a></strong><div class="prog-track">Summer School</div><div class="performers"><a href="https://2019.ecoop.org/profile/philippagardner" class="navigate">Philippa Gardner</a><span class="prog-aff"> Imperial College London</span></div></td></tr></table></div><div class="hidable band hour-13"><table data-facet-date="Thu 18 Jul 2019" data-facet-date-order="190718" data-facet-room="Reims" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c17"></td><td><div class="slot-label">13:30 - 15:10</div></td><td colspan="2"><div class="session-info-in-table">Summer School R2<span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" target="_blank" class="text-muted navigate">Summer School</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-reims" target="_blank" class="room-link navigate">Reims</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="78186285-5a00-4669-97d8-011e1c52bc0a" class="hidable"><td class="track-color c17"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:30</div><strong>1h40m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Summer School"></span></td><td><span data-event-star="98773682-0475-4aa5-aa01-0aa7ab7e5e05" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="98773682-0475-4aa5-aa01-0aa7ab7e5e05">SM4E - Self-Marketing for Engineers</a></strong><div class="prog-track">Summer School</div><div class="performers"><a href="https://2019.ecoop.org/profile/chrislaffra" class="navigate">Chris Laffra</a><span class="prog-aff"> Uber Amsterdam</span></div></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Thu 18 Jul 2019" data-facet-date-order="190718" data-facet-room="Reims" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c17"></td><td><div class="slot-label">15:40 - 16:40</div></td><td colspan="2"><div class="session-info-in-table">Summer School R3<span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" target="_blank" class="text-muted navigate">Summer School</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-reims" target="_blank" class="room-link navigate">Reims</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="0f68bfaf-6e91-40b0-be4f-2e3122d3fcd8" class="hidable"><td class="track-color c17"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:40</div><strong>60m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Summer School"></span></td><td><span data-event-star="179e7dd5-e17d-435a-80c0-2eab17cbf55b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="179e7dd5-e17d-435a-80c0-2eab17cbf55b">POPLOG -- a pioneering multi-language/multi-paradigm development toolkit born in the UK nearly four decades ago</a></strong><div class="prog-track">Summer School</div><div class="performers"><a href="https://2019.ecoop.org/profile/stephenleach" class="navigate">Stephen Leach</a><span class="prog-aff"> </span></div></td></tr></table></div></div><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Fri 19 Jul</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Belfast</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-9"><table data-facet-date="Fri 19 Jul 2019" data-facet-date-order="190719" data-facet-room="Reims" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c3"></td><td><div class="slot-label">09:00 - 10:00</div></td><td colspan="2"><div class="session-info-in-table">DS Session 1 <span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-docsymp" target="_blank" class="text-muted navigate">Doctoral Symposium</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-reims" target="_blank" class="room-link navigate">Reims</a><br/> <small>Chair(s): <a href="https://2019.ecoop.org/profile/juliabelyakova" target="_blank" class="navigate">Julia Belyakova</a><span class="prog-aff"> Northeastern University, USA</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="97bba12b-fb40-45af-a6a6-48dcb979632c" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">09:00</div><strong>5m</strong></div><div class="event-type">Day opening</div><span data-facet-track="ECOOP Doctoral Symposium"></span></td><td><span data-event-star="5567343f-8a08-403f-b1d7-0d64eefa1e1c" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="5567343f-8a08-403f-b1d7-0d64eefa1e1c">Opening</a></strong><div class="prog-track">Doctoral Symposium</div><br></td></tr><tr data-slot-id="4c37340b-4d08-45bc-bb5c-42f23095e962" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">09:05</div><strong>15m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Doctoral Symposium"></span></td><td><span data-event-star="d6730181-f700-441b-9861-b4e55fc0f636" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="d6730181-f700-441b-9861-b4e55fc0f636">Lightning Talks</a></strong><div class="prog-track">Doctoral Symposium</div><br></td></tr><tr data-slot-id="c36b2ed4-439f-48d7-8645-1a0e58e4fbf0" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">09:20</div><strong>40m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Doctoral Symposium"></span></td><td><span data-event-star="c6473d04-49e4-4c59-a6e9-820d740aece8" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="c6473d04-49e4-4c59-a6e9-820d740aece8">Keynote: A Roadmap to PhD: Impressions and Experiences</a></strong><div class="prog-track">Doctoral Symposium</div><div class="performers"><a href="https://2019.ecoop.org/profile/guidosalvaneschi" class="navigate">Guido Salvaneschi</a><span class="prog-aff"> TU Darmstadt</span></div></td></tr></table></div><div class="hidable band hour-10"><table data-facet-date="Fri 19 Jul 2019" data-facet-date-order="190719" data-facet-room="Reims" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c3"></td><td><div class="slot-label">10:30 - 12:10</div></td><td colspan="2"><div class="session-info-in-table">DS Session 2<span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-docsymp" target="_blank" class="text-muted navigate">Doctoral Symposium</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-reims" target="_blank" class="room-link navigate">Reims</a><br/> <small>Chair(s): <a href="https://2019.ecoop.org/profile/lisanguyenquangdo" target="_blank" class="navigate">Lisa Nguyen Quang Do</a><span class="prog-aff"> Paderborn University</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="e23158c7-068d-4393-8695-73c83f87d48a" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:30</div><strong>30m</strong></div><div class="event-type">Doctoral symposium paper</div><span data-facet-track="ECOOP Doctoral Symposium"></span></td><td><span data-event-star="0435c7fe-eaab-4c99-ad3a-b284810f874d" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="0435c7fe-eaab-4c99-ad3a-b284810f874d">POSIX Regular Expression Matching and Lexing</a></strong><div class="prog-track">Doctoral Symposium</div><div class="performers"><a href="https://2019.ecoop.org/profile/chengsongtan" class="navigate">Chengsong Tan</a><span class="prog-aff"> King's College London</span></div></td></tr><tr data-slot-id="2ea1369e-299e-4d91-9b7e-cba444cd0671" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:00</div><strong>30m</strong></div><div class="event-type">Doctoral symposium paper</div><span data-facet-track="ECOOP Doctoral Symposium"></span></td><td><span data-event-star="a5ece5b8-93cd-4a88-a76a-2f9742c87462" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="a5ece5b8-93cd-4a88-a76a-2f9742c87462">Pointer Analysis as reachability problem over Push Down System</a></strong><div class="prog-track">Doctoral Symposium</div><div class="performers"><a href="https://2019.ecoop.org/profile/jyotiprakash1" class="navigate">Jyoti Prakash</a><span class="prog-aff"> University of Potsdam, Germany</span></div></td></tr><tr data-slot-id="01f0244e-cd9e-461d-beb9-fdca40d0c532" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:30</div><strong>40m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Doctoral Symposium"></span></td><td><span data-event-star="96dc86dd-f263-4852-a815-eb40dc989150" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="96dc86dd-f263-4852-a815-eb40dc989150">Keynote: Self-Marketing as a Researcher</a></strong><div class="prog-track">Doctoral Symposium</div><div class="performers"><a href="https://2019.ecoop.org/profile/benhermann" class="navigate">Ben Hermann</a><span class="prog-aff"> Paderborn University</span></div><a href="https://2019.ecoop.org/details/ecoop-2019-docsymp/3/Keynote-Self-Marketing-as-a-Researcher" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr></table></div><div class="hidable band hour-13"><table data-facet-date="Fri 19 Jul 2019" data-facet-date-order="190719" data-facet-room="Reims" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c3"></td><td><div class="slot-label">13:30 - 15:10</div></td><td colspan="2"><div class="session-info-in-table">DS Session 3<span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-docsymp" target="_blank" class="text-muted navigate">Doctoral Symposium</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-reims" target="_blank" class="room-link navigate">Reims</a><br/> <small>Chair(s): <a href="https://2019.ecoop.org/profile/juliabelyakova" target="_blank" class="navigate">Julia Belyakova</a><span class="prog-aff"> Northeastern University, USA</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="66c7886c-8cc8-4c88-b481-9542fcccf4fe" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:30</div><strong>30m</strong></div><div class="event-type">Doctoral symposium paper</div><span data-facet-track="ECOOP Doctoral Symposium"></span></td><td><span data-event-star="64358cd3-bc0d-41e6-ad44-1f6ff81556ca" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="64358cd3-bc0d-41e6-ad44-1f6ff81556ca">Improving the Efficiency, Scalability, and Applicability of Static Program Analysis in Real-World Operational Scenarios</a></strong><div class="prog-track">Doctoral Symposium</div><div class="performers"><a href="https://2019.ecoop.org/profile/philippdominikschubert" class="navigate">Philipp Dominik Schubert</a><span class="prog-aff"> Heinz Nixdorf Institut, Paderborn University</span></div></td></tr><tr data-slot-id="c7c7c489-198b-4342-a0b5-20470ba87876" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:00</div><strong>30m</strong></div><div class="event-type">Doctoral symposium paper</div><span data-facet-track="ECOOP Doctoral Symposium"></span></td><td><span data-event-star="cbe89c92-0aaf-4f1e-b27c-374f5c79a7c9" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="cbe89c92-0aaf-4f1e-b27c-374f5c79a7c9">State Explosion Considered Harmful</a></strong><div class="prog-track">Doctoral Symposium</div><div class="performers"><a href="https://2019.ecoop.org/profile/robbertgurdeepsingh" class="navigate">Robbert Gurdeep Singh</a><span class="prog-aff"> Universiteit Gent, Belgium</span></div></td></tr><tr data-slot-id="5e18857c-33c3-4b64-bf69-bd0047cb30f3" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:30</div><strong>30m</strong></div><div class="event-type">Doctoral symposium paper</div><span data-facet-track="ECOOP Doctoral Symposium"></span></td><td><span data-event-star="7e94ec11-0a42-4dd1-b3ab-7f6121d5b078" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="7e94ec11-0a42-4dd1-b3ab-7f6121d5b078">Session Types in the Real World: A Minimalistic Approach</a></strong><div class="prog-track">Doctoral Symposium</div><div class="performers"><a href="https://2019.ecoop.org/profile/alenarslanagic" class="navigate">Alen Arslanagić</a><span class="prog-aff"> University of Groningen</span></div></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Fri 19 Jul 2019" data-facet-date-order="190719" data-facet-room="Reims" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c3"></td><td><div class="slot-label">15:40 - 17:20</div></td><td colspan="2"><div class="session-info-in-table">DS Session 4<span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-docsymp" target="_blank" class="text-muted navigate">Doctoral Symposium</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-reims" target="_blank" class="room-link navigate">Reims</a><br/> <small>Chair(s): <a href="https://2019.ecoop.org/profile/juliabelyakova" target="_blank" class="navigate">Julia Belyakova</a><span class="prog-aff"> Northeastern University, USA</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="4904ab79-374d-4d91-93cd-fe09d925e6f9" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:40</div><strong>30m</strong></div><div class="event-type">Doctoral symposium paper</div><span data-facet-track="ECOOP Doctoral Symposium"></span></td><td><span data-event-star="24ef63fe-0b50-4c73-9ebf-a270a126851e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="24ef63fe-0b50-4c73-9ebf-a270a126851e">Security Evaluation of Industrial Web ApplicationsUsing Taint Analysis</a></strong><div class="prog-track">Doctoral Symposium</div><div class="performers"><a href="https://2019.ecoop.org/profile/gebrehiwetbiyanewelearegai" class="navigate">Gebrehiwet Biyane Welearegai</a><span class="prog-aff"> University of Potsdam, Germany</span></div></td></tr><tr data-slot-id="3cf8f70f-e6fe-4a8b-ab7f-de024d6db983" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:10</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Doctoral Symposium"></span></td><td><span data-event-star="c5506def-cf4d-4a87-b8b6-c76a6de54187" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="c5506def-cf4d-4a87-b8b6-c76a6de54187">Invited talk: How to get your Ph.D. DONE!</a></strong><div class="prog-track">Doctoral Symposium</div><div class="performers"><a href="https://2019.ecoop.org/profile/ericjul" class="navigate">Eric Jul</a><span class="prog-aff"> University of Oslo</span></div></td></tr></table></div></div></div><div id="Session-Timeline" class="tab-pane "><div class="hidable day-wrapper"><h4 class="day-header"><div><div>Mon 15 Jul</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Belfast</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="timeline-wrap-outer"><div class="timeline-wrap-inner"><table class="table-condensed timeline-table table-striped"><thead><tr class="five-min-steps"><th class="timeline-first-col"></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th></tr><tr><th class="timeline-first-col">Room</th><th colspan="6" class="timeline-header timeline-30m-header hour-header">10:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">11:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">12:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">13:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">14:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">15:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">16:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th></tr></thead><div class="hidable"><tr class="hidable"><td class="timeline-first-col "><a href="https://2019.ecoop.org/room/ecoop-2019-venue-reims" target="_blank" class="room-link btn btn-room btn-xs navigate">Reims</a></td><td colspan="9" class="timeline-col empty "></td><td colspan="18" class="timeline-col"><div class="hidable"><div data-facet-track="ECOOP Summer School" data-facet-date="Mon 15 Jul 2019" data-facet-date-order="190715" data-slot-id="ccf2f1b0-9a38-4363-9a96-4c3581767ba5" data-facet-room="Reims" class="hidable"><div class="band hour-10"><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" target="_blank" class="navigate"><div class="timeline-elem track-elem track-color c17"><h4>Summer School</h4>Summer School M1<span data-event-star="0214f25a-ebc4-4d4d-b440-dd5b8f252f25"/></div></a></div></div></div></td><td colspan="9" class="timeline-col empty "></td><td colspan="6" class="timeline-col empty "></td><td colspan="18" class="timeline-col"><div class="hidable"><div data-facet-track="ECOOP Summer School" data-facet-date="Mon 15 Jul 2019" data-facet-date-order="190715" data-slot-id="64fece18-99f1-4838-b56e-4e6f5bf5dd66" data-facet-room="Reims" class="hidable"><div class="band hour-13"><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" target="_blank" class="navigate"><div class="timeline-elem track-elem track-color c17"><h4>Summer School</h4>Summer School M2<span data-event-star="dadbfef9-4e18-4bee-8caf-29c4018235b5"/></div></a></div></div></div></td><td colspan="6" class="timeline-col empty "></td><td colspan="18" class="timeline-col"><div class="hidable"><div data-facet-track="ECOOP Summer School" data-facet-date="Mon 15 Jul 2019" data-facet-date-order="190715" data-slot-id="cfea40e7-ae1c-424e-a9a9-a6c476dab263" data-facet-room="Reims" class="hidable"><div class="band hour-15"><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" target="_blank" class="navigate"><div class="timeline-elem track-elem track-color c17"><h4>Summer School</h4>Summer School M3<span data-event-star="8c31e574-4b62-4d16-bb18-9a6d5f69569c"/></div></a></div></div></div></td></tr></div></table></div></div></div><div class="hidable day-wrapper"><h4 class="day-header"><div><div>Tue 16 Jul</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Belfast</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="timeline-wrap-outer"><div class="timeline-wrap-inner"><table class="table-condensed timeline-table table-striped"><thead><tr class="five-min-steps"><th class="timeline-first-col"></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th></tr><tr><th class="timeline-first-col">Room</th><th colspan="6" class="timeline-header timeline-30m-header hour-header">10:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">11:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">12:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">13:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">14:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">15:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">16:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th></tr></thead><div class="hidable"><tr class="hidable"><td class="timeline-first-col "><a href="https://2019.ecoop.org/room/ecoop-2019-venue-reims" target="_blank" class="room-link btn btn-room btn-xs navigate">Reims</a></td><td colspan="9" class="timeline-col empty "></td><td colspan="18" class="timeline-col"><div class="hidable"><div data-facet-track="ECOOP Summer School" data-facet-date="Tue 16 Jul 2019" data-facet-date-order="190716" data-slot-id="a3186d5b-3bfb-4c78-8548-34b023069449" data-facet-room="Reims" class="hidable"><div class="band hour-10"><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" target="_blank" class="navigate"><div class="timeline-elem track-elem track-color c17"><h4>Summer School</h4>Summer School T1<span data-event-star="75546e0e-8bee-4fda-998a-aff86db45183"/></div></a></div></div></div></td><td colspan="9" class="timeline-col empty "></td><td colspan="6" class="timeline-col empty "></td><td colspan="18" class="timeline-col"><div class="hidable"><div data-facet-track="ECOOP Summer School" data-facet-date="Tue 16 Jul 2019" data-facet-date-order="190716" data-slot-id="c016dbc0-c604-4bd8-a4d4-58cea6f06576" data-facet-room="Reims" class="hidable"><div class="band hour-13"><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" target="_blank" class="navigate"><div class="timeline-elem track-elem track-color c17"><h4>Summer School</h4>Summer School T2<span data-event-star="3907a52b-789e-4678-919d-e4f0cee48851"/></div></a></div></div></div></td><td colspan="6" class="timeline-col empty "></td><td colspan="18" class="timeline-col"><div class="hidable"><div data-facet-track="ECOOP Summer School" data-facet-date="Tue 16 Jul 2019" data-facet-date-order="190716" data-slot-id="77f671b6-fd71-4d82-a9c3-4d34e256c7f7" data-facet-room="Reims" class="hidable"><div class="band hour-15"><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" target="_blank" class="navigate"><div class="timeline-elem track-elem track-color c17"><h4>Summer School</h4>Summer School T3<span data-event-star="4cf952e0-2a64-43db-81b5-609183b776ff"/></div></a></div></div></div></td></tr></div></table></div></div></div><div class="hidable day-wrapper"><h4 class="day-header"><div><div>Wed 17 Jul</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Belfast</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="timeline-wrap-outer"><div class="timeline-wrap-inner"><table class="table-condensed timeline-table table-striped"><thead><tr class="five-min-steps"><th class="timeline-first-col"></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th></tr><tr><th class="timeline-first-col">Room</th><th colspan="6" class="timeline-header timeline-30m-header hour-header">10:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">11:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">12:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">13:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">14:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">15:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">16:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">17:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th></tr></thead><div class="hidable"><tr class="hidable"><td class="timeline-first-col "><a href="https://2019.ecoop.org/room/ecoop-2019-venue-reims" target="_blank" class="room-link btn btn-room btn-xs navigate">Reims</a></td><td colspan="6" class="timeline-col empty "></td><td colspan="20" class="timeline-col"><div class="hidable"><div data-facet-track="ECOOP Summer School" data-facet-date="Wed 17 Jul 2019" data-facet-date-order="190717" data-slot-id="f6d07567-6df8-4956-a281-e16b9d5d92b9" data-facet-room="Reims" class="hidable"><div class="band hour-10"><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" target="_blank" class="navigate"><div class="timeline-elem track-elem track-color c17"><h4>Summer School</h4>Summer School W1<span data-event-star="88bea3c6-98df-4105-a5fb-bb1cf5046925"/></div></a></div></div></div></td><td colspan="10" class="timeline-col empty "></td><td colspan="6" class="timeline-col empty "></td><td colspan="20" class="timeline-col"><div class="hidable"><div data-facet-track="ECOOP Summer School" data-facet-date="Wed 17 Jul 2019" data-facet-date-order="190717" data-slot-id="94672087-38be-4b17-89b2-00b9e1eac039" data-facet-room="Reims" class="hidable"><div class="band hour-13"><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" target="_blank" class="navigate"><div class="timeline-elem track-elem track-color c17"><h4>Summer School</h4>Summer School W2<span data-event-star="555d58c7-c4d2-4f24-bec0-10dad65d3940"/></div></a></div></div></div></td><td colspan="6" class="timeline-col empty "></td><td colspan="20" class="timeline-col"><div class="hidable"><div data-facet-track="ECOOP Summer School" data-facet-date="Wed 17 Jul 2019" data-facet-date-order="190717" data-slot-id="d6725019-0651-40e6-b778-34b07bdede9d" data-facet-room="Reims" class="hidable"><div class="band hour-15"><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" target="_blank" class="navigate"><div class="timeline-elem track-elem track-color c17"><h4>Summer School</h4>Summer School W3<span data-event-star="683377db-4d92-4b86-9626-ef617aa2ba11"/></div></a></div></div></div></td><td colspan="8" class="timeline-col empty "></td></tr></div></table></div></div></div><div class="hidable day-wrapper"><h4 class="day-header"><div><div>Thu 18 Jul</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Belfast</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="timeline-wrap-outer"><div class="timeline-wrap-inner"><table class="table-condensed timeline-table table-striped"><thead><tr class="five-min-steps"><th class="timeline-first-col"></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th></tr><tr><th class="timeline-first-col">Room</th><th colspan="6" class="timeline-header timeline-30m-header hour-header">10:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">11:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">12:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">13:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">14:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">15:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">16:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th></tr></thead><div class="hidable"><tr class="hidable"><td class="timeline-first-col "><a href="https://2019.ecoop.org/room/ecoop-2019-venue-reims" target="_blank" class="room-link btn btn-room btn-xs navigate">Reims</a></td><td colspan="6" class="timeline-col empty "></td><td colspan="20" class="timeline-col"><div class="hidable"><div data-facet-track="ECOOP Summer School" data-facet-date="Thu 18 Jul 2019" data-facet-date-order="190718" data-slot-id="d50d6f98-76ae-40cf-9823-7e73afd198cd" data-facet-room="Reims" class="hidable"><div class="band hour-10"><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" target="_blank" class="navigate"><div class="timeline-elem track-elem track-color c17"><h4>Summer School</h4>Summer School R1<span data-event-star="0a21d644-0d68-42b8-961a-c3f53a0b7c04"/></div></a></div></div></div></td><td colspan="10" class="timeline-col empty "></td><td colspan="6" class="timeline-col empty "></td><td colspan="20" class="timeline-col"><div class="hidable"><div data-facet-track="ECOOP Summer School" data-facet-date="Thu 18 Jul 2019" data-facet-date-order="190718" data-slot-id="e2a5b756-d09b-41a3-a6bf-7ce9adc0a43c" data-facet-room="Reims" class="hidable"><div class="band hour-13"><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" target="_blank" class="navigate"><div class="timeline-elem track-elem track-color c17"><h4>Summer School</h4>Summer School R2<span data-event-star="98773682-0475-4aa5-aa01-0aa7ab7e5e05"/></div></a></div></div></div></td><td colspan="6" class="timeline-col empty "></td><td colspan="12" class="timeline-col"><div class="hidable"><div data-facet-track="ECOOP Summer School" data-facet-date="Thu 18 Jul 2019" data-facet-date-order="190718" data-slot-id="475487d1-f894-4f85-8ff7-e556df484b8e" data-facet-room="Reims" class="hidable"><div class="band hour-15"><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" target="_blank" class="navigate"><div class="timeline-elem track-elem track-color c17"><h4>Summer School</h4>Summer School R3<span data-event-star="179e7dd5-e17d-435a-80c0-2eab17cbf55b"/></div></a></div></div></div></td><td colspan="4" class="timeline-col empty "></td></tr></div></table></div></div></div><div class="hidable day-wrapper"><h4 class="day-header"><div><div>Fri 19 Jul</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Belfast</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="timeline-wrap-outer"><div class="timeline-wrap-inner"><table class="table-condensed timeline-table table-striped"><thead><tr class="five-min-steps"><th class="timeline-first-col"></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th></tr><tr><th class="timeline-first-col">Room</th><th colspan="6" class="timeline-header timeline-30m-header hour-header">9:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">10:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">11:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">12:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">13:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">14:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">15:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">16:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">17:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th></tr></thead><div class="hidable"><tr class="hidable"><td class="timeline-first-col "><a href="https://2019.ecoop.org/room/ecoop-2019-venue-reims" target="_blank" class="room-link btn btn-room btn-xs navigate">Reims</a></td><td colspan="12" class="timeline-col"><div class="hidable"><div data-facet-track="ECOOP Doctoral Symposium" data-facet-date="Fri 19 Jul 2019" data-facet-date-order="190719" data-slot-id="22bc01c0-e985-448d-acf6-8bf0179c6348" data-facet-room="Reims" class="hidable"><div class="band hour-9"><a href="https://2019.ecoop.org/track/ecoop-2019-docsymp" target="_blank" class="navigate"><div class="timeline-elem track-elem track-color c3"><h4>Doctoral Symposium</h4>DS Session 1 <span data-event-star="d6730181-f700-441b-9861-b4e55fc0f636"/><span data-event-star="5567343f-8a08-403f-b1d7-0d64eefa1e1c"/><span data-event-star="c6473d04-49e4-4c59-a6e9-820d740aece8"/></div></a></div></div></div></td><td colspan="6" class="timeline-col empty "></td><td colspan="20" class="timeline-col"><div class="hidable"><div data-facet-track="ECOOP Doctoral Symposium" data-facet-date="Fri 19 Jul 2019" data-facet-date-order="190719" data-slot-id="cb7ea948-f2df-4739-8482-9ebfad14d295" data-facet-room="Reims" class="hidable"><div class="band hour-10"><a href="https://2019.ecoop.org/track/ecoop-2019-docsymp" target="_blank" class="navigate"><div class="timeline-elem track-elem track-color c3"><h4>Doctoral Symposium</h4>DS Session 2<span data-event-star="96dc86dd-f263-4852-a815-eb40dc989150"/><span data-event-star="a5ece5b8-93cd-4a88-a76a-2f9742c87462"/><span data-event-star="0435c7fe-eaab-4c99-ad3a-b284810f874d"/></div></a></div></div></div></td><td colspan="10" class="timeline-col empty "></td><td colspan="6" class="timeline-col empty "></td><td colspan="20" class="timeline-col"><div class="hidable"><div data-facet-track="ECOOP Doctoral Symposium" data-facet-date="Fri 19 Jul 2019" data-facet-date-order="190719" data-slot-id="f7dfb2ab-c4bb-499f-b22b-c6184e92bf06" data-facet-room="Reims" class="hidable"><div class="band hour-13"><a href="https://2019.ecoop.org/track/ecoop-2019-docsymp" target="_blank" class="navigate"><div class="timeline-elem track-elem track-color c3"><h4>Doctoral Symposium</h4>DS Session 3<span data-event-star="7e94ec11-0a42-4dd1-b3ab-7f6121d5b078"/><span data-event-star="64358cd3-bc0d-41e6-ad44-1f6ff81556ca"/><span data-event-star="cbe89c92-0aaf-4f1e-b27c-374f5c79a7c9"/></div></a></div></div></div></td><td colspan="6" class="timeline-col empty "></td><td colspan="20" class="timeline-col"><div class="hidable"><div data-facet-track="ECOOP Doctoral Symposium" data-facet-date="Fri 19 Jul 2019" data-facet-date-order="190719" data-slot-id="758c8769-fc82-4e4e-848b-27aadfac0baf" data-facet-room="Reims" class="hidable"><div class="band hour-15"><a href="https://2019.ecoop.org/track/ecoop-2019-docsymp" target="_blank" class="navigate"><div class="timeline-elem track-elem track-color c3"><h4>Doctoral Symposium</h4>DS Session 4<span data-event-star="c5506def-cf4d-4a87-b8b6-c76a6de54187"/><span data-event-star="24ef63fe-0b50-4c73-9ebf-a270a126851e"/></div></a></div></div></div></td><td colspan="8" class="timeline-col empty "></td></tr></div></table></div></div></div></div><div id="Detailed-Timeline" class="tab-pane "><div class="hidable day-wrapper"><h4 class="day-header"><div><div>Mon 15 Jul</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Belfast</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="timeline-wrap-outer"><div class="timeline-wrap-inner"><table class="table-condensed timeline-table table-striped"><thead><tr class="five-min-steps"><th class="timeline-first-col"></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th></tr><tr><th class="timeline-first-col">Room</th><th colspan="3" class="timeline-header timeline-15m-header hour-header">10:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">11:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">12:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">13:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">14:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">15:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">16:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th></tr></thead><div class="hidable"><tr class="hidable"><td class="timeline-first-col "><a href="https://2019.ecoop.org/room/ecoop-2019-venue-reims" target="_blank" class="room-link btn btn-room btn-xs navigate">Reims</a></td><td colspan="9" class="timeline-col empty "></td><td colspan="18" class="timeline-col"><div class="hidable"><div data-facet-track="ECOOP Summer School" data-facet-date="Mon 15 Jul 2019" data-facet-date-order="190715" data-slot-id="83116974-d5b9-41b6-8805-1b1bacba0fd5" data-facet-room="Reims" class="hidable"><div class="band hour-10"><a href="#" data-event-modal="0214f25a-ebc4-4d4d-b440-dd5b8f252f25"><div class="timeline-elem event-elem track-color c17"><span data-event-star="0214f25a-ebc4-4d4d-b440-dd5b8f252f25" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span><div><strong>ECOOP Summer School</strong></div><div>Static Analysis of Ethereum Smart Contracts</div></div></a><div class="small clearfix"><span class="pull-left">10:45 - 12:15</span></div></div></div></div></td><td colspan="9" class="timeline-col empty "></td><td colspan="6" class="timeline-col empty "></td><td colspan="18" class="timeline-col"><div class="hidable"><div data-facet-track="ECOOP Summer School" data-facet-date="Mon 15 Jul 2019" data-facet-date-order="190715" data-slot-id="e5fc7a04-becf-4d2c-a63e-9fc2e8bef301" data-facet-room="Reims" class="hidable"><div class="band hour-13"><a href="#" data-event-modal="dadbfef9-4e18-4bee-8caf-29c4018235b5"><div class="timeline-elem event-elem track-color c17"><span data-event-star="dadbfef9-4e18-4bee-8caf-29c4018235b5" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span><div><strong>ECOOP Summer School</strong></div><div>Origami Programming for Fun and Profit</div></div></a><div class="small clearfix"><span class="pull-left">13:30 - 15:00</span></div></div></div></div></td><td colspan="6" class="timeline-col empty "></td><td colspan="18" class="timeline-col"><div class="hidable"><div data-facet-track="ECOOP Summer School" data-facet-date="Mon 15 Jul 2019" data-facet-date-order="190715" data-slot-id="a4d4f6c6-b217-4edc-87f5-ed8747f31ab7" data-facet-room="Reims" class="hidable"><div class="band hour-15"><a href="#" data-event-modal="8c31e574-4b62-4d16-bb18-9a6d5f69569c"><div class="timeline-elem event-elem track-color c17"><span data-event-star="8c31e574-4b62-4d16-bb18-9a6d5f69569c" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span><div><strong>ECOOP Summer School</strong></div><div>Remolding the development experience</div></div></a><div class="small clearfix"><span class="pull-left">15:30 - 17:00</span></div></div></div></div></td></tr></div></table></div></div></div><div class="hidable day-wrapper"><h4 class="day-header"><div><div>Tue 16 Jul</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Belfast</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="timeline-wrap-outer"><div class="timeline-wrap-inner"><table class="table-condensed timeline-table table-striped"><thead><tr class="five-min-steps"><th class="timeline-first-col"></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th></tr><tr><th class="timeline-first-col">Room</th><th colspan="3" class="timeline-header timeline-15m-header hour-header">10:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">11:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">12:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">13:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">14:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">15:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">16:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th></tr></thead><div class="hidable"><tr class="hidable"><td class="timeline-first-col "><a href="https://2019.ecoop.org/room/ecoop-2019-venue-reims" target="_blank" class="room-link btn btn-room btn-xs navigate">Reims</a></td><td colspan="9" class="timeline-col empty "></td><td colspan="18" class="timeline-col"><div class="hidable"><div data-facet-track="ECOOP Summer School" data-facet-date="Tue 16 Jul 2019" data-facet-date-order="190716" data-slot-id="324dd7b2-15c5-4ed4-a833-26c39db208ec" data-facet-room="Reims" class="hidable"><div class="band hour-10"><a href="#" data-event-modal="75546e0e-8bee-4fda-998a-aff86db45183"><div class="timeline-elem event-elem track-color c17"><span data-event-star="75546e0e-8bee-4fda-998a-aff86db45183" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span><div><strong>ECOOP Summer School</strong></div><div>Modular Verification of C and Java Programs with VeriFast - Including T ...</div></div></a><div class="small clearfix"><span class="pull-left">10:45 - 12:15</span></div></div></div></div></td><td colspan="9" class="timeline-col empty "></td><td colspan="6" class="timeline-col empty "></td><td colspan="18" class="timeline-col"><div class="hidable"><div data-facet-track="ECOOP Summer School" data-facet-date="Tue 16 Jul 2019" data-facet-date-order="190716" data-slot-id="ad8c9ec1-e540-47e5-a60c-77d961acfb0d" data-facet-room="Reims" class="hidable"><div class="band hour-13"><a href="#" data-event-modal="3907a52b-789e-4678-919d-e4f0cee48851"><div class="timeline-elem event-elem track-color c17"><span data-event-star="3907a52b-789e-4678-919d-e4f0cee48851" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span><div><strong>ECOOP Summer School</strong></div><div>How to design a programming language</div></div></a><div class="small clearfix"><span class="pull-left">13:30 - 15:00</span></div></div></div></div></td><td colspan="6" class="timeline-col empty "></td><td colspan="18" class="timeline-col"><div class="hidable"><div data-facet-track="ECOOP Summer School" data-facet-date="Tue 16 Jul 2019" data-facet-date-order="190716" data-slot-id="64070794-ebc1-416d-8194-60ae973866b3" data-facet-room="Reims" class="hidable"><div class="band hour-15"><a href="#" data-event-modal="4cf952e0-2a64-43db-81b5-609183b776ff"><div class="timeline-elem event-elem track-color c17"><span data-event-star="4cf952e0-2a64-43db-81b5-609183b776ff" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span><div><strong>ECOOP Summer School</strong></div><div>Operational Semantics driving the Type System Design: Reference Capabil ...</div></div></a><div class="small clearfix"><span class="pull-left">15:30 - 17:00</span></div></div></div></div></td></tr></div></table></div></div></div><div class="hidable day-wrapper"><h4 class="day-header"><div><div>Wed 17 Jul</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Belfast</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="timeline-wrap-outer"><div class="timeline-wrap-inner"><table class="table-condensed timeline-table table-striped"><thead><tr class="five-min-steps"><th class="timeline-first-col"></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th></tr><tr><th class="timeline-first-col">Room</th><th colspan="3" class="timeline-header timeline-15m-header hour-header">10:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">11:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">12:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">13:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">14:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">15:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">16:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">17:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th></tr></thead><div class="hidable"><tr class="hidable"><td class="timeline-first-col "><a href="https://2019.ecoop.org/room/ecoop-2019-venue-reims" target="_blank" class="room-link btn btn-room btn-xs navigate">Reims</a></td><td colspan="6" class="timeline-col empty "></td><td colspan="20" class="timeline-col"><div class="hidable"><div data-facet-track="ECOOP Summer School" data-facet-date="Wed 17 Jul 2019" data-facet-date-order="190717" data-slot-id="28042e77-0dda-4995-86d2-48ad97e5bd61" data-facet-room="Reims" class="hidable"><div class="band hour-10"><a href="#" data-event-modal="88bea3c6-98df-4105-a5fb-bb1cf5046925"><div class="timeline-elem event-elem track-color c17"><span data-event-star="88bea3c6-98df-4105-a5fb-bb1cf5046925" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span><div><strong>ECOOP Summer School</strong></div><div>Interactive Decentralised Software Made Easy</div></div></a><div class="small clearfix"><span class="pull-left">10:30 - 12:10</span></div></div></div></div></td><td colspan="10" class="timeline-col empty "></td><td colspan="6" class="timeline-col empty "></td><td colspan="20" class="timeline-col"><div class="hidable"><div data-facet-track="ECOOP Summer School" data-facet-date="Wed 17 Jul 2019" data-facet-date-order="190717" data-slot-id="75e341ca-be75-4bda-a12d-6615f8fe89a5" data-facet-room="Reims" class="hidable"><div class="band hour-13"><a href="#" data-event-modal="555d58c7-c4d2-4f24-bec0-10dad65d3940"><div class="timeline-elem event-elem track-color c17"><span data-event-star="555d58c7-c4d2-4f24-bec0-10dad65d3940" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span><div><strong>ECOOP Summer School</strong></div><div>Crypto Pump-and-dump Schemes: Why Can’t We Have Good Things?</div></div></a><div class="small clearfix"><span class="pull-left">13:30 - 15:10</span></div></div></div></div></td><td colspan="6" class="timeline-col empty "></td><td colspan="20" class="timeline-col"><div class="hidable"><div data-facet-track="ECOOP Summer School" data-facet-date="Wed 17 Jul 2019" data-facet-date-order="190717" data-slot-id="e1d4332f-b6fc-449e-b25e-7bd0f2bccc77" data-facet-room="Reims" class="hidable"><div class="band hour-15"><a href="#" data-event-modal="683377db-4d92-4b86-9626-ef617aa2ba11"><div class="timeline-elem event-elem track-color c17"><span data-event-star="683377db-4d92-4b86-9626-ef617aa2ba11" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span><div><strong>ECOOP Summer School</strong></div><div>The Future of Java</div></div></a><div class="small clearfix"><span class="pull-left">15:40 - 17:20</span></div></div></div></div></td><td colspan="8" class="timeline-col empty "></td></tr></div></table></div></div></div><div class="hidable day-wrapper"><h4 class="day-header"><div><div>Thu 18 Jul</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Belfast</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="timeline-wrap-outer"><div class="timeline-wrap-inner"><table class="table-condensed timeline-table table-striped"><thead><tr class="five-min-steps"><th class="timeline-first-col"></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th></tr><tr><th class="timeline-first-col">Room</th><th colspan="3" class="timeline-header timeline-15m-header hour-header">10:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">11:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">12:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">13:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">14:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">15:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">16:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th></tr></thead><div class="hidable"><tr class="hidable"><td class="timeline-first-col "><a href="https://2019.ecoop.org/room/ecoop-2019-venue-reims" target="_blank" class="room-link btn btn-room btn-xs navigate">Reims</a></td><td colspan="6" class="timeline-col empty "></td><td colspan="20" class="timeline-col"><div class="hidable"><div data-facet-track="ECOOP Summer School" data-facet-date="Thu 18 Jul 2019" data-facet-date-order="190718" data-slot-id="12c4157c-2b16-4579-b8cd-3acec4623c77" data-facet-room="Reims" class="hidable"><div class="band hour-10"><a href="#" data-event-modal="0a21d644-0d68-42b8-961a-c3f53a0b7c04"><div class="timeline-elem event-elem track-color c17"><span data-event-star="0a21d644-0d68-42b8-961a-c3f53a0b7c04" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span><div><strong>ECOOP Summer School</strong></div><div>Gillian: A General Static Analysis Framework based on Separation Logic</div></div></a><div class="small clearfix"><span class="pull-left">10:30 - 12:10</span></div></div></div></div></td><td colspan="10" class="timeline-col empty "></td><td colspan="6" class="timeline-col empty "></td><td colspan="20" class="timeline-col"><div class="hidable"><div data-facet-track="ECOOP Summer School" data-facet-date="Thu 18 Jul 2019" data-facet-date-order="190718" data-slot-id="78186285-5a00-4669-97d8-011e1c52bc0a" data-facet-room="Reims" class="hidable"><div class="band hour-13"><a href="#" data-event-modal="98773682-0475-4aa5-aa01-0aa7ab7e5e05"><div class="timeline-elem event-elem track-color c17"><span data-event-star="98773682-0475-4aa5-aa01-0aa7ab7e5e05" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span><div><strong>ECOOP Summer School</strong></div><div>SM4E - Self-Marketing for Engineers</div></div></a><div class="small clearfix"><span class="pull-left">13:30 - 15:10</span></div></div></div></div></td><td colspan="6" class="timeline-col empty "></td><td colspan="12" class="timeline-col"><div class="hidable"><div data-facet-track="ECOOP Summer School" data-facet-date="Thu 18 Jul 2019" data-facet-date-order="190718" data-slot-id="0f68bfaf-6e91-40b0-be4f-2e3122d3fcd8" data-facet-room="Reims" class="hidable"><div class="band hour-15"><a href="#" data-event-modal="179e7dd5-e17d-435a-80c0-2eab17cbf55b"><div class="timeline-elem event-elem track-color c17"><span data-event-star="179e7dd5-e17d-435a-80c0-2eab17cbf55b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span><div><strong>ECOOP Summer School</strong></div><div>POPLOG -- a pioneering multi-language/multi-paradigm development toolki ...</div></div></a><div class="small clearfix"><span class="pull-left">15:40 - 16:40</span></div></div></div></div></td><td colspan="4" class="timeline-col empty "></td></tr></div></table></div></div></div><div class="hidable day-wrapper"><h4 class="day-header"><div><div>Fri 19 Jul</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Belfast</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="timeline-wrap-outer"><div class="timeline-wrap-inner"><table class="table-condensed timeline-table table-striped"><thead><tr class="five-min-steps"><th class="timeline-first-col"></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th></tr><tr><th class="timeline-first-col">Room</th><th colspan="3" class="timeline-header timeline-15m-header hour-header">9:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">10:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">11:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">12:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">13:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">14:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">15:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">16:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th></tr></thead><div class="hidable"><tr class="hidable"><td class="timeline-first-col "><a href="https://2019.ecoop.org/room/ecoop-2019-venue-reims" target="_blank" class="room-link btn btn-room btn-xs navigate">Reims</a></td><td colspan="1" class="timeline-col"><div class="hidable"><div data-facet-track="ECOOP Doctoral Symposium" data-facet-date="Fri 19 Jul 2019" data-facet-date-order="190719" data-slot-id="97bba12b-fb40-45af-a6a6-48dcb979632c" data-facet-room="Reims" class="hidable"><div class="band hour-9"><a href="#" data-event-modal="5567343f-8a08-403f-b1d7-0d64eefa1e1c"><div class="timeline-elem event-elem track-color c3"><span data-event-star="5567343f-8a08-403f-b1d7-0d64eefa1e1c" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span><div><strong>ECOOP Doctoral Symposium</strong></div><div>Opening</div></div></a><div class="small clearfix"><span class="pull-left">09:00 - 09:05</span></div></div></div></div></td><td colspan="3" class="timeline-col"><div class="hidable"><div data-facet-track="ECOOP Doctoral Symposium" data-facet-date="Fri 19 Jul 2019" data-facet-date-order="190719" data-slot-id="4c37340b-4d08-45bc-bb5c-42f23095e962" data-facet-room="Reims" class="hidable"><div class="band hour-9"><a href="#" data-event-modal="d6730181-f700-441b-9861-b4e55fc0f636"><div class="timeline-elem event-elem track-color c3"><span data-event-star="d6730181-f700-441b-9861-b4e55fc0f636" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span><div><strong>ECOOP Doctoral Symposium</strong></div><div>Lightning Talks</div></div></a><div class="small clearfix"><span class="pull-left">09:05 - 09:20</span></div></div></div></div></td><td colspan="8" class="timeline-col"><div class="hidable"><div data-facet-track="ECOOP Doctoral Symposium" data-facet-date="Fri 19 Jul 2019" data-facet-date-order="190719" data-slot-id="c36b2ed4-439f-48d7-8645-1a0e58e4fbf0" data-facet-room="Reims" class="hidable"><div class="band hour-9"><a href="#" data-event-modal="c6473d04-49e4-4c59-a6e9-820d740aece8"><div class="timeline-elem event-elem track-color c3"><span data-event-star="c6473d04-49e4-4c59-a6e9-820d740aece8" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span><div><strong>ECOOP Doctoral Symposium</strong></div><div>Keynote: A Roadmap to PhD: Impressions and Experiences</div></div></a><div class="small clearfix"><span class="pull-left">09:20 - 10:00</span></div></div></div></div></td><td colspan="6" class="timeline-col empty "></td><td colspan="6" class="timeline-col"><div class="hidable"><div data-facet-track="ECOOP Doctoral Symposium" data-facet-date="Fri 19 Jul 2019" data-facet-date-order="190719" data-slot-id="e23158c7-068d-4393-8695-73c83f87d48a" data-facet-room="Reims" class="hidable"><div class="band hour-10"><a href="#" data-event-modal="0435c7fe-eaab-4c99-ad3a-b284810f874d"><div class="timeline-elem event-elem track-color c3"><span data-event-star="0435c7fe-eaab-4c99-ad3a-b284810f874d" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span><div><strong>ECOOP Doctoral Symposium</strong></div><div>POSIX Regular Expression Matching and Lexing</div></div></a><div class="small clearfix"><span class="pull-left">10:30 - 11:00</span></div></div></div></div></td><td colspan="6" class="timeline-col"><div class="hidable"><div data-facet-track="ECOOP Doctoral Symposium" data-facet-date="Fri 19 Jul 2019" data-facet-date-order="190719" data-slot-id="2ea1369e-299e-4d91-9b7e-cba444cd0671" data-facet-room="Reims" class="hidable"><div class="band hour-11"><a href="#" data-event-modal="a5ece5b8-93cd-4a88-a76a-2f9742c87462"><div class="timeline-elem event-elem track-color c3"><span data-event-star="a5ece5b8-93cd-4a88-a76a-2f9742c87462" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span><div><strong>ECOOP Doctoral Symposium</strong></div><div>Pointer Analysis as reachability problem over Push Down System</div></div></a><div class="small clearfix"><span class="pull-left">11:00 - 11:30</span></div></div></div></div></td><td colspan="8" class="timeline-col"><div class="hidable"><div data-facet-track="ECOOP Doctoral Symposium" data-facet-date="Fri 19 Jul 2019" data-facet-date-order="190719" data-slot-id="01f0244e-cd9e-461d-beb9-fdca40d0c532" data-facet-room="Reims" class="hidable"><div class="band hour-11"><a href="#" data-event-modal="96dc86dd-f263-4852-a815-eb40dc989150"><div class="timeline-elem event-elem track-color c3"><span data-event-star="96dc86dd-f263-4852-a815-eb40dc989150" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span><div><strong>ECOOP Doctoral Symposium</strong></div><div>Keynote: Self-Marketing as a Researcher</div></div></a><div class="small clearfix"><span class="pull-left">11:30 - 12:10</span></div></div></div></div></td><td colspan="10" class="timeline-col empty "></td><td colspan="6" class="timeline-col empty "></td><td colspan="6" class="timeline-col"><div class="hidable"><div data-facet-track="ECOOP Doctoral Symposium" data-facet-date="Fri 19 Jul 2019" data-facet-date-order="190719" data-slot-id="66c7886c-8cc8-4c88-b481-9542fcccf4fe" data-facet-room="Reims" class="hidable"><div class="band hour-13"><a href="#" data-event-modal="64358cd3-bc0d-41e6-ad44-1f6ff81556ca"><div class="timeline-elem event-elem track-color c3"><span data-event-star="64358cd3-bc0d-41e6-ad44-1f6ff81556ca" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span><div><strong>ECOOP Doctoral Symposium</strong></div><div>Improving the Efficiency, Scalability, and Applicability of Static Prog ...</div></div></a><div class="small clearfix"><span class="pull-left">13:30 - 14:00</span></div></div></div></div></td><td colspan="6" class="timeline-col"><div class="hidable"><div data-facet-track="ECOOP Doctoral Symposium" data-facet-date="Fri 19 Jul 2019" data-facet-date-order="190719" data-slot-id="c7c7c489-198b-4342-a0b5-20470ba87876" data-facet-room="Reims" class="hidable"><div class="band hour-14"><a href="#" data-event-modal="cbe89c92-0aaf-4f1e-b27c-374f5c79a7c9"><div class="timeline-elem event-elem track-color c3"><span data-event-star="cbe89c92-0aaf-4f1e-b27c-374f5c79a7c9" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span><div><strong>ECOOP Doctoral Symposium</strong></div><div>State Explosion Considered Harmful</div></div></a><div class="small clearfix"><span class="pull-left">14:00 - 14:30</span></div></div></div></div></td><td colspan="6" class="timeline-col"><div class="hidable"><div data-facet-track="ECOOP Doctoral Symposium" data-facet-date="Fri 19 Jul 2019" data-facet-date-order="190719" data-slot-id="5e18857c-33c3-4b64-bf69-bd0047cb30f3" data-facet-room="Reims" class="hidable"><div class="band hour-14"><a href="#" data-event-modal="7e94ec11-0a42-4dd1-b3ab-7f6121d5b078"><div class="timeline-elem event-elem track-color c3"><span data-event-star="7e94ec11-0a42-4dd1-b3ab-7f6121d5b078" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span><div><strong>ECOOP Doctoral Symposium</strong></div><div>Session Types in the Real World: A Minimalistic Approach</div></div></a><div class="small clearfix"><span class="pull-left">14:30 - 15:00</span></div></div></div></div></td><td colspan="8" class="timeline-col empty "></td><td colspan="6" class="timeline-col"><div class="hidable"><div data-facet-track="ECOOP Doctoral Symposium" data-facet-date="Fri 19 Jul 2019" data-facet-date-order="190719" data-slot-id="4904ab79-374d-4d91-93cd-fe09d925e6f9" data-facet-room="Reims" class="hidable"><div class="band hour-15"><a href="#" data-event-modal="24ef63fe-0b50-4c73-9ebf-a270a126851e"><div class="timeline-elem event-elem track-color c3"><span data-event-star="24ef63fe-0b50-4c73-9ebf-a270a126851e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span><div><strong>ECOOP Doctoral Symposium</strong></div><div>Security Evaluation of Industrial Web ApplicationsUsing Taint Analysis</div></div></a><div class="small clearfix"><span class="pull-left">15:40 - 16:10</span></div></div></div></div></td><td colspan="6" class="timeline-col"><div class="hidable"><div data-facet-track="ECOOP Doctoral Symposium" data-facet-date="Fri 19 Jul 2019" data-facet-date-order="190719" data-slot-id="3cf8f70f-e6fe-4a8b-ab7f-de024d6db983" data-facet-room="Reims" class="hidable"><div class="band hour-16"><a href="#" data-event-modal="c5506def-cf4d-4a87-b8b6-c76a6de54187"><div class="timeline-elem event-elem track-color c3"><span data-event-star="c5506def-cf4d-4a87-b8b6-c76a6de54187" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span><div><strong>ECOOP Doctoral Symposium</strong></div><div>Invited talk: How to get your Ph.D. DONE!</div></div></a><div class="small clearfix"><span class="pull-left">16:10 - 16:40</span></div></div></div></div></td><td colspan="4" class="timeline-col empty "></td></tr></div></table></div></div></div></div></p></div></div></fieldset></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Tue 3 Dec 23:47</em></div></div><div id="notifications-ph" class="webdsl-placeholder"></div><div id="event-modal-loader" class="webdsl-placeholder"><form name="form_131600131703c411e65b13378d08eb1f6672b5a0259" id="form_131600131703c411e65b13378d08eb1f6672b5a0259" action="https://2019.ecoop.org/eventDetailsModalByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_131600131703c411e65b13378d08eb1f6672b5a0259" value="1" /><input type="hidden" name="context" value="ecoop-2019" /><input name="ae03f7f6f951d515a297b161e922205d" type="text" value="" class="inputString form-control event-id-input"/><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://2019.ecoop.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"ecoop-2019"},],"form_131600131703c411e65b13378d08eb1f6672b5a0259", this.nextSibling, false,"event-modal-loader"); return false;'></button><a submitid="eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" id="load-modal-action"></a></form></div><div id="event-star-form" class="webdsl-placeholder"><form name="form_509860938088b48fd14544d4239b498a2cf339e02b" id="form_509860938088b48fd14544d4239b498a2cf339e02b" action="https://2019.ecoop.org/eventStarByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_509860938088b48fd14544d4239b498a2cf339e02b" value="1" /><input type="hidden" name="context" value="ecoop-2019" /><input name="a0b55aa29cf9431a9461b359872014e3" type="text" value="" class="inputString form-control event-id-input"/><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://2019.ecoop.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"ecoop-2019"},],"form_509860938088b48fd14544d4239b498a2cf339e02b", this.nextSibling, false,"event-star-form"); return false;'></button><a submitid="eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" id="star-event-action"></a></form></div><div id="event-modals" class="webdsl-placeholder"></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; addEventModalLoadOnClick(node); addStarredEventOnClick(node); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><footer class="footer"><div class="container"><div class="footer-box"><div class="row"><div class="col-sm-3"><h3><a href="https://2019.ecoop.org" class="navigate"><span class="glyphicon glyphicon-home"></span> ECOOP 2019</a></h3><hr/>using <a href="https://conf.researchr.org" class="navigate">conf.researchr.org</a> (<a href="http://yellowgrass.org/roadmap/conf.researchr.org" class="navigate">v1.67.1</a>)<br/><small><a href="https://2019.ecoop.org/support" target="_blank" class="navigate"><span class="glyphicon glyphicon-question-sign"></span> Support page</a></small><br/><small></small></div><div class="col-sm-5"><div class="row"><div class="col-sm-6"><h4>Tracks</h4><a href="https://2019.ecoop.org/track/ecoop-2019-papers" class="navigate">Research Papers</a><br/><a href="https://2019.ecoop.org/track/ecoop-2019-artifacts" class="navigate">Artifacts</a><br/><a href="https://2019.ecoop.org/track/ecoop-2019-Student-Volunteers" class="navigate">Student Volunteers</a><br/><a href="https://2019.ecoop.org/track/ecoop-2019-docsymp" class="navigate">Doctoral Symposium</a><br/><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" class="navigate">Summer School</a><br/><a href="https://2019.ecoop.org/track/ecoop-2019-workshops" class="navigate">Workshops</a><br/><a href="https://2019.ecoop.org/track/ecoop-2019-Posters" class="navigate">Posters</a><br/><a href="https://2019.ecoop.org/track/curry-on" class="navigate">Curry On</a></div><div class="col-sm-6"><h4>Workshops</h4><a href="https://2019.ecoop.org/home/aorta-2019" class="navigate">AORTA 2019</a><br/><a href="https://2019.ecoop.org/home/benchwork-2019" class="navigate">BenchWork 2019</a><br/><a href="https://2019.ecoop.org/home/COP-2019" class="navigate">COP 2019</a><br/><a href="https://2019.ecoop.org/home/FTfJP-2019" class="navigate">FTfJP 2019</a><br/><a href="https://2019.ecoop.org/home/ICOOOLPS-2019" class="navigate">ICOOOLPS 2019</a><br/><a href="https://2019.ecoop.org/home/PASS-ECOOP-2019" class="navigate">PASS 2019</a><br/><a href="https://2019.ecoop.org/home/panathon-2019" class="navigate">Panathon 2019</a><br/><a href="https://2019.ecoop.org/home/scala-2019" class="navigate">Scala 2019</a><br/><a href="https://2019.ecoop.org/home/vortex-2019" class="navigate">VORTEX 2019</a></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://2019.ecoop.org/venue/ecoop-2019-venue" class="navigate">Venue: Novotel London West</a><br><a href="https://2019.ecoop.org/attending/sponsorship" class="navigate">Sponsorship</a><br><a href="https://2019.ecoop.org/attending/conduct" class="navigate">Conduct</a><br><a href="https://2019.ecoop.org/attending/Students" class="navigate">Students</a><br><a href="https://2019.ecoop.org/attending/Visa" class="navigate">Visa</a><br><a href="https://2019.ecoop.org/attending/accommodation" class="navigate">Accommodation</a><br><a href="https://2019.ecoop.org/attending/Registration" class="navigate">Registration</a><br><a href="https://2019.ecoop.org/attending/curry-on-banquet" class="navigate">Social Events</a><br><a href="https://2019.ecoop.org/attending/Online+participation" class="navigate">Live</a><br><a href="https://2019.ecoop.org/attending/awards" class="navigate">Awards</a></div><div class="col-sm-2"><a href="https://2019.ecoop.org/signup" class="navigate">Sign Up</a></div></div></div></div></footer></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; var defaultplacement = $(document).scrollLeft() > 100 ? 'auto left' : 'auto top'; $(node).find('[title]').tooltip({placement: function(tt, elem){ var attval = elem.getAttribute('data-placement'); return attval ? attval : defaultplacement; }, container: false, sanitize: false}); $('.tooltip.fade.in, .ui-tooltip-content').remove(); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><script type="text/javascript">jQuery(document).ready(function($) { $(".clickable-row").click(function() { var href = $(this).attr("href"); if( window.location.href.indexOf( href ) < 0 ){ if ($(this).hasClass('new-window') ){ window.open( href ); } else { window.document.location = href; } } }); }); </script></body></html>