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://2025.formalise.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://2025.formalise.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>Organization Committee - FormaliSE 2025</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://2025.formalise.org";</script> <link rel="stylesheet" href="https://2025.formalise.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://2025.formalise.org/stylesheets/conf.css?d8ff81ab1f2387936557f525e4e8eb20" type="text/css" /><link rel="stylesheet" href="https://2025.formalise.org/stylesheets/logobar.css?d68c282160782c2b5f5bfb8ceb47a30e" type="text/css" /><link rel="stylesheet" href="https://2025.formalise.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://2025.formalise.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://2025.formalise.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://2025.formalise.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://2025.formalise.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://2025.formalise.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://2025.formalise.org/javascript/ajax.js?2dbd1cc4f8f2d52ae9c879d7346f4f8a"></script> <script async src="https://www.googletagmanager.com/gtag/js?id=G-4G0QWEKVQS"></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 name='description' content='No description available'> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='No description available'> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='Organization Committee - FormaliSE 2025'> <meta prefix='og: http://ogp.me/ns#' property='og:image' content='https://2025.formalise.org/getImage/carousel/?1721681674000'> <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> </head> <body id="committee"><div class="frame"><div class="logobar"><div class="container"><a href="https://2025.formalise.org" class="navbar-brand navigate"><span class="brand-text">FormaliSE 2025</span></a><div class="place">Sun 27 - Mon 28 April 2025 <a href="https://2025.formalise.org/venue/icse-2025-venue" class="navigate">Ottawa, Ontario, Canada</a></div><div class="place2">co-located with <a href="https://conf.researchr.org/home/icse-2025" class="navigate">ICSE 2025</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://2025.formalise.org/venue/icse-2025-venue" class="navigate">Venue: Rogers Centre, Ottawa (formerly Shaw Centre)</a></li><li class="block dropdown-header">ICSE 2025</li><li class="block"><a href="https://2025.formalise.org/attending/registration" class="indent navigate">Registration</a></li><li class="block"><a href="https://2025.formalise.org/attending/Hotels" class="indent navigate">Hotels</a></li><li class="block"><a href="https://2025.formalise.org/attending/visa-and-travel-authorization" class="indent navigate">Visa and Travel Authorization</a></li><li class="block"><a href="https://2025.formalise.org/attending/Travelling" class="indent navigate">Travelling to Ottawa</a></li><li class="block"><a href="https://2025.formalise.org/attending/travel-support" class="indent navigate">Travel Support</a></li><li class="block"><a href="https://2025.formalise.org/attending/gettingAroundOttawa" class="indent navigate">Getting Around Ottawa</a></li><li class="block"><a href="https://2025.formalise.org/attending/food" class="indent navigate">Food at ICSE2025</a></li><li class="block"><a href="https://2025.formalise.org/attending/social-media" class="indent navigate">Social media</a></li><li class="block"><a href="https://2025.formalise.org/attending/fun+activities" class="indent navigate">Fun Activities</a></li><li class="block"><a href="https://2025.formalise.org/attending/Code+of+Conduct" class="indent navigate">Code of Conduct</a></li><li class="block"><a href="https://2025.formalise.org/attending/Diversity+and+Inclusion+Plan" class="indent navigate">Equity, Diversity, and Inclusion Plan</a></li><li class="block"><a href="https://2025.formalise.org/attending/Sustainability" class="indent navigate">Sustainability</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-1"><div class="row"><div class="col-sm-12"><ul class="block multi-column-dropdown"><li class="block dropdown-header">FormaliSE 2025</li><li class="block"><a href="https://2025.formalise.org" class="navigate">Research Track</a></li><li class="block"><a href="https://2025.formalise.org/track/Formalise-2025-artifact-track" class="navigate">Artifact Track</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-1"><div class="row"><div class="col-sm-12"><ul class="block multi-column-dropdown"><li class="block dropdown-header">FormaliSE 2025 Committees</li><li class="block dropdown-header">Track Committees </li><li class="block"><a href="https://2025.formalise.org/committee/Formalise-2025-papers-organization-committee" class="navigate"><strong>Research Track</strong> <small>Organization Committee</small></a></li><li class="block"><a href="https://2025.formalise.org/committee/Formalise-2025-papers-program-committee" class="navigate"><strong>Research Track</strong> <small>Program Committee</small></a></li><li class="block"><a href="https://2025.formalise.org/committee/Formalise-2025-artifact-track-artifact-evaluation-committee" class="navigate"><strong>Artifact Track</strong></a></li><li class="block dropdown-header">Contributors</li><li class="block"><a href="https://2025.formalise.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></ul></li><li class="block"><a href="https://2025.formalise.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://2025.formalise.org/series/Formalise" class="navigate"><span class="glyphicon glyphicon-home"></span> Series</a></li><li class="block divider"></li><li class="block"><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> FormaliSE 2025</span></li><li class="block"><a href="https://conf.researchr.org/home/Formalise-2024" class="navigate">FormaliSE 2024</a></li><li class="block"><a href="https://conf.researchr.org/home/Formalise-2023" class="navigate">FormaliSE 2023</a></li><li class="block"><a href="https://conf.researchr.org/home/icse-2022/Formalise-2022" class="navigate">FormaliSE 2022</a></li><li class="block"><a href="https://conf.researchr.org/home/Formalise-2021" class="navigate">FormaliSE 2021</a></li><li class="block"><a href="https://2020.icse-conferences.org/home/Formalise-2020" class="navigate">FormaliSE 2020</a></li><li class="block"><a href="https://2019.icse-conferences.org/track/Formalise-2019-papers" class="navigate">FormaliSE 2019</a></li><li class="block"><a href="https://conf.researchr.org/track/icse-2018/Formalise-2018-papers" class="navigate">FormaliSE 2018</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/Formalise-2025/https%3A%5Es%5Es2025.formalise.org%5Escommittee%5EsFormalise-2025-papers-organization-committee" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://2025.formalise.org/signup" class="navigate">Sign up</a></li></ul></div></div></div></div><div id="content" class="container"><script type="text/javascript">$( "a[data-hashtab]" ).each(function() { var _href = $(this).attr("href"); var _hash = "#" + $(this).attr("data-hashtab").replace(/(\W|\s)+/g, "-"); $(this).attr("href", _href + _hash); }); </script><div class="page-header"><span class="text-muted small"><span class="glyphicon glyphicon-home"></span> <a href="https://conf.researchr.org/home/icse-2025" class="navigate">ICSE 2025</a> (<a href="https://2025.formalise.org/series/icse" class="navigate">series</a>) / </span><span class="text-muted small">FormaliSE 2025 (<a href="https://2025.formalise.org/series/Formalise" class="navigate">series</a>) / </span><span class="text-muted small"><span class="glyphicon glyphicon-road"></span> <a href="https://2025.formalise.org" class="navigate">Research Track</a> / </span><h1>Organization Committee <small>FormaliSE Research Track</small><span class="pull-right"></span></h1></div><div class="row"><div class="col-sm-6"><a href="https://2025.formalise.org/profile/nicoplat" class="navigate"><div class="media"><span class="pull-left"><img alt="Nico Plat" src="https://2025.formalise.org/getProfileImage/nicoplat/591dfc57-fd7b-495d-a91a-b5ad5edcb701/small-avatar.jpg?1721671450000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Nico Plat <small>General Co-Chair</small></h3><h4 class="media-heading"><span class="text-black"></span></h4><h4 class="media-heading"><small>Netherlands</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://2025.formalise.org/profile/stefaniagnesi" class="navigate"><div class="media"><span class="pull-left"><img alt="Stefania Gnesi" src="https://2025.formalise.org/getProfileImage/stefaniagnesi/1c4f1c5d-8b34-4ce7-81ff-ecf0a1c3a946/small-avatar.jpg?1711461440000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Stefania Gnesi <small>General Co-Chair</small></h3><h4 class="media-heading"><span class="text-black">Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" </span></h4><h4 class="media-heading"><small>Italy</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://2025.formalise.org/profile/quentinnivon" class="navigate"><div class="media"><span class="pull-left"><img alt="Quentin Nivon" src="https://2025.formalise.org/getProfileImage/quentinnivon/f6da023a-f10e-4a57-8816-3816df756d2e/small-avatar.jpg?1725529045000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Quentin Nivon <small>Web Chair</small></h3><h4 class="media-heading"><span class="text-black">University Grenoble Alpes</span></h4><h4 class="media-heading"><small>France</small></h4></div></div></a></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Mon 17 Feb 15:55</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://2025.formalise.org/eventDetailsModalByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_131600131703c411e65b13378d08eb1f6672b5a0259" value="1" /><input type="hidden" name="context" value="Formalise-2025" /><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://2025.formalise.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"Formalise-2025"},],"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://2025.formalise.org/eventStarByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_509860938088b48fd14544d4239b498a2cf339e02b" value="1" /><input type="hidden" name="context" value="Formalise-2025" /><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://2025.formalise.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"Formalise-2025"},],"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://2025.formalise.org" class="navigate"><span class="glyphicon glyphicon-home"></span> FormaliSE 2025</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.69.0</a>)<br/><small><a href="https://2025.formalise.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://2025.formalise.org" class="navigate">Research Track</a><br/><a href="https://2025.formalise.org/track/Formalise-2025-artifact-track" class="navigate">Artifact Track</a></div><div class="col-sm-6"></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://2025.formalise.org/venue/icse-2025-venue" class="navigate">Venue: Rogers Centre, Ottawa (formerly Shaw Centre)</a><br><a href="https://2025.formalise.org/attending/registration" class="navigate">Registration</a><br><a href="https://2025.formalise.org/attending/Hotels" class="navigate">Hotels</a><br><a href="https://2025.formalise.org/attending/visa-and-travel-authorization" class="navigate">Visa and Travel Authorization Information for ICSE 2025 and its Co-Located Events</a><br><a href="https://2025.formalise.org/attending/Travelling" class="navigate">Travelling to Ottawa</a><br><a href="https://2025.formalise.org/attending/travel-support" class="navigate">Travel Support</a><br><a href="https://2025.formalise.org/attending/gettingAroundOttawa" class="navigate">Getting Around Ottawa</a><br><a href="https://2025.formalise.org/attending/food" class="navigate">Food at ICSE2025</a><br><a href="https://2025.formalise.org/attending/social-media" class="navigate">Social media</a><br><a href="https://2025.formalise.org/attending/fun+activities" class="navigate">Fun Activities</a><br><a href="https://2025.formalise.org/attending/Code+of+Conduct" class="navigate">Code of Conduct for ICSE 2025 and its Co-Located Events</a><br><a href="https://2025.formalise.org/attending/Diversity+and+Inclusion+Plan" class="navigate">Equity, Diversity, and Inclusion Plan for ICSE 2025</a><br><a href="https://2025.formalise.org/attending/Sustainability" class="navigate">Sustainability</a></div><div class="col-sm-2"><a href="https://2025.formalise.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; let defaultplacement = $(document).scrollLeft() > 100 ? 'auto left' : 'auto top'; $(node).find('[title]').each( function(i,el){ var $e=$(el);$e.tooltip({placement: function(tt, elem){ var attval = elem.getAttribute('data-placement'); return attval ? attval : defaultplacement; }, sanitize: false, container: 'body' }) } ).on('show.bs.tooltip', function () { let el = this; while (el && window.getComputedStyle(el).position !== 'fixed') { el = el.parentElement; } if(el) $(this).data('bs.tooltip').options.container = el;});$('.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>