CINXE.COM
News – MPI SWS
<!DOCTYPE html> <html class="no-js" lang="en-US"> <head> <meta charset="UTF-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1.0"> <meta name="mobile-web-app-capable" content="yes"> <meta name="format-detection" content="telephone=no"> <meta name="msapplication-tap-highlight" content="no"> <link rel="icon" type="image/png" href="/wp-content/themes/mpi-sws/assets/images/favicon/favicon-32x32.png?ver=1.9.0"> <link rel="icon" type="image/png" href="/wp-content/themes/mpi-sws/assets/images/favicon/favicon-16x16.png?ver=1.9.0"> <link rel="apple-touch-icon" sizes="180x180" href="/wp-content/themes/mpi-sws/assets/images/favicon/apple-touch-icon.png?ver=1.9.0"> <link rel="manifest" href="/wp-content/themes/mpi-sws/assets/images/favicon/site.webmanifest?ver=1.9.0"> <link rel="manifest" href="/manifest.json"> <meta name="msapplication-TileColor" content="#ffffff"> <meta name="theme-color" content="#ffffff"> <script id="klflx-head-js">((e,p,f,d)=>{var o=[],t={_version:"3.11.8",_config:{classPrefix:"",enableClasses:!0,enableJSClass:!0,usePrefixes:!0},_q:[],on:function(e,t){var n=this;setTimeout(function(){t(n[e])},0)},addTest:function(e,t,n){o.push({name:e,fn:t,options:n})},addAsyncTest:function(e){o.push({name:null,fn:e})}},s=function(){},n=(s.prototype=t,s=new s,[]);function h(e,t){return typeof e===t}var c=f.documentElement,m="svg"===c.nodeName.toLowerCase();function i(e){var t,n=c.className,o=s._config.classPrefix||"";m&&(n=n.baseVal),s._config.enableJSClass&&(t=new RegExp("(^|\\s)"+o+"no-js(\\s|$)"),n=n.replace(t,"$1"+o+"js$2")),s._config.enableClasses&&(0<e.length&&(n+=" "+o+e.join(" "+o)),m?c.className.baseVal=n:c.className=n)}function v(e){return"function"!=typeof f.createElement?f.createElement(e):m?f.createElementNS.call(f,"http://www.w3.org/2000/svg",e):f.createElement.apply(f,arguments)}function g(e,t,n,o){var r,s,i,l,a="modernizr",u=v("div");(l=f.body)||((l=v(m?"svg":"body")).fake=!0);if(parseInt(n,10))for(;n--;)(s=v("div")).id=o?o[n]:a+(n+1),u.appendChild(s);return(r=v("style")).type="text/css",r.id="s"+a,(l.fake?l:u).appendChild(r),l.appendChild(u),r.styleSheet?r.styleSheet.cssText=e:r.appendChild(f.createTextNode(e)),u.id=a,l.fake&&(l.style.background="",l.style.overflow="hidden",i=c.style.overflow,c.style.overflow="hidden",c.appendChild(l)),r=t(u,e),l.fake&&l.parentNode?(l.parentNode.removeChild(l),c.style.overflow=i,c.offsetHeight):u.parentNode.removeChild(u),!!r}function y(e,t,n){var o,r;return"getComputedStyle"in p?(o=getComputedStyle.call(p,e,t),r=p.console,null!==o?n&&(o=o.getPropertyValue(n)):r&&r[r.error?"error":"log"].call(r,"getComputedStyle returning null, its possible modernizr test results are inaccurate")):o=!t&&e.currentStyle&&e.currentStyle[n],o}var r,l,a,u=(r=p.matchMedia||p.msMatchMedia)?function(e){e=r(e);return e&&e.matches||!1}:function(e){var t=!1;return g("@media "+e+" { #modernizr { position: absolute; } }",function(e){t="absolute"===y(e,null,"position")}),t};function w(e,t){if("object"==typeof e)for(var n in e)l(e,n)&&w(n,e[n]);else{var o=(e=e.toLowerCase()).split("."),r=s[o[0]];if(void 0!==(r=2===o.length?r[o[1]]:r))return s;t="function"==typeof t?t():t,1===o.length?s[o[0]]=t:(!s[o[0]]||s[o[0]]instanceof Boolean||(s[o[0]]=new Boolean(s[o[0]])),s[o[0]][o[1]]=t),i([(t&&!1!==t?"":"no-")+o.join("-")]),s._trigger(e,t)}return s}t.mq=u,l=void 0!==(a={}.hasOwnProperty)&&void 0!==a.call?function(e,t){return a.call(e,t)}:function(e,t){return t in e&&void 0===e.constructor.prototype[t]},t._l={},t.on=function(e,t){this._l[e]||(this._l[e]=[]),this._l[e].push(t),s.hasOwnProperty(e)&&setTimeout(function(){s._trigger(e,s[e])},0)},t._trigger=function(e,t){var n;this._l[e]&&(n=this._l[e],setTimeout(function(){for(var e=0;e<n.length;e++)(0,n[e])(t)},0),delete this._l[e])},s._q.push(function(){t.addTest=w}),s.addTest("svg",!!f.createElementNS&&!!f.createElementNS("http://www.w3.org/2000/svg","svg").createSVGRect);var u="Moz O ms Webkit",C=t._config.usePrefixes?u.split(" "):[],_=(t._cssomPrefixes=C,{elem:v("modernizr")}),S=(s._q.push(function(){delete _.elem}),{style:_.elem.style});function x(e){return e.replace(/([A-Z])/g,function(e,t){return"-"+t.toLowerCase()}).replace(/^ms-/,"-ms-")}function b(e,t,n,o){if(o=void 0!==o&&o,void 0!==n){var r=((e,t)=>{var n=e.length;if("CSS"in p&&"supports"in p.CSS){for(;n--;)if(p.CSS.supports(x(e[n]),t))return!0;return!1}if("CSSSupportsRule"in p){for(var o=[];n--;)o.push("("+x(e[n])+":"+t+")");return g("@supports ("+(o=o.join(" or "))+") { #modernizr { position: absolute; } }",function(e){return"absolute"===y(e,null,"position")})}return d})(e,n);if(void 0!==r)return r}for(var s,i,l,a,u,f=["modernizr","tspan","samp"];!S.style&&f.length;)s=!0,S.modElem=v(f.shift()),S.style=S.modElem.style;function c(){s&&(delete S.style,delete S.modElem)}for(l=e.length,i=0;i<l;i++)if(a=e[i],u=S.style[a],~(""+a).indexOf("-")&&(a=a.replace(/([a-z])-([a-z])/g,function(e,t,n){return t+n.toUpperCase()}).replace(/^-/,"")),S.style[a]!==d){if(o||void 0===n)return c(),"pfx"!==t||a;try{S.style[a]=n}catch(e){}if(S.style[a]!==u)return c(),"pfx"!==t||a}return c(),!1}s._q.unshift(function(){delete S.style});var P,T,E,N,z,j,q,k=t._config.usePrefixes?u.toLowerCase().split(" "):[];function A(e,t,n,o,r){var s=e.charAt(0).toUpperCase()+e.slice(1),i=(e+" "+C.join(s+" ")+s).split(" ");if(h(t,"string")||void 0===t)return b(i,t,o,r);var l,a,u,f,c=(e+" "+k.join(s+" ")+s).split(" "),p=t,d=n;for(l in c)if(c[l]in p)return!1===d?c[l]:h(f=p[c[l]],"function")?(a=f,u=d||p,function(){return a.apply(u,arguments)}):f;return!1}function L(e,t,n){return A(e,d,d,t,n)}for(q in t._domPrefixes=k,t.testAllProps=A,t.testAllProps=L,s.addTest("flexbox",L("flexBasis","1px",!0)),o)if(o.hasOwnProperty(q)){if(P=[],(T=o[q]).name&&(P.push(T.name.toLowerCase()),T.options)&&T.options.aliases&&T.options.aliases.length)for(E=0;E<T.options.aliases.length;E++)P.push(T.options.aliases[E].toLowerCase());for(N=h(T.fn,"function")?T.fn():T.fn,z=0;z<P.length;z++)1===(j=P[z].split(".")).length?s[j[0]]=N:(s[j[0]]&&(s[j[0]],s[j[0]]instanceof Boolean)||(s[j[0]]=new Boolean(s[j[0]])),s[j[0]][j[1]]=N),n.push((N?"":"no-")+j.join("-"))}i(n),delete t.addTest,delete t.addAsyncTest;for(var B=0;B<s._q.length;B++)s._q[B]();e.Modernizr=s})(window,window,document);</script> <script type="text/javascript">/* <![CDATA[ */ WebFontConfig = { custom:{ families: ['ProximaNova:n3,i3,n5,n7'], urls: ['/wp-content/themes/mpi-sws/assets/fonts/fonts.css?ver=1.9.0'] } }; /* ]]> */</script> <title>News – MPI SWS</title> <meta name="robots" content="max-image-preview:large"> <link rel="alternate" type="application/rss+xml" title="MPI SWS » News Feed" href="/news/feed/"> <link rel="stylesheet" id="wp-block-library-css" href="/wp-includes/css/dist/block-library/style.min.css?ver=6.3.5" type="text/css" media="all"> <style id="classic-theme-styles-inline-css" type="text/css">/*! This file is auto-generated */ .wp-block-button__link{color:#fff;background-color:#32373c;border-radius:9999px;box-shadow:none;text-decoration:none;padding:calc(.667em + 2px) calc(1.333em + 2px);font-size:1.125em}.wp-block-file__button{background:#32373c;color:#fff;text-decoration:none}</style> <style id="global-styles-inline-css" type="text/css">body{--wp--preset--color--black: #000000;--wp--preset--color--cyan-bluish-gray: #abb8c3;--wp--preset--color--white: #ffffff;--wp--preset--color--pale-pink: #f78da7;--wp--preset--color--vivid-red: #cf2e2e;--wp--preset--color--luminous-vivid-orange: #ff6900;--wp--preset--color--luminous-vivid-amber: #fcb900;--wp--preset--color--light-green-cyan: #7bdcb5;--wp--preset--color--vivid-green-cyan: #00d084;--wp--preset--color--pale-cyan-blue: #8ed1fc;--wp--preset--color--vivid-cyan-blue: #0693e3;--wp--preset--color--vivid-purple: #9b51e0;--wp--preset--gradient--vivid-cyan-blue-to-vivid-purple: linear-gradient(135deg,rgba(6,147,227,1) 0%,rgb(155,81,224) 100%);--wp--preset--gradient--light-green-cyan-to-vivid-green-cyan: linear-gradient(135deg,rgb(122,220,180) 0%,rgb(0,208,130) 100%);--wp--preset--gradient--luminous-vivid-amber-to-luminous-vivid-orange: linear-gradient(135deg,rgba(252,185,0,1) 0%,rgba(255,105,0,1) 100%);--wp--preset--gradient--luminous-vivid-orange-to-vivid-red: linear-gradient(135deg,rgba(255,105,0,1) 0%,rgb(207,46,46) 100%);--wp--preset--gradient--very-light-gray-to-cyan-bluish-gray: linear-gradient(135deg,rgb(238,238,238) 0%,rgb(169,184,195) 100%);--wp--preset--gradient--cool-to-warm-spectrum: linear-gradient(135deg,rgb(74,234,220) 0%,rgb(151,120,209) 20%,rgb(207,42,186) 40%,rgb(238,44,130) 60%,rgb(251,105,98) 80%,rgb(254,248,76) 100%);--wp--preset--gradient--blush-light-purple: linear-gradient(135deg,rgb(255,206,236) 0%,rgb(152,150,240) 100%);--wp--preset--gradient--blush-bordeaux: linear-gradient(135deg,rgb(254,205,165) 0%,rgb(254,45,45) 50%,rgb(107,0,62) 100%);--wp--preset--gradient--luminous-dusk: linear-gradient(135deg,rgb(255,203,112) 0%,rgb(199,81,192) 50%,rgb(65,88,208) 100%);--wp--preset--gradient--pale-ocean: linear-gradient(135deg,rgb(255,245,203) 0%,rgb(182,227,212) 50%,rgb(51,167,181) 100%);--wp--preset--gradient--electric-grass: linear-gradient(135deg,rgb(202,248,128) 0%,rgb(113,206,126) 100%);--wp--preset--gradient--midnight: linear-gradient(135deg,rgb(2,3,129) 0%,rgb(40,116,252) 100%);--wp--preset--font-size--small: 13px;--wp--preset--font-size--medium: 20px;--wp--preset--font-size--large: 36px;--wp--preset--font-size--x-large: 42px;--wp--preset--spacing--20: 0.44rem;--wp--preset--spacing--30: 0.67rem;--wp--preset--spacing--40: 1rem;--wp--preset--spacing--50: 1.5rem;--wp--preset--spacing--60: 2.25rem;--wp--preset--spacing--70: 3.38rem;--wp--preset--spacing--80: 5.06rem;--wp--preset--shadow--natural: 6px 6px 9px rgba(0, 0, 0, 0.2);--wp--preset--shadow--deep: 12px 12px 50px rgba(0, 0, 0, 0.4);--wp--preset--shadow--sharp: 6px 6px 0px rgba(0, 0, 0, 0.2);--wp--preset--shadow--outlined: 6px 6px 0px -3px rgba(255, 255, 255, 1), 6px 6px rgba(0, 0, 0, 1);--wp--preset--shadow--crisp: 6px 6px 0px rgba(0, 0, 0, 1);}:where(.is-layout-flex){gap: 0.5em;}:where(.is-layout-grid){gap: 0.5em;}body .is-layout-flow > .alignleft{float: left;margin-inline-start: 0;margin-inline-end: 2em;}body .is-layout-flow > .alignright{float: right;margin-inline-start: 2em;margin-inline-end: 0;}body .is-layout-flow > .aligncenter{margin-left: auto !important;margin-right: auto !important;}body .is-layout-constrained > .alignleft{float: left;margin-inline-start: 0;margin-inline-end: 2em;}body .is-layout-constrained > .alignright{float: right;margin-inline-start: 2em;margin-inline-end: 0;}body .is-layout-constrained > .aligncenter{margin-left: auto !important;margin-right: auto !important;}body .is-layout-constrained > :where(:not(.alignleft):not(.alignright):not(.alignfull)){max-width: var(--wp--style--global--content-size);margin-left: auto !important;margin-right: auto !important;}body .is-layout-constrained > .alignwide{max-width: var(--wp--style--global--wide-size);}body .is-layout-flex{display: flex;}body .is-layout-flex{flex-wrap: wrap;align-items: center;}body .is-layout-flex > *{margin: 0;}body .is-layout-grid{display: grid;}body .is-layout-grid > *{margin: 0;}:where(.wp-block-columns.is-layout-flex){gap: 2em;}:where(.wp-block-columns.is-layout-grid){gap: 2em;}:where(.wp-block-post-template.is-layout-flex){gap: 1.25em;}:where(.wp-block-post-template.is-layout-grid){gap: 1.25em;}.has-black-color{color: var(--wp--preset--color--black) !important;}.has-cyan-bluish-gray-color{color: var(--wp--preset--color--cyan-bluish-gray) !important;}.has-white-color{color: var(--wp--preset--color--white) !important;}.has-pale-pink-color{color: var(--wp--preset--color--pale-pink) !important;}.has-vivid-red-color{color: var(--wp--preset--color--vivid-red) !important;}.has-luminous-vivid-orange-color{color: var(--wp--preset--color--luminous-vivid-orange) !important;}.has-luminous-vivid-amber-color{color: var(--wp--preset--color--luminous-vivid-amber) !important;}.has-light-green-cyan-color{color: var(--wp--preset--color--light-green-cyan) !important;}.has-vivid-green-cyan-color{color: var(--wp--preset--color--vivid-green-cyan) !important;}.has-pale-cyan-blue-color{color: var(--wp--preset--color--pale-cyan-blue) !important;}.has-vivid-cyan-blue-color{color: var(--wp--preset--color--vivid-cyan-blue) !important;}.has-vivid-purple-color{color: var(--wp--preset--color--vivid-purple) !important;}.has-black-background-color{background-color: var(--wp--preset--color--black) !important;}.has-cyan-bluish-gray-background-color{background-color: var(--wp--preset--color--cyan-bluish-gray) !important;}.has-white-background-color{background-color: var(--wp--preset--color--white) !important;}.has-pale-pink-background-color{background-color: var(--wp--preset--color--pale-pink) !important;}.has-vivid-red-background-color{background-color: var(--wp--preset--color--vivid-red) !important;}.has-luminous-vivid-orange-background-color{background-color: var(--wp--preset--color--luminous-vivid-orange) !important;}.has-luminous-vivid-amber-background-color{background-color: var(--wp--preset--color--luminous-vivid-amber) !important;}.has-light-green-cyan-background-color{background-color: var(--wp--preset--color--light-green-cyan) !important;}.has-vivid-green-cyan-background-color{background-color: var(--wp--preset--color--vivid-green-cyan) !important;}.has-pale-cyan-blue-background-color{background-color: var(--wp--preset--color--pale-cyan-blue) !important;}.has-vivid-cyan-blue-background-color{background-color: var(--wp--preset--color--vivid-cyan-blue) !important;}.has-vivid-purple-background-color{background-color: var(--wp--preset--color--vivid-purple) !important;}.has-black-border-color{border-color: var(--wp--preset--color--black) !important;}.has-cyan-bluish-gray-border-color{border-color: var(--wp--preset--color--cyan-bluish-gray) !important;}.has-white-border-color{border-color: var(--wp--preset--color--white) !important;}.has-pale-pink-border-color{border-color: var(--wp--preset--color--pale-pink) !important;}.has-vivid-red-border-color{border-color: var(--wp--preset--color--vivid-red) !important;}.has-luminous-vivid-orange-border-color{border-color: var(--wp--preset--color--luminous-vivid-orange) !important;}.has-luminous-vivid-amber-border-color{border-color: var(--wp--preset--color--luminous-vivid-amber) !important;}.has-light-green-cyan-border-color{border-color: var(--wp--preset--color--light-green-cyan) !important;}.has-vivid-green-cyan-border-color{border-color: var(--wp--preset--color--vivid-green-cyan) !important;}.has-pale-cyan-blue-border-color{border-color: var(--wp--preset--color--pale-cyan-blue) !important;}.has-vivid-cyan-blue-border-color{border-color: var(--wp--preset--color--vivid-cyan-blue) !important;}.has-vivid-purple-border-color{border-color: var(--wp--preset--color--vivid-purple) !important;}.has-vivid-cyan-blue-to-vivid-purple-gradient-background{background: var(--wp--preset--gradient--vivid-cyan-blue-to-vivid-purple) !important;}.has-light-green-cyan-to-vivid-green-cyan-gradient-background{background: var(--wp--preset--gradient--light-green-cyan-to-vivid-green-cyan) !important;}.has-luminous-vivid-amber-to-luminous-vivid-orange-gradient-background{background: var(--wp--preset--gradient--luminous-vivid-amber-to-luminous-vivid-orange) !important;}.has-luminous-vivid-orange-to-vivid-red-gradient-background{background: var(--wp--preset--gradient--luminous-vivid-orange-to-vivid-red) !important;}.has-very-light-gray-to-cyan-bluish-gray-gradient-background{background: var(--wp--preset--gradient--very-light-gray-to-cyan-bluish-gray) !important;}.has-cool-to-warm-spectrum-gradient-background{background: var(--wp--preset--gradient--cool-to-warm-spectrum) !important;}.has-blush-light-purple-gradient-background{background: var(--wp--preset--gradient--blush-light-purple) !important;}.has-blush-bordeaux-gradient-background{background: var(--wp--preset--gradient--blush-bordeaux) !important;}.has-luminous-dusk-gradient-background{background: var(--wp--preset--gradient--luminous-dusk) !important;}.has-pale-ocean-gradient-background{background: var(--wp--preset--gradient--pale-ocean) !important;}.has-electric-grass-gradient-background{background: var(--wp--preset--gradient--electric-grass) !important;}.has-midnight-gradient-background{background: var(--wp--preset--gradient--midnight) !important;}.has-small-font-size{font-size: var(--wp--preset--font-size--small) !important;}.has-medium-font-size{font-size: var(--wp--preset--font-size--medium) !important;}.has-large-font-size{font-size: var(--wp--preset--font-size--large) !important;}.has-x-large-font-size{font-size: var(--wp--preset--font-size--x-large) !important;} .wp-block-navigation a:where(:not(.wp-element-button)){color: inherit;} :where(.wp-block-post-template.is-layout-flex){gap: 1.25em;}:where(.wp-block-post-template.is-layout-grid){gap: 1.25em;} :where(.wp-block-columns.is-layout-flex){gap: 2em;}:where(.wp-block-columns.is-layout-grid){gap: 2em;} .wp-block-pullquote{font-size: 1.5em;line-height: 1.6;}</style> <link rel="stylesheet" id="cookie-law-info-css" href="/wp-content/plugins/cookie-law-info/legacy/public/css/cookie-law-info-public.css?ver=3.1.6" type="text/css" media="all"> <link rel="stylesheet" id="cookie-law-info-gdpr-css" href="/wp-content/plugins/cookie-law-info/legacy/public/css/cookie-law-info-gdpr.css?ver=3.1.6" type="text/css" media="all"> <link rel="stylesheet" id="theme-styles-css" href="/wp-content/themes/mpi-sws/assets/style.css?ver=1.9.0" type="text/css" media="screen"> <link rel="stylesheet" id="theme-print-styles-css" href="/wp-content/themes/mpi-sws/assets/print.css?ver=1.9.0" type="text/css" media="print"> <script type="text/javascript" src="/wp-includes/js/jquery/jquery.min.js?ver=3.7.0" id="jquery-core-js"></script> <script type="text/javascript" src="/wp-includes/js/jquery/jquery-migrate.min.js?ver=3.4.1" id="jquery-migrate-js"></script> <script type="text/javascript" id="cookie-law-info-js-extra"> /* <![CDATA[ */ var Cli_Data = {"nn_cookie_ids":[],"cookielist":[],"non_necessary_cookies":[],"ccpaEnabled":"","ccpaRegionBased":"","ccpaBarEnabled":"","strictlyEnabled":["necessary","obligatoire"],"ccpaType":"gdpr","js_blocking":"1","custom_integration":"","triggerDomRefresh":"","secure_cookies":""}; var cli_cookiebar_settings = {"animate_speed_hide":"500","animate_speed_show":"500","background":"#bcbcbc","border":"#b1a6a6c2","border_on":"","button_1_button_colour":"#61a229","button_1_button_hover":"#4e8221","button_1_link_colour":"#fff","button_1_as_button":"1","button_1_new_win":"","button_2_button_colour":"#333","button_2_button_hover":"#292929","button_2_link_colour":"#444","button_2_as_button":"","button_2_hidebar":"","button_3_button_colour":"#dedfe0","button_3_button_hover":"#b2b2b3","button_3_link_colour":"#333333","button_3_as_button":"1","button_3_new_win":"","button_4_button_colour":"#dedfe0","button_4_button_hover":"#b2b2b3","button_4_link_colour":"#333333","button_4_as_button":"1","button_7_button_colour":"#1e73be","button_7_button_hover":"#185c98","button_7_link_colour":"#fff","button_7_as_button":"1","button_7_new_win":"","font_family":"inherit","header_fix":"","notify_animate_hide":"1","notify_animate_show":"","notify_div_id":"#cookie-law-info-bar","notify_position_horizontal":"right","notify_position_vertical":"bottom","scroll_close":"","scroll_close_reload":"","accept_close_reload":"","reject_close_reload":"","showagain_tab":"","showagain_background":"#fff","showagain_border":"#000","showagain_div_id":"#cookie-law-info-again","showagain_x_position":"100px","text":"#333333","show_once_yn":"","show_once":"10000","logging_on":"","as_popup":"","popup_overlay":"1","bar_heading_text":"","cookie_bar_as":"banner","popup_showagain_position":"bottom-right","widget_position":"left"}; var log_object = {"ajax_url":"\/wp-admin\/admin-ajax.php"}; /* ]]> */ </script> <script type="text/javascript" src="/wp-content/plugins/cookie-law-info/legacy/public/js/cookie-law-info-public.js?ver=3.1.6" id="cookie-law-info-js"></script> <!--[if lt IE 9]> <script type='text/javascript' src='/wp-content/themes/mpi-sws/vendor/respondjs/respond.min.js?ver=1.4.2' id='respond.js-js'></script> <![endif]--> <!--[if lt IE 9]> <script type='text/javascript' src='/wp-content/themes/mpi-sws/vendor/html5shiv/html5shiv.min.js?ver=3.7.3' id='html5shiv-js'></script> <![endif]--> <link rel="EditURI" type="application/rsd+xml" title="RSD" href="/xmlrpc.php?rsd"> <style type="text/css">.cryptex, .cryptex .divider{display: inline-block;padding: 0px 1px 0px 1px;margin: 0px;background-color: transparent;cursor: auto;font-size: 12px;font-family: inherit;font-weight: normal;font-style: normal;text-align: left;text-transform: none;color: #000000;}.cryptex[rel], .cryptex[rel] span.divider {cursor: auto;}.cryptex img, .CryptexImg{margin: 0px;padding: 0px;border: solid 0px #ffffff;background-color: transparent;box-shadow: none;display: inline;vertical-align: middle;float: none;clear: none;}.CryptexImg{display: inline-block;background-size: contain;background-repeat: no-repeat;background-position: 0px 0px;}</style> </head> <body class="archive date post-type-archive post-type-archive-mpisws_news has-sec-nav page--news-archive lang--en_US"> <div class="top-nav js-top-nav"> <nav class="top-nav__ct" role="navigation" aria-label="Primary Menu"> <!-- Menu --> <div class="nav--first nav js-nv js-nv-mn"> <div class="ct nav__ct"> <a href="/" class="nav__logo-lnk nav__logo-lnk"> <img src="/wp-content/themes/mpi-sws/assets/images/mpi-sws-logo.svg?ver=1.9.0" alt=" " class="nav__logo nav__logo--mob js-nv-lnk js-nv-lnk-home svg js-svg"> </a> <ul id="menu-header-menu" class="nav__menu menu"> <li id="menu-item-997" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-has-children menu-item-997 nav__itm menu__itm"> <a href="/#ResearchAreas" class="nav__lnk js-nv-lnk menu__lnk">Research</a> <div class="nav-scroll-clip"><div class="nav-scroll-ct js-nv-scroll-ct"> <span class="arrow-prev js-scroll-left"></span><ul class="nav__menu menu menu--sub nav__menu--sub js-nv-sub-mn"> <li id="menu-item-454" class="menu-item menu-item-type-post_type menu-item-object-mpisws_researcharea menu-item-454 nav__itm menu__itm"><a href="/research-areas/algorithms-theory-logic/" class="nav__lnk js-nv-lnk menu__lnk">Algorithms, Theory & Logic</a></li> <li id="menu-item-252" class="menu-item menu-item-type-post_type menu-item-object-mpisws_researcharea menu-item-252 nav__itm menu__itm"><a href="/research-areas/programming-languages-and-verification/" class="nav__lnk js-nv-lnk menu__lnk">Programming Languages & Verification</a></li> <li id="menu-item-253" class="menu-item menu-item-type-post_type menu-item-object-mpisws_researcharea menu-item-253 nav__itm menu__itm"><a href="/research-areas/cyber-physical-systems/" class="nav__lnk js-nv-lnk menu__lnk">Cyber-Physical Systems</a></li> <li id="menu-item-251" class="menu-item menu-item-type-post_type menu-item-object-mpisws_researcharea menu-item-251 nav__itm menu__itm"><a href="/research-areas/distributed-networked-and-mobile-systems/" class="nav__lnk js-nv-lnk menu__lnk">Distributed, Networked & Mobile Systems</a></li> <li id="menu-item-254" class="menu-item menu-item-type-post_type menu-item-object-mpisws_researcharea menu-item-254 nav__itm menu__itm"><a href="/research-areas/security-and-privacy/" class="nav__lnk js-nv-lnk menu__lnk">Security & Privacy</a></li> <li id="menu-item-255" class="menu-item menu-item-type-post_type menu-item-object-mpisws_researcharea menu-item-255 nav__itm menu__itm"><a href="/research-areas/social-and-information-systems/" class="nav__lnk js-nv-lnk menu__lnk">Social & Information Systems</a></li> <li id="menu-item-537" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-537 nav__itm menu__itm"><a href="https://cis.mpg.de/" class="nav__lnk js-nv-lnk menu__lnk">More CS @ MPG</a></li> </ul> <span class="arrow-next js-scroll-right"></span> </div></div> </li> <li id="menu-item-243" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-243 nav__itm menu__itm"> <a href="/research-careers/" class="nav__lnk js-nv-lnk menu__lnk">Careers</a> <div class="nav-scroll-clip"><div class="nav-scroll-ct js-nv-scroll-ct"> <span class="arrow-prev js-scroll-left"></span><ul class="nav__menu menu menu--sub nav__menu--sub js-nv-sub-mn"> <li id="menu-item-378" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-378 nav__itm menu__itm"><a href="/research-careers/#general" class="nav__lnk js-nv-lnk menu__lnk">Overview</a></li> <li id="menu-item-6840" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-6840 nav__itm menu__itm"><a href="/research-careers/#tenure-track-openings" class="nav__lnk js-nv-lnk menu__lnk">Tenure-track openings</a></li> <li id="menu-item-380" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-380 nav__itm menu__itm"><a href="/research-careers/#postdoctoral-positions" class="nav__lnk js-nv-lnk menu__lnk">Postdoctoral Positions</a></li> <li id="menu-item-381" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-381 nav__itm menu__itm"><a href="/research-careers/#internships" class="nav__lnk js-nv-lnk menu__lnk">Internships</a></li> <li id="menu-item-4860" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-4860 nav__itm menu__itm"><a href="/equal-opportunities/" class="nav__lnk js-nv-lnk menu__lnk">Equal Opportunity Resources</a></li> </ul> <span class="arrow-next js-scroll-right"></span> </div></div> </li> <li id="menu-item-244" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-244 nav__itm menu__itm"> <a href="/graduate-studies/" class="nav__lnk js-nv-lnk menu__lnk">Grad Studies</a> <div class="nav-scroll-clip"><div class="nav-scroll-ct js-nv-scroll-ct"> <span class="arrow-prev js-scroll-left"></span><ul class="nav__menu menu menu--sub nav__menu--sub js-nv-sub-mn"> <li id="menu-item-383" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-383 nav__itm menu__itm"><a href="/graduate-studies/#general" class="nav__lnk js-nv-lnk menu__lnk">Overview</a></li> <li id="menu-item-384" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-384 nav__itm menu__itm"><a href="/graduate-studies/#why-choose-mpi-swsY" class="nav__lnk js-nv-lnk menu__lnk">Why Choose MPI-SWS?</a></li> <li id="menu-item-385" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-385 nav__itm menu__itm"><a href="/graduate-studies/#our-graduate-program" class="nav__lnk js-nv-lnk menu__lnk">Graduate Studies @ MPI-SWS</a></li> <li id="menu-item-386" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-386 nav__itm menu__itm"><a href="/graduate-studies/#program-structure" class="nav__lnk js-nv-lnk menu__lnk">Program Structure</a></li> <li id="menu-item-387" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-387 nav__itm menu__itm"><a href="/graduate-studies/#admission" class="nav__lnk js-nv-lnk menu__lnk">Admission</a></li> <li id="menu-item-388" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-388 nav__itm menu__itm"><a href="/graduate-studies/#faqs" class="nav__lnk js-nv-lnk menu__lnk">FAQs</a></li> <li id="menu-item-8098" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-8098 nav__itm menu__itm"><a href="/graduate-studies/#different-programs" class="nav__lnk js-nv-lnk menu__lnk">Different programs</a></li> <li id="menu-item-8097" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-8097 nav__itm menu__itm"><a href="/graduate-studies/#support-services" class="nav__lnk js-nv-lnk menu__lnk">Support Services</a></li> <li id="menu-item-389" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-389 nav__itm menu__itm"><a href="/graduate-studies/#life-in-germany" class="nav__lnk js-nv-lnk menu__lnk">Life in Germany</a></li> </ul> <span class="arrow-next js-scroll-right"></span> </div></div> </li> <li id="menu-item-309" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-has-children menu-item-309 nav__itm menu__itm"> <a href="/people/" class="nav__lnk js-nv-lnk menu__lnk">People</a> <div class="nav-scroll-clip"><div class="nav-scroll-ct js-nv-scroll-ct"> <span class="arrow-prev js-scroll-left"></span><ul class="nav__menu menu menu--sub nav__menu--sub js-nv-sub-mn"> <li id="menu-item-967" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-967 nav__itm menu__itm"><a href="/people/#faculty-and-researchers" class="nav__lnk js-nv-lnk menu__lnk">Faculty</a></li> <li id="menu-item-4086" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-4086 nav__itm menu__itm"><a href="/people/#postdocs" class="nav__lnk js-nv-lnk menu__lnk">Postdoctoral Researchers</a></li> <li id="menu-item-968" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-968 nav__itm menu__itm"><a href="/people/#students-and-interns" class="nav__lnk js-nv-lnk menu__lnk">Doctoral Students and Interns</a></li> <li id="menu-item-969" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-969 nav__itm menu__itm"><a href="/people/#former" class="nav__lnk js-nv-lnk menu__lnk">Former members</a></li> <li id="menu-item-970" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-970 nav__itm menu__itm"><a href="/people/#joint-administration" class="nav__lnk js-nv-lnk menu__lnk">Joint Central Services</a></li> <li id="menu-item-971" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-971 nav__itm menu__itm"><a href="/people/#services" class="nav__lnk js-nv-lnk menu__lnk">Service Staff</a></li> </ul> <span class="arrow-next js-scroll-right"></span> </div></div> </li> <li id="menu-item-256" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-has-children menu-item-256 nav__itm menu__itm"> <a href="/events/" class="nav__lnk js-nv-lnk menu__lnk">Events</a> <div class="nav-scroll-clip"><div class="nav-scroll-ct js-nv-scroll-ct"> <span class="arrow-prev js-scroll-left"></span><ul class="nav__menu menu menu--sub nav__menu--sub js-nv-sub-mn"> <li id="menu-item-390" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-390 nav__itm menu__itm"><a href="/events/" class="nav__lnk js-nv-lnk menu__lnk">Overview</a></li> <li id="menu-item-391" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-391 nav__itm menu__itm"><a href="/events/upcoming/" class="nav__lnk js-nv-lnk menu__lnk">Upcoming</a></li> <li id="menu-item-392" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-392 nav__itm menu__itm"><a href="/events/recent/" class="nav__lnk js-nv-lnk menu__lnk">Recent</a></li> <li id="menu-item-393" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-393 nav__itm menu__itm"><a href="/events/2016/" class="nav__lnk js-nv-lnk menu__lnk">Archive</a></li> </ul> <span class="arrow-next js-scroll-right"></span> </div></div> </li> <li id="menu-item-2651" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-has-children menu-item-2651 nav__itm menu__itm"> <a href="/news/general" class="nav__lnk js-nv-lnk menu__lnk">News</a> <div class="nav-scroll-clip"><div class="nav-scroll-ct js-nv-scroll-ct"> <span class="arrow-prev js-scroll-left"></span><ul class="nav__menu menu menu--sub nav__menu--sub js-nv-sub-mn"> <li id="menu-item-4323" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-4323 nav__itm menu__itm"><a href="/news/general/" class="nav__lnk js-nv-lnk menu__lnk">All</a></li> <li id="menu-item-8095" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-8095 nav__itm menu__itm"><a href="/news/general/2023" class="nav__lnk js-nv-lnk menu__lnk">2023</a></li> <li id="menu-item-8094" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-8094 nav__itm menu__itm"><a href="/news/general/2022" class="nav__lnk js-nv-lnk menu__lnk">2022</a></li> <li id="menu-item-8096" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-8096 nav__itm menu__itm"><a href="/news/general/2021" class="nav__lnk js-nv-lnk menu__lnk">2021</a></li> <li id="menu-item-7192" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-7192 nav__itm menu__itm"><a href="/news/general/2020" class="nav__lnk js-nv-lnk menu__lnk">2020</a></li> <li id="menu-item-7191" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-7191 nav__itm menu__itm"><a href="/news/general/2019" class="nav__lnk js-nv-lnk menu__lnk">2019</a></li> <li id="menu-item-7190" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-7190 nav__itm menu__itm"><a href="/news/general/2018" class="nav__lnk js-nv-lnk menu__lnk">2018</a></li> <li id="menu-item-6049" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-6049 nav__itm menu__itm"><a href="/news/general/2017" class="nav__lnk js-nv-lnk menu__lnk">2017</a></li> <li id="menu-item-2115" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2115 nav__itm menu__itm"><a href="/news/general/2016" class="nav__lnk js-nv-lnk menu__lnk">2016</a></li> <li id="menu-item-2114" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2114 nav__itm menu__itm"><a href="/news/general/2015" class="nav__lnk js-nv-lnk menu__lnk">2015</a></li> <li id="menu-item-2113" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2113 nav__itm menu__itm"><a href="/news/general/2014" class="nav__lnk js-nv-lnk menu__lnk">2014</a></li> <li id="menu-item-2112" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2112 nav__itm menu__itm"><a href="/news/general/2013" class="nav__lnk js-nv-lnk menu__lnk">2013</a></li> <li id="menu-item-2111" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2111 nav__itm menu__itm"><a href="/news/general/2012" class="nav__lnk js-nv-lnk menu__lnk">2012</a></li> <li id="menu-item-2110" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2110 nav__itm menu__itm"><a href="/news/general/2011" class="nav__lnk js-nv-lnk menu__lnk">2011</a></li> <li id="menu-item-2109" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2109 nav__itm menu__itm"><a href="/news/general/2010" class="nav__lnk js-nv-lnk menu__lnk">2010</a></li> <li id="menu-item-2108" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2108 nav__itm menu__itm"><a href="/news/general/2009" class="nav__lnk js-nv-lnk menu__lnk">2009</a></li> <li id="menu-item-2107" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2107 nav__itm menu__itm"><a href="/news/general/2008" class="nav__lnk js-nv-lnk menu__lnk">2008</a></li> <li id="menu-item-2105" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2105 nav__itm menu__itm"><a href="/news/general/2007" class="nav__lnk js-nv-lnk menu__lnk">2007</a></li> <li id="menu-item-2106" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2106 nav__itm menu__itm"><a href="/news/general/2006" class="nav__lnk js-nv-lnk menu__lnk">2006</a></li> <li id="menu-item-2116" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2116 nav__itm menu__itm"><a href="/news/general/2005" class="nav__lnk js-nv-lnk menu__lnk">2005</a></li> <li id="menu-item-2117" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2117 nav__itm menu__itm"><a href="/news/general/2004/" class="nav__lnk js-nv-lnk menu__lnk">2004</a></li> </ul> <span class="arrow-next js-scroll-right"></span> </div></div> </li> <li id="menu-item-245" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-245 nav__itm menu__itm"> <a href="/about-us/" class="nav__lnk js-nv-lnk menu__lnk">About Us</a> <div class="nav-scroll-clip"><div class="nav-scroll-ct js-nv-scroll-ct"> <span class="arrow-prev js-scroll-left"></span><ul class="nav__menu menu menu--sub nav__menu--sub js-nv-sub-mn"> <li id="menu-item-2653" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2653 nav__itm menu__itm"><a href="/about-us/#welcome-from-the-founding-director" class="nav__lnk js-nv-lnk menu__lnk">Welcome from the Founding Director</a></li> <li id="menu-item-402" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-402 nav__itm menu__itm"><a href="/about-us/#structure-and-organization" class="nav__lnk js-nv-lnk menu__lnk">Structure and Organization</a></li> <li id="menu-item-403" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-403 nav__itm menu__itm"><a href="/about-us/#scientific-advisory-board" class="nav__lnk js-nv-lnk menu__lnk">Scientific Advisory Board</a></li> <li id="menu-item-404" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-404 nav__itm menu__itm"><a href="/about-us/#biennial-progress-reports" class="nav__lnk js-nv-lnk menu__lnk">Biennial Progress Reports</a></li> <li id="menu-item-405" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-405 nav__itm menu__itm"><a href="/about-us/#contact" class="nav__lnk js-nv-lnk menu__lnk">Contact</a></li> </ul> <span class="arrow-next js-scroll-right"></span> </div></div> </li> </ul> </div> </div> <!-- Second nav --> <div class="nav js-nv nav--sec js-nv-sec"> <div class="ct nav__ct js-nv-scroll-ct nav-scroll-ct"> <span class="arrow-prev js-scroll-left"></span> <ul class="nav__lst--sec nav__lst"> <li class="nav__itm--sec nav__itm"> <a href="/news/" class="nav__lnk--sec nav__lnk ">All</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2024/" class="nav__lnk--sec nav__lnk ">2024</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2023/" class="nav__lnk--sec nav__lnk ">2023</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2022/" class="nav__lnk--sec nav__lnk ">2022</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2021/" class="nav__lnk--sec nav__lnk ">2021</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2020/" class="nav__lnk--sec nav__lnk ">2020</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2019/" class="nav__lnk--sec nav__lnk ">2019</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2018/" class="nav__lnk--sec nav__lnk is-active">2018</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2017/" class="nav__lnk--sec nav__lnk ">2017</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2016/" class="nav__lnk--sec nav__lnk ">2016</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2015/" class="nav__lnk--sec nav__lnk ">2015</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2014/" class="nav__lnk--sec nav__lnk ">2014</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2013/" class="nav__lnk--sec nav__lnk ">2013</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2012/" class="nav__lnk--sec nav__lnk ">2012</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2011/" class="nav__lnk--sec nav__lnk ">2011</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2010/" class="nav__lnk--sec nav__lnk ">2010</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2009/" class="nav__lnk--sec nav__lnk ">2009</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2008/" class="nav__lnk--sec nav__lnk ">2008</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2007/" class="nav__lnk--sec nav__lnk ">2007</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2006/" class="nav__lnk--sec nav__lnk ">2006</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2005/" class="nav__lnk--sec nav__lnk ">2005</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2004/" class="nav__lnk--sec nav__lnk ">2004</a> </li> </ul> <span class="arrow-next js-scroll-right"></span> </div> </div> <!-- Third nav --> <!-- Mobile extras --> <div class="nav--mob nav js-nv-mob"> <a href="/" class="nav__logo-lnk nav__logo-lnk--mob"><img src="/wp-content/themes/mpi-sws/assets/images/mpi-sws-logo.svg?ver=1.9.0" alt=" " class="nav__logo nav__logo--mob js-nv-lnk js-nv-lnk-home svg js-svg"></a> <a class="nav__toggle-lnk lnk--burger js-nv-toggle-lnk" href="javascript:;" title="Show Navigation"><span class="ln ln--1 js-nv-mn-lnk-ln-1"></span><span class="ln ln--2 js-nv-mn-lnk-ln-2"></span><span class="ln ln--3 js-nv-mn-lnk-ln-3"></span></a> </div> </nav> </div> <div class="page__ct js-pg-ct"> <main class="page__main" role="main"> <style scoped>.page__hd { background-image: url("/wp-content/themes/mpi-sws/assets/images/bg/MPI-SWS-Research-Areas_180.jpg?ver=1.9.0"); background-position:50% 50%;background-repeat:no-repeat;background-size:cover;}@media (min-width: 181px) {.page__hd { background-image: url("/wp-content/themes/mpi-sws/assets/images/bg/MPI-SWS-Research-Areas_360.jpg?ver=1.9.0"); }}@media (min-width: 361px) {.page__hd { background-image: url("/wp-content/themes/mpi-sws/assets/images/bg/MPI-SWS-Research-Areas_720.jpg?ver=1.9.0"); }}@media (min-width: 721px) {.page__hd { background-image: url("/wp-content/themes/mpi-sws/assets/images/bg/MPI-SWS-Research-Areas_1440.jpg?ver=1.9.0"); }}</style> <header class="page__hd"> <div class="ct"> <div class="page__title-ct"> <h1 class="page__title">News 2018</h1> </div> </div> </header> <div class="page__body"> <article class="news "> <div class="ct"> <div class="page__anchor" id="mpi-sws-alumni-where-are-they-now"></div> <header class="news__hd"> <h2 class="news__ttl">MPI-SWS alumni in leadership positions</h2> <div class="news__meta"> <div class="news__date">November 2018</div> <div class="news__category"> <a href="/category/people/alumni-news/" rel="category tag">Alumni News</a>, <a href="/category/homepagenews/" rel="category tag">Homepage News</a> </div> </div> <div class="news__img-ct"> <img src="/wp-content/uploads/2018/11/alumni-4-150x84.jpg" width="150" height="84" srcset=" /wp-content/uploads/2018/11/alumni-4-150x84.jpg 150w, /wp-content/uploads/2018/11/alumni-4-300x168.jpg 300w, /wp-content/uploads/2018/11/alumni-4-600x337.jpg 600w, /wp-content/uploads/2018/11/alumni-4-768x431.jpg 768w, /wp-content/uploads/2018/11/alumni-4-900x505.jpg 900w, /wp-content/uploads/2018/11/alumni-4.jpg 960w" title="alumni" sizes="100vw"> </div> </header> <div class="news__bd js-readmore-ct"> <div class="news__cnt"> <div class="news__cnt-preview cnt js-readmore-excerpt">Since its founding at the end of 2004, MPI-SWS has been fortunate to have been the academic home of many amazing doctoral students and postdoctoral fellows. With the ten-year anniversary of the graduation of our first students coming up soon, we wanted to take a moment to celebrate some of the achievements of our alumni:<br> <ul> <br> <li> <a href="https://mislove.org/">Alan Mislove</a> (PhD 2009) is now an Associate Professor at Northeastern University in Boston, Massachusetts,</li> </ul> ...</div> <div class="news__cnt-full cnt js-readmore-full"> <div>Since its founding at the end of 2004, MPI-SWS has been fortunate to have been the academic home of many amazing doctoral students and postdoctoral fellows. With the ten-year anniversary of the graduation of our first students coming up soon, we wanted to take a moment to celebrate some of the achievements of our alumni:</div> <br> <ul> <br> <li> <a href="https://mislove.org/">Alan Mislove</a> (PhD 2009) is now an Associate Professor at Northeastern University in Boston, Massachusetts, USA.</li> <br> <li> <a href="http://www.cis.upenn.edu/~ahae/">Andreas Haeberlen</a> (PhD 2009) is now an Associate Professor at the University of Pennsylvania in Philadelphia, Pennsylvania, USA.</li> <br> <li> <a href="http://www.brynosaurus.com/">Bryan Ford</a> (Postdoc 2009) is now an Associate Professor at EPFL in Lausanne, Switzerland.</li> <br> <li> <a href="https://ds.kaist.ac.kr/professor.html">Meeyoung Cha</a> (Postdoc 2010) is now an Associate Professor at KAIST in Daejon, South Korea.</li> <br> <li> <a href="https://software.imdea.org/~bkoepf/">Boris Köpf</a> (Postdoc 2010) is now a researcher at Microsoft Research Cambridge in the UK.</li> <br> <li> <a href="http://matthewhammer.org/">Matthew Hammer</a> (PhD 2012) is now an Assistant Professor at The University of Chicago in Illinois, USA.</li> <br> <li> <a href="https://sf.snu.ac.kr/gil.hur/">Chung-Kil Hur</a> (Postdoc 2012) is now an Associate Professor at Seoul National University in Seoul, South Korea.</li> <br> <li> <a href="https://www.cl.cam.ac.uk/~nk480/">Neel Krishnaswam</a>i (Postdoc 2012) is now a Lecturer at the University of Cambridge in the UK.</li> <br> <li> <a href="http://www.gsd.inesc-id.pt/~nsantos/">Nuno Santos</a> (PhD 2013) is an Assistant Professor at IST, University of Lisbon in Portugal.</li> <br> <li> <a href="https://people.mpi-sws.org/~beta/">Beta Ziliani</a> (PhD 2013) is a faculty member at Universidad Nacional de Córdoba and a researcher at CONICET in Argentina.</li> <br> <li> <a href="http://aturon.github.io/about/">Aaron Turon</a> (Postdoc 2014) heads the the Rust Development Team at Mozilla Research. Aaron is based in Portland, Oregon, USA.</li> <br> <li> <a href="https://www.cs.purdue.edu/homes/pfonseca/">Pedro Fonseca</a> (PhD 2015) is an Assistant Professor at Purdue University in West Lafayette, Indiana, USA.</li> <br> <li> <a href="http://homepages.inf.ed.ac.uk/pbhatoti/">Pramod Bhatotia</a> (PhD 2015) is a Senior Lecturer at the University of Edinburgh in Scotland, UK.</li> <br> <li> <a href="https://mr-cheng-li.github.io/">Cheng Li</a> (PhD 2016) is a faculty member at the USTC (The University of Science and Technology of China) in Hefei, China.</li> <br> <li> <a href="https://warwick.ac.uk/fac/sci/dcs/people/dmitry_chistikov/">Dmitry Chistikov</a> (Postdoc 2016) is an Assistant Professor at the University of Warwick in the UK.</li> <br> <li> <a href="https://raynadimitrova.github.io/">Rayna Dimitrova</a> (Postdoc 2017) is an Assistant Professor at the University of Leicester in the UK.</li> <br> <li> <a href="http://homepages.cs.ncl.ac.uk/sadegh.soudjani/">Sadegh Soudjani</a> (Postdoc 2017) is an Assistant Professor at Newcastle University in the UK.</li> <br> <li> <a href="https://people.mpi-sws.org/~vinayak/">Vinayak Prabhu</a> (Postdoc 2017) is an Assistant Professor at Colorado State University in Fort Collins, Colorado, USA.</li> <br> <li> <a href="https://people.cs.uchicago.edu/~mainack/">Mainack Mondal</a> (PhD 2017) is a faculty member at IIT Kharaghpur in West Bengal, India.</li> <br> <li> <a href="https://lig-membres.imag.fr/gogao/">Oana Goga</a> (Postdoc 2017) is a researcher at CNRS in Grenoble, France.</li> <br> <li> <a href="http://www.cse.iitd.ernet.in/~rijurekha/">Riju Sen</a> (Postdoc 2017) is an Assistant Professor at IIT Delhi in India.</li> <br> <li> <a href="https://www.cs.tau.ac.il/~orilahav/">Ori Lahav</a> (Postdoc 2017) is a Senior Lecturer at Tel Aviv University in Israel.</li> <br> <li> <a href="https://people.mpi-sws.org/~mitra/">Mitra Nasri</a> (Postdoc 2018) is an Assistant<b> </b>Professor at the Delft University of Technology in the Netherlands.</li> <br> </ul> <br> Congratulations, everyone! We are proud that MPI-SWS alumni have spread far and wide, pursuing successful research careers all across the globe.</div> </div> <a class="btn-readmore js-readmore-btn" data-more="Read more" data-less="Read less" role="button">Read more</a> </div> </div> </article> <article class="news "> <div class="ct"> <div class="page__anchor" id="georg-zetzsche-joins-mpi-sws"></div> <header class="news__hd"> <h2 class="news__ttl">Georg Zetzsche joins MPI-SWS</h2> <div class="news__meta"> <div class="news__date">November 2018</div> <div class="news__category"> <a href="/category/homepagenews/" rel="category tag">Homepage News</a>, <a href="/category/people/new-faculty/" rel="category tag">New faculty</a> </div> </div> <div class="news__img-ct"> <img src="/wp-content/uploads/2018/11/georg-e1544091063817-150x94.jpg" width="150" height="94" srcset=" /wp-content/uploads/2018/11/georg-e1544091063817-150x94.jpg 150w, /wp-content/uploads/2018/11/georg-e1544091063817-300x187.jpg 300w, /wp-content/uploads/2018/11/georg-e1544091063817-600x375.jpg 600w, /wp-content/uploads/2018/11/georg-e1544091063817-768x479.jpg 768w, /wp-content/uploads/2018/11/georg-e1544091063817-900x562.jpg 900w, /wp-content/uploads/2018/11/georg-e1544091063817-1024x639.jpg 1024w, /wp-content/uploads/2018/11/georg-e1544091063817-1200x749.jpg 1200w, /wp-content/uploads/2018/11/georg-e1544091063817-1900x1186.jpg 1900w, /wp-content/uploads/2018/11/georg-e1544091063817.jpg 3934w" title="OLYMPUS DIGITAL CAMERA" sizes="100vw"> </div> </header> <div class="news__bd js-readmore-ct"> <div class="news__cnt"> <div class="news__cnt-preview cnt js-readmore-excerpt">Georg Zetzsche has joined the institute as a tenure-track faculty member, effective November 1, 2018. He is joining us from the Institut de Recherche en Informatique Fondamentale (IRIF) at Université Paris-Diderot, where he has been a postdoctoral researcher. Georg's goal is to understand which questions about program behaviors and other infinite structures can be answered efficiently. His research focuses on issues of decidability, complexity, synthesis, and expressiveness arising in program verification and mathematics.<br> <br> Georg was previously a postdoctoral researcher in the Laboratoire Spécification et Vérification (LSV) at ENS Paris-Saclay. ...</div> <div class="news__cnt-full cnt js-readmore-full">Georg Zetzsche has joined the institute as a tenure-track faculty member, effective November 1, 2018. He is joining us from the Institut de Recherche en Informatique Fondamentale (IRIF) at Université Paris-Diderot, where he has been a postdoctoral researcher. Georg's goal is to understand which questions about program behaviors and other infinite structures can be answered efficiently. His research focuses on issues of decidability, complexity, synthesis, and expressiveness arising in program verification and mathematics.<br> <br> Georg was previously a postdoctoral researcher in the Laboratoire Spécification et Vérification (LSV) at ENS Paris-Saclay. He obtained his PhD from the University of Kaiserslautern and his Diplom degree from Universität Hamburg. For his PhD work, Georg received the EATCS Distinguished Dissertation Award.</div> </div> <a class="btn-readmore js-readmore-btn" data-more="Read more" data-less="Read less" role="button">Read more</a> </div> </div> </article> <article class="news "> <div class="ct"> <div class="page__anchor" id="tenure-track-faculty-position"></div> <header class="news__hd"> <h2 class="news__ttl">Tenure-Track Faculty Position</h2> <div class="news__meta"> <div class="news__date">October 2018</div> <div class="news__category"> <a href="/category/homepagenews/" rel="category tag">Homepage News</a>, <a href="/category/people/open-positions/" rel="category tag">Open Positions</a> </div> </div> <div class="news__img-ct"> </div> </header> <div class="news__bd js-readmore-ct"> <div class="news__cnt"> <div class="news__cnt-preview cnt js-readmore-excerpt">Applications are invited for tenure-track faculty in all areas of computer science. Pending final approval, we expect to fill one position.<br> <br> A doctoral degree in computer science or related areas and an outstanding research record are required. Successful candidates are expected to build a team and pursue a highly visible research agenda, both independently and in collaboration with other groups.<br> <br> MPI-SWS is part of a network of over 80 Max Planck Institutes, ...</div> <div class="news__cnt-full cnt js-readmore-full">Applications are invited for tenure-track faculty in all areas of computer science. Pending final approval, we expect to fill one position.<br> <br> A doctoral degree in computer science or related areas and an outstanding research record are required. Successful candidates are expected to build a team and pursue a highly visible research agenda, both independently and in collaboration with other groups.<br> <br> MPI-SWS is part of a network of over 80 Max Planck Institutes, Germany’s premier basic-research organisations. MPIs have an established record of world-class, foundational research in the sciences, technology, and the humanities. The institute offers a unique environment that combines the best aspects of a university department and a research laboratory: Faculty enjoy full academic freedom, lead a team of doctoral students and post-docs, and have the opportunity to teach university courses; at the same time, they enjoy ongoing institutional funding in addition to third-party funds, a technical infrastructure unrivaled for an academic institution, as well as internationally competitive compensation.<br> <br> The institute is located in the German cities of Saarbruecken and Kaiserslautern, in the tri-border area of Germany, France, and Luxembourg. We maintain an international and diverse work environment and seek applications from outstanding researchers worldwide. The working language is English; knowledge of the German language is not required for a successful career at the institute.<br> <br> Qualified candidates should apply on our application website (<a href="http://apply.mpi-sws.org/">apply.mpi-sws.org</a>). To receive full consideration, applications should be received by December 1st, 2018.<br> <br> The institute is committed to increasing the representation of women and minorities, as well as of individuals with physical disabilities. We particularly encourage such individuals to apply. The initial tenure-track appointment is for five years; it can be extended to seven years based on a midterm evaluation in the fourth year. A permanent contract can be awarded upon a successful tenure evaluation in the sixth year.</div> </div> <a class="btn-readmore js-readmore-btn" data-more="Read more" data-less="Read less" role="button">Read more</a> </div> </div> </article> <article class="news "> <div class="ct"> <div class="page__anchor" id="research-spotlight-learning-to-interact-with-learning-agents"></div> <header class="news__hd"> <h2 class="news__ttl">Research Spotlight: Learning to interact with learning agents</h2> <div class="news__meta"> <div class="news__date">September 2018</div> <div class="news__category"> <a href="/category/homepagenews/" rel="category tag">Homepage News</a>, <a href="/category/research/research-spotlight/" rel="category tag">Research Spotlight</a> </div> </div> <div class="news__img-ct"> <img src="/wp-content/uploads/2018/09/spotlight_adishsingla_titleimage-150x95.jpg" width="150" height="95" srcset=" /wp-content/uploads/2018/09/spotlight_adishsingla_titleimage-150x95.jpg 150w, /wp-content/uploads/2018/09/spotlight_adishsingla_titleimage-300x190.jpg 300w, /wp-content/uploads/2018/09/spotlight_adishsingla_titleimage-600x381.jpg 600w, /wp-content/uploads/2018/09/spotlight_adishsingla_titleimage-768x488.jpg 768w, /wp-content/uploads/2018/09/spotlight_adishsingla_titleimage-900x571.jpg 900w, /wp-content/uploads/2018/09/spotlight_adishsingla_titleimage-1024x650.jpg 1024w" title="spotlight_adishsingla_titleimage" sizes="100vw"> </div> </header> <div class="news__bd js-readmore-ct"> <div class="news__cnt"> <div class="news__cnt-preview cnt js-readmore-excerpt">Many real-world systems involve repeatedly making decisions under uncertainty—for instance, choosing one of the several products to recommend to a user in an online recommendation service, or dynamically allocating resources among available stock options in a financial market. Machine learning (ML) algorithms driving these systems typically operate under the assumption that they are interacting with static components, e.g., users' preferences are fixed, trading tools providing stock recommendations are static, and data distributions are stationary. This assumption is often violated in modern systems, ...</div> <div class="news__cnt-full cnt js-readmore-full">Many real-world systems involve repeatedly making decisions under uncertainty—for instance, choosing one of the several products to recommend to a user in an online recommendation service, or dynamically allocating resources among available stock options in a financial market. Machine learning (ML) algorithms driving these systems typically operate under the assumption that they are interacting with static components, e.g., users' preferences are fixed, trading tools providing stock recommendations are static, and data distributions are stationary. This assumption is often violated in modern systems, as these algorithms are increasingly interacting with and seeking information from learning agents including people, robots, and adaptive adversaries. Consequently, many well-studied ML frameworks and algorithmic techniques fail to provide desirable theoretical guarantees—for instance, algorithms might converge to a sub-optimal solution or fail arbitrarily bad in these settings.<br> <br> Researchers at the <a href="https://people.mpi-sws.org/~adishs/machineteaching.html" target="_blank" rel="noopener">Machine Teaching Group, MPI-SWS</a> are designing novel ML algorithms that have to interact with agents that are adaptive or learning over time, especially in situations when the algorithm's decisions directly affect the state dynamics of these agents. In recent work [1], they have studied the above-mentioned problem in the context of two fundamental machine learning frameworks: (i) online learning using experts' advice and (ii) active learning using labeling oracles. In particular, they consider a setting where experts/oracles themselves are learning agents. For instance, active learning algorithms typically query labels from an oracle, e.g., a (possibly noisy) domain expert; however, in emerging crowd-powered systems, these experts are getting replaced by inexpert participants who could themselves be learning over time (e.g., volunteers in citizen science projects). They have shown that when these experts/oracles themselves are learning agents, well-studied algorithms (like the EXP3 algorithm) fail to converge to the optimal solution and can have arbitrarily bad performance for this new problem setting. Furthermore, they provide an impossibility result showing that without sharing any information across experts, it is impossible to achieve convergence guarantees. This calls for developing novel algorithms with practical ways of coordination between the central algorithm and learning agents to achieve desired guarantees.<br> <br> Currently, researchers at the Machine Teaching Group are studying these challenges in the context of designing next-generation human-AI collaborative systems. As a concrete application setting, consider a car driving scenario where the goal is to develop an assistive AI agent to drive the car in an auto-pilot mode, but giving control back to the human driver in safety-critical situations. They study this setting by casting it as a multi-agent reinforcement learning problem. When the human agent has a stationary policy (i.e., the actions take by the human driver in different states/scenarios are fixed), it is trivial to learn an optimal policy for the AI agent that maximizes the overall performance of this collaborative system. However, in real-life settings where a human driver would adapt their behavior in response to the presence of an auto-pilot mode, they show that the problem of learning an optimal policy for the AI agent becomes computationally intractable. This work is one of the recent additions to an expanding set of results and algorithmic techniques developed by MPI-SWS researchers in the nascent area of <a href="https://people.mpi-sws.org/~adishs/machineteaching.html" target="_blank" rel="noopener">Machine Teaching</a> [2, 3].<br> <h4>References</h4> <br> [1] Adish Singla, Hamed Hassani, and Andreas Krause. Learning to Interact with Learning Agents. In Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI'18), 2018.<br> <br> [2] Xiaojin Zhu, Adish Singla, Sandra Zilles, and Anna N. Rafferty. An Overview of Machine Teaching. arXiv 1801.05927, 2018.<br> <br> [3] Maya Cakmak, Anna N. Rafferty, Adish Singla, Xiaojin Zhu, and Sandra Zilles. <a href="http://teaching-machines.cc/nips2017/" target="_blank" rel="noopener">Workshop on Teaching Machines, Robots, and Humans</a>. NIPS 2017.</div> </div> <a class="btn-readmore js-readmore-btn" data-more="Read more" data-less="Read less" role="button">Read more</a> </div> </div> </article> <article class="news "> <div class="ct"> <div class="page__anchor" id="krishna-gummadi-awarded-erc-advanced-grant"></div> <header class="news__hd"> <h2 class="news__ttl">Krishna Gummadi awarded ERC Advanced Grant</h2> <div class="news__meta"> <div class="news__date">September 2018</div> <div class="news__category"> <a href="/category/grants/erc-awards/" rel="category tag">ERC Awards</a>, <a href="/category/homepagenews/" rel="category tag">Homepage News</a> </div> </div> <div class="news__img-ct"> <img src="/wp-content/uploads/2018/09/Krishna-e1537876195269-150x94.jpg" width="150" height="94" srcset=" /wp-content/uploads/2018/09/Krishna-e1537876195269-150x94.jpg 150w, /wp-content/uploads/2018/09/Krishna-e1537876195269-300x188.jpg 300w, /wp-content/uploads/2018/09/Krishna-e1537876195269-600x375.jpg 600w, /wp-content/uploads/2018/09/Krishna-e1537876195269-768x480.jpg 768w, /wp-content/uploads/2018/09/Krishna-e1537876195269-900x563.jpg 900w, /wp-content/uploads/2018/09/Krishna-e1537876195269-1024x640.jpg 1024w, /wp-content/uploads/2018/09/Krishna-e1537876195269-1200x750.jpg 1200w" title="Krishna" sizes="100vw"> </div> </header> <div class="news__bd js-readmore-ct"> <div class="news__cnt"> <div class="news__cnt-preview cnt js-readmore-excerpt">Krishna Gummadi, head of the MPI-SWS Networked Systems group, has been awarded an ERC Advanced Grant. Over the next five years, his project "Foundations of Fair Social Computing" will receive 2.49 million euros, which will allow the group to develop the foundations for fair social computing in the future.<br> <br> In the most recent round for Advanced Grants, a total of 2,167 research proposals were submitted to the ERC out of which merely 12% were selected for funding. ...</div> <div class="news__cnt-full cnt js-readmore-full">Krishna Gummadi, head of the MPI-SWS Networked Systems group, has been awarded an ERC Advanced Grant. Over the next five years, his project "Foundations of Fair Social Computing" will receive 2.49 million euros, which will allow the group to develop the foundations for fair social computing in the future.<br> <br> In the most recent round for Advanced Grants, a total of 2,167 research proposals were submitted to the ERC out of which merely 12% were selected for funding. The sole selection criterion is scientific excellence.<br> <h3>Summary of the Fair Social Computing project proposal</h3> <br> Social computing represents a societal-scale symbiosis of humans and computational systems, where humans interact via and with computers, actively providing inputs to influence---and in turn being influenced by---the outputs of the computations. Social computations impact all aspects of our social lives, from what news we get to see and who we meet to what goods and services are offered at what price and how our creditworthiness and welfare benefits are assessed. Given the pervasiveness and impact of social computations, it is imperative that social computations be fair, i.e., perceived as just by the participants subject to the computation. The case for fair computations in democratic societies is self-evident: when computations are deemed unjust, their outcomes will be rejected and they will eventually lose their participants.<br> <br> Recently, however, several concerns have been raised about the unfairness of social computations pervading our lives, including<br> <ol> <br> <li>the existence of implicit biases in online search and recommendations,</li> <br> <li>the potential for discrimination in machine learning based predictive analytics, and</li> <br> <li>a lack of transparency in algorithmic decision making, with systems providing little to no information about <em>which</em> sensitive user data they use or <em>how</em> they use them.</li> <br> </ol> <br> Given these concerns, we need reliable ways to assess and ensure the fairness of social computations. However, it is currently not clear how to determine whether a social computation is fair, how we can compare the fairness of two alternative computations, how to adjust a computational method to make it more fair, or how to construct a fair method by design. This project will tackle these challenges in turn. We propose a set of comprehensive fairness principles, and will show how to apply them to social computations. In particular, we will operationalize fairness, so that it can be measured from empirical observations. We will show how to characterize which fairness criteria are satisfied by a deployed computational system. Finally, we will show how to synthesize non-discriminatory computations, i.e., how to learn an algorithm from training data that satisfies a given fairness principle.</div> </div> <a class="btn-readmore js-readmore-btn" data-more="Read more" data-less="Read less" role="button">Read more</a> </div> </div> </article> <article class="news "> <div class="ct"> <div class="page__anchor" id="jonathan-mace-joins-mpi-sws"></div> <header class="news__hd"> <h2 class="news__ttl">Jonathan Mace joins MPI-SWS</h2> <div class="news__meta"> <div class="news__date">September 2018</div> <div class="news__category"> <a href="/category/homepagenews/" rel="category tag">Homepage News</a>, <a href="/category/people/new-faculty/" rel="category tag">New faculty</a> </div> </div> <div class="news__img-ct"> <img src="/wp-content/uploads/2018/10/jcmace-150x88.jpg" width="150" height="88" srcset=" /wp-content/uploads/2018/10/jcmace-150x88.jpg 150w, /wp-content/uploads/2018/10/jcmace-300x176.jpg 300w, /wp-content/uploads/2018/10/jcmace-600x353.jpg 600w, /wp-content/uploads/2018/10/jcmace-768x452.jpg 768w, /wp-content/uploads/2018/10/jcmace-900x529.jpg 900w, /wp-content/uploads/2018/10/jcmace.jpg 1000w" title="jcmace" sizes="100vw"> </div> </header> <div class="news__bd js-readmore-ct"> <div class="news__cnt"> <div class="news__cnt-preview cnt js-readmore-excerpt"> <a href="https://people.mpi-sws.org/~jcmace/">Jonathan Mace</a> has joined the institute as a tenure-track faculty member, effective September 1, 2018. He is joining us from Brown University, USA, where he has completed his Ph.D. in computer science. Jonathan's research focuses on tools, techniques, and abstractions to make it easier to develop and operate cloud distributed systems. In particular, he is interested in making it easier to reason about and control complicated, end-to-end system behaviors at runtime.<br> <br> Before starting his Ph.D., ...</div> <div class="news__cnt-full cnt js-readmore-full"> <a href="https://people.mpi-sws.org/~jcmace/">Jonathan Mace</a> has joined the institute as a tenure-track faculty member, effective September 1, 2018. He is joining us from Brown University, USA, where he has completed his Ph.D. in computer science. Jonathan's research focuses on tools, techniques, and abstractions to make it easier to develop and operate cloud distributed systems. In particular, he is interested in making it easier to reason about and control complicated, end-to-end system behaviors at runtime.<br> <br> Before starting his Ph.D., Jonathan worked for two years at IBM UK, and earned his undergraduate degree from Oxford University. He is a recipient of the Facebook Fellowship in Distributed Systems, an SOSP Best Paper Award, and the Honorable Mention for the Dennis Ritchie Thesis Award.</div> </div> <a class="btn-readmore js-readmore-btn" data-more="Read more" data-less="Read less" role="button">Read more</a> </div> </div> </article> <article class="news "> <div class="ct"> <div class="page__anchor" id="antoine-kaufmann-joins-mpi-sws"></div> <header class="news__hd"> <h2 class="news__ttl">Antoine Kaufmann joins MPI-SWS</h2> <div class="news__meta"> <div class="news__date">August 2018</div> <div class="news__category"> <a href="/category/homepagenews/" rel="category tag">Homepage News</a>, <a href="/category/people/new-faculty/" rel="category tag">New faculty</a> </div> </div> <div class="news__img-ct"> <img src="/wp-content/uploads/2018/08/antoine-150x150.png" width="150" height="150" srcset=" /wp-content/uploads/2018/08/antoine-150x150.png 150w, /wp-content/uploads/2018/08/antoine.png 240w" title="antoine" sizes="100vw"> </div> </header> <div class="news__bd js-readmore-ct"> <div class="news__cnt"> <div class="news__cnt-preview cnt js-readmore-excerpt">Antoine Kaufmann is joining us from the University of Washington in Seattle,<br> where he obtained his Ph.D. in computer science. His research investigates the<br> design and implementation of efficient, scalable, and robust systems for<br> rapidly evolving modern platforms, with a current focus on data centers. He<br> addresses these challenges from a systems perspective, with solutions that span<br> multiple layers of the systems stack, from operating systems through networks<br> down to hardware, ...</div> <div class="news__cnt-full cnt js-readmore-full">Antoine Kaufmann is joining us from the University of Washington in Seattle,<br> where he obtained his Ph.D. in computer science. His research investigates the<br> design and implementation of efficient, scalable, and robust systems for<br> rapidly evolving modern platforms, with a current focus on data centers. He<br> addresses these challenges from a systems perspective, with solutions that span<br> multiple layers of the systems stack, from operating systems through networks<br> down to hardware, but also programming languages and applications.<br> <br> Antoine joins the institute as a research group leader, effective Aug 6, 2018. Before<br> his Ph.D., Antoine obtained his Master's and Bachelor's degree from ETH Zurich.</div> </div> <a class="btn-readmore js-readmore-btn" data-more="Read more" data-less="Read less" role="button">Read more</a> </div> </div> </article> <article class="news "> <div class="ct"> <div class="page__anchor" id="mpi-sws-and-mpi-inf-jointly-participated-in-the-2018-girls-day"></div> <header class="news__hd"> <h2 class="news__ttl">MPI-SWS and MPI-INF jointly participated in the 2018 Girls' Day</h2> <div class="news__meta"> <div class="news__date">June 2018</div> <div class="news__category"> <a href="/category/homepagenews/" rel="category tag">Homepage News</a>, <a href="/category/other-categories/outreach/" rel="category tag">Outreach</a> </div> </div> <div class="news__img-ct"> <img src="/wp-content/uploads/2018/06/gruppenfoto-smaller-150x89.jpg" width="150" height="89" srcset=" /wp-content/uploads/2018/06/gruppenfoto-smaller-150x89.jpg 150w, /wp-content/uploads/2018/06/gruppenfoto-smaller-300x178.jpg 300w, /wp-content/uploads/2018/06/gruppenfoto-smaller-600x355.jpg 600w, /wp-content/uploads/2018/06/gruppenfoto-smaller-768x455.jpg 768w, /wp-content/uploads/2018/06/gruppenfoto-smaller-900x533.jpg 900w, /wp-content/uploads/2018/06/gruppenfoto-smaller-1024x606.jpg 1024w, /wp-content/uploads/2018/06/gruppenfoto-smaller-1200x710.jpg 1200w, /wp-content/uploads/2018/06/gruppenfoto-smaller-1900x1125.jpg 1900w, /wp-content/uploads/2018/06/gruppenfoto-smaller.jpg 2000w" title="gruppenfoto-smaller" sizes="100vw"> </div> </header> <div class="news__bd js-readmore-ct"> <div class="news__cnt"> <div class="news__cnt-preview cnt js-readmore-excerpt"> For the second year in a row, the MPIs for Informatics and Software Systems<br> jointly participated in the annual Girls' Day. We welcomed 14 school-aged girls to<br> our institute, and showed them what computer science research is all about. We<br> spent an exciting morning with hands-on computer science puzzles, soldered<br> cool blinking hearts, and live-edited videos. The winners of our computer science<br> quiz got to take home 3D dragons, printed on our own 3D printers.</div> </div> </div> </div> </article> <article class="news "> <div class="ct"> <div class="page__anchor" id="research-spotlight-from-newton-to-turing-to-cyber-physical-systems"></div> <header class="news__hd"> <h2 class="news__ttl">Research Spotlight: From Newton to Turing to cyber-physical systems</h2> <div class="news__meta"> <div class="news__date">February 2018</div> <div class="news__category"> <a href="/category/homepagenews/" rel="category tag">Homepage News</a>, <a href="/category/research/research-spotlight/" rel="category tag">Research Spotlight</a> </div> </div> <div class="news__img-ct"> <img src="/wp-content/uploads/2018/02/joel-spotlight-3-150x88.png" width="150" height="88" srcset=" /wp-content/uploads/2018/02/joel-spotlight-3-150x88.png 150w, /wp-content/uploads/2018/02/joel-spotlight-3-300x176.png 300w, /wp-content/uploads/2018/02/joel-spotlight-3.png 578w" title="joel-spotlight-3" sizes="100vw"> </div> </header> <div class="news__bd js-readmore-ct"> <div class="news__cnt"> <div class="news__cnt-preview cnt js-readmore-excerpt">In 1937, a young Englishman by the name of Alan M. Turing published a paper with the obscure title <em>"<a href="https://www.wolframscience.com/prizes/tm23/images/Turing.pdf">On computable numbers, with an application to the Entscheidungsproblem</a></em><em>''</em> in the Proceedings of the London Mathematical Society. In doing so, he arguably laid the mathematical foundations of modern computer science. Turing's seminal contribution was to show that the famous <em>Entscheidungsproblem</em>, formulated by the great German mathematician David Hilbert several years earlier, ...</div> <div class="news__cnt-full cnt js-readmore-full">In 1937, a young Englishman by the name of Alan M. Turing published a paper with the obscure title <em>"<a href="https://www.wolframscience.com/prizes/tm23/images/Turing.pdf">On computable numbers, with an application to the Entscheidungsproblem</a></em><em>''</em> in the Proceedings of the London Mathematical Society. In doing so, he arguably laid the mathematical foundations of modern computer science. Turing's seminal contribution was to show that the famous <em>Entscheidungsproblem</em>, formulated by the great German mathematician David Hilbert several years earlier, could not be solved: more precisely, Turing proved (in modern parlance) that the problem of determining whether a given computer program halts could not be done algorithmically---in other words that the famous <em>Halting </em><em>Problem</em> is <em>undecidable</em>.<br> <p class="line862">Although seemingly at the time a rather esoteric concern, the <a href="https://en.wikipedia.org/wiki/Halting_problem">Halting Problem</a> (and related questions) have dramatically gained in importance and relevance in more contemporary times. Fast forward to the 21st Century: nowadays, it is widely acknowledged that enabling engineers, programmers, and researchers to automatically verify and certify the correctness of the computer systems that they design is one of the Grand Challenges of computer science. In increasingly many instances, it is absolutely critical that the software governing various aspects of our daily lives (such as that running on an aircraft controller, for example) behave exactly as intended, lest catastrophic consequences ensue.</p> <br> <br> <h3 id="Parity-based_fairness">What classes of infinite-state programs can be analyzed algorithmically?</h3> <br> Researchers at the <a href="https://people.mpi-sws.org/~joel/"><strong>Foundations of Algorithmic Verification</strong></a> group are investigating what classes of infinite-state programs can, at least in principle, be fully handled and analyzed algorithmically by viewing computer programs abstractly as <em>dynamical systems</em>, and they seek to design exact algorithms enabling one to fully analyse the behaviour of such systems. In particular, they are presently tackling a range of central algorithmic problems from verification, synthesis, performance, and control for linear dynamical systems, drawing among others on tools from number theory, Diophantine geometry, and algebraic geometry, with the overarching goal of offering a systematic <em>exact computational treatment</em> of various important classes of dynamical systems and other fundamental models used in mathematics, computer science, and the quantitative sciences. Some of their achievements include several decidability and hardness results for linear recurrence sequences, which can be used to model simple loops in computer programs, answering a number of longstanding open questions in the mathematics and computer science literature.<br> <br> In a series of recent papers [1, 2], they have attacked the so-called <strong>Zero Problem</strong> for linear differential equations, i.e., the question of determining algorithmically whether the unique solution to a given linear differential equation has a zero or not. Such equations, which go back as far as Newton, are ubiquitous in mathematics, physics, and engineering; they are also particularly useful to model cyber-physical systems, i.e., digital systems that evolve in and interact with a continuous environment. In their work, they obtained several important partial results: if one is interested in the existence of a zero over a bounded time interval, then it is possible to determine this algorithmically, provided that a certain hypothesis from the mathematical field of number theory, known as <a href="https://en.wikipedia.org/wiki/Schanuel%27s_conjecture">Schanuel's Conjecture</a>, is true. They were also able to partially account for the fact that the Zero Problem has hitherto remained open in full generality: indeed, if one were able to solve it in dimension 9 (or higher), then in turn this would enable one to solve various longstanding hard open problems from a field of mathematics known as Diophantine approximation. In doing so, they therefore exhibited surprising and unexpected connections between the modelling and analysis of cyber-physical systems and seemingly completely unrelated deep mathematical theories dealing with questions about whole numbers.<br> <h4 id="Reference">References</h4> <br> [1] Ventsislav Chonev, Joel Ouaknine, and James Worrell. On recurrent reachability for continuous linear dynamical systems. In Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2016.<br> <br> [2] Ventsislav Chonev, Joel Ouaknine, and James Worrell. On the Skolem Problem for continuous linear dynamical systems. In Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming (ICALP), 2016.</div> </div> <a class="btn-readmore js-readmore-btn" data-more="Read more" data-less="Read less" role="button">Read more</a> </div> </div> </article> <article class="news "> <div class="ct"> <div class="page__anchor" id="bjorn-brandenburg-receives-sigbed-early-career-award"></div> <header class="news__hd"> <h2 class="news__ttl">Björn Brandenburg receives SIGBED Early Career Award</h2> <div class="news__meta"> <div class="news__date">February 2018</div> <div class="news__category"> <a href="/category/prize/career-award/" rel="category tag">Career award</a>, <a href="/category/homepagenews/" rel="category tag">Homepage News</a> </div> </div> <div class="news__img-ct"> <img src="/wp-content/uploads/2018/02/MPI_BBB_1200_800-150x100.jpg" width="150" height="100" srcset=" /wp-content/uploads/2018/02/MPI_BBB_1200_800-150x100.jpg 150w, /wp-content/uploads/2018/02/MPI_BBB_1200_800-300x200.jpg 300w, /wp-content/uploads/2018/02/MPI_BBB_1200_800-600x400.jpg 600w, /wp-content/uploads/2018/02/MPI_BBB_1200_800-768x511.jpg 768w, /wp-content/uploads/2018/02/MPI_BBB_1200_800-900x599.jpg 900w, /wp-content/uploads/2018/02/MPI_BBB_1200_800-1024x682.jpg 1024w, /wp-content/uploads/2018/02/MPI_BBB_1200_800-1200x799.jpg 1200w" title="MPI_BBB_1200_800" sizes="100vw"> </div> </header> <div class="news__bd js-readmore-ct"> <div class="news__cnt"> <div class="news__cnt-preview cnt js-readmore-excerpt"> MPI-SWS faculty member Björn Brandenburg has received the first ever <a href="http://sigbed.blogspot.de/p/early-career-award.html">SIGBED Early Career Researcher Award</a>. The award is given by ACM SIGBED to recognize outstanding contributions by young investigators in the area of embedded, real-time, and cyber-physical systems.</div> </div> </div> </div> </article> <article class="news "> <div class="ct"> <div class="page__anchor" id="a-week-long-school-for-outstanding-undergrad-ms-students-curious-about-research-in-computing-apply-by-feb-7"></div> <header class="news__hd"> <h2 class="news__ttl">A week-long school for outstanding undergrad/MS students curious about research in computing. Apply now!</h2> <div class="news__meta"> <div class="news__date">January 2018</div> <div class="news__category"> <a href="/category/homepagenews/" rel="category tag">Homepage News</a>, <a href="/category/other-categories/outreach/" rel="category tag">Outreach</a> </div> </div> <div class="news__img-ct"> <img src="/wp-content/uploads/2018/01/cmmrs-150x80.png" width="150" height="80" srcset=" /wp-content/uploads/2018/01/cmmrs-150x80.png 150w, /wp-content/uploads/2018/01/cmmrs-300x160.png 300w, /wp-content/uploads/2018/01/cmmrs-600x319.png 600w, /wp-content/uploads/2018/01/cmmrs-768x409.png 768w, /wp-content/uploads/2018/01/cmmrs-900x479.png 900w, /wp-content/uploads/2018/01/cmmrs-1024x545.png 1024w, /wp-content/uploads/2018/01/cmmrs.png 1135w" title="cmmrs2018" sizes="100vw"> </div> </header> <div class="news__bd js-readmore-ct"> <div class="news__cnt"> <div class="news__cnt-preview cnt js-readmore-excerpt">Outstanding undergraduate and Masters students are invited to learn about world-class research in security and privacy, social systems, distributed systems, machine learning, programming languages, and verification. Leading researchers will engage with attendees in their areas of expertise: the curriculum will include lectures, projects, and interaction with faculty from participating institutions.<br> <br> Attendees will be exposed to state-of-the-art research in computer science, have the opportunity to interact one-on-one with internationally leading scientists from three of the foremost academic institutions in research and higher learning in the US and in Europe, ...</div> <div class="news__cnt-full cnt js-readmore-full">Outstanding undergraduate and Masters students are invited to learn about world-class research in security and privacy, social systems, distributed systems, machine learning, programming languages, and verification. Leading researchers will engage with attendees in their areas of expertise: the curriculum will include lectures, projects, and interaction with faculty from participating institutions.<br> <br> Attendees will be exposed to state-of-the-art research in computer science, have the opportunity to interact one-on-one with internationally leading scientists from three of the foremost academic institutions in research and higher learning in the US and in Europe, and network with like-minded students. They will get a sense of what it is like to pursue an academic or industrial research career in computer science and have a head start when applying for graduate school.<br> <br> Applications are due by February 7, 2018. Travel and accommodation will be covered for accepted students.<br> <br> More info can be found on the <a href="http://cmmrs.mpi-sws.org/">CMMRS website</a>.</div> </div> <a class="btn-readmore js-readmore-btn" data-more="Read more" data-less="Read less" role="button">Read more</a> </div> </div> </article> <article class="news "> <div class="ct"> <div class="page__anchor" id="poplpalooza2018"></div> <header class="news__hd"> <h2 class="news__ttl">POPLpalooza: Five MPI-SWS papers at POPL 2018 + a new record!</h2> <div class="news__meta"> <div class="news__date">January 2018</div> <div class="news__category"> <a href="/category/homepagenews/" rel="category tag">Homepage News</a>, <a href="/category/research/new-publications/" rel="category tag">New publications</a> </div> </div> <div class="news__img-ct"> </div> </header> <div class="news__bd js-readmore-ct"> <div class="news__cnt"> <div class="news__cnt-preview cnt js-readmore-excerpt">In 2018, MPI-SWS researchers authored a total of five POPL papers:<br> <ul> <br> <li>Parametricity versus the Universal Type. Dominique Devriese, Marco Patrignani, Frank Piessens.</li> <br> <li>Effective Stateless Model Checking for C/C++ Concurrency. Michalis Kokologiannakis, Ori Lahav, Kostis Sagonas, Viktor Vafeiadis.</li> <br> <li>Monadic refinements for relational cost analysis. Ivan Radicek, Gilles Barthe, Marco Gaboardi, Deepak Garg, Florian Zuleger.</li> <br> <li>Why is Random Testing Effective for Partition Tolerance Bugs? Rupak Majumdar,</li> </ul> ...</div> <div class="news__cnt-full cnt js-readmore-full">In 2018, MPI-SWS researchers authored a total of five POPL papers:<br> <ul> <br> <li>Parametricity versus the Universal Type. Dominique Devriese, <strong>Marco Patrignani</strong>, Frank Piessens.</li> <br> <li>Effective Stateless Model Checking for C/C++ Concurrency. Michalis Kokologiannakis,<strong> Ori Lahav</strong>, Kostis Sagonas, <strong>Viktor Vafeiadis</strong>.</li> <br> <li>Monadic refinements for relational cost analysis. Ivan Radicek, Gilles Barthe, Marco Gaboardi, <strong>Deepak Garg</strong>, Florian Zuleger.</li> <br> <li>Why is Random Testing Effective for Partition Tolerance Bugs? <strong>Rupak Majumdar</strong>,<strong> Filip Niksic</strong>.</li> <br> <li>RustBelt: Securing the Foundations of the Rust Programming Language. <strong>Ralf Jung</strong>,<strong> Jacques-Henri Jourdan</strong>, Robbert Krebbers, <strong>Derek Dreye</strong>r.</li> <br> </ul> <br> Furthermore, with the "RustBelt" paper, MPI-SWS faculty member Derek Dreyer cements a 10-year <span class="il">streak</span> of having at least one POPL paper each year, breaking the all-time record of 9 years previously held by John Mitchell at Stanford. Congratulations Derek!</div> </div> <a class="btn-readmore js-readmore-btn" data-more="Read more" data-less="Read less" role="button">Read more</a> </div> </div> </article> </div> </main> </div> <footer class="page__ft"> <div class="ct"> <div class="page__ft-qr"> <img class="page__ft-qr-img" src="/wp-content/themes/mpi-sws/assets/images/mpi-sws-qrcode.png"> </div> <div class="page__ft-menu"> <ul id="menu-footer-menu" class="footer__menu menu"> <li id="menu-item-6131" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-6131 footer__menu-itm menu__itm"><a href="https://imprint.mpi-klsb.mpg.de/sws/www.mpi-sws.org" class="footer__menu-lnk menu__lnk">Imprint</a></li> <li id="menu-item-6132" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-6132 footer__menu-itm menu__itm"><a href="https://data-protection.mpi-klsb.mpg.de/sws/www.mpi-sws.org" class="footer__menu-lnk menu__lnk">Data Protection</a></li> <li id="menu-item-4087" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-4087 footer__menu-itm menu__itm"><a href="/about-us/#contact" class="footer__menu-lnk menu__lnk">Contact</a></li> </ul> </div> <!--<div title="Follow CMMRS on Linkedin"><img src="/assets/images/LI-In-Bug.png" width="21"></div> --> <div class="page__ft-contact-copy-ct"> <div class="page__ft-webmaster"> <a href="mailto:webmaster-sws@mpi-sws.org">webmaster-sws@mpi-sws.org</a> </div> <div class="page__ft-copy"> <a href="https://www.linkedin.com/company/max-planck-institute-for-software-systems/"><div title="Follow MPI-SWS on Linkedin"><img style="width:10%" src="/wp-content/themes/mpi-sws/assets/images/LI-In-Bug.png"></div></a> © Copyright by Max Planck Institute for Software Systems 2024. All rights reserved. </div> </div> </div> </footer> <!--googleoff: all--><div id="cookie-law-info-bar" data-nosnippet="true"><span><div class="cli-bar-container cli-style-v2"> <div class="cli-bar-message">We use cookies on our website to give you the most relevant experience by remembering your preferences and repeat visits. By clicking “Accept All”, you consent to the use of ALL the cookies. However, you may visit "Cookie Settings" to provide a controlled consent.</div> <div class="cli-bar-btn_container"> <a role="button" class="medium cli-plugin-button cli-plugin-main-button cli_settings_button" style="margin:0px 5px 0px 0px">Cookie Settings</a><a id="wt-cli-accept-all-btn" role="button" data-cli_action="accept_all" class="wt-cli-element medium cli-plugin-button wt-cli-accept-all-btn cookie_action_close_header cli_action_button">Accept All</a> </div> </div></span></div> <div id="cookie-law-info-again" data-nosnippet="true"><span id="cookie_hdr_showagain">Manage consent</span></div> <div class="cli-modal" data-nosnippet="true" id="cliSettingsPopup" tabindex="-1" role="dialog" aria-labelledby="cliSettingsPopup" aria-hidden="true"> <div class="cli-modal-dialog" role="document"> <div class="cli-modal-content cli-bar-popup"> <button type="button" class="cli-modal-close" id="cliModalClose"> <svg class="" viewbox="0 0 24 24"><path d="M19 6.41l-1.41-1.41-5.59 5.59-5.59-5.59-1.41 1.41 5.59 5.59-5.59 5.59 1.41 1.41 5.59-5.59 5.59 5.59 1.41-1.41-5.59-5.59z"></path><path d="M0 0h24v24h-24z" fill="none"></path></svg> <span class="wt-cli-sr-only">Close</span> </button> <div class="cli-modal-body"> <div class="cli-container-fluid cli-tab-container"> <div class="cli-row"> <div class="cli-col-12 cli-align-items-stretch cli-px-0"> <div class="cli-privacy-overview"> <h4>Privacy Overview</h4> <div class="cli-privacy-content"> <div class="cli-privacy-content-text">This website uses cookies to improve your experience while you navigate through the website. Out of these, the cookies that are categorized as necessary are stored on your browser as they are essential for the working of basic functionalities of the website. We also use third-party cookies that help us analyze and understand how you use this website. These cookies will be stored in your browser only with your consent. You also have the option to opt-out of these cookies. But opting out of some of these cookies may affect your browsing experience.</div> </div> <a class="cli-privacy-readmore" aria-label="Show more" role="button" data-readmore-text="Show more" data-readless-text="Show less"></a> </div> </div> <div class="cli-col-12 cli-align-items-stretch cli-px-0 cli-tab-section-container"> <div class="cli-tab-section"> <div class="cli-tab-header"> <a role="button" tabindex="0" class="cli-nav-link cli-settings-mobile" data-target="necessary" data-toggle="cli-toggle-tab"> Necessary </a> <div class="wt-cli-necessary-checkbox"> <input type="checkbox" class="cli-user-preference-checkbox" id="wt-cli-checkbox-necessary" data-id="checkbox-necessary" checked> <label class="form-check-label" for="wt-cli-checkbox-necessary">Necessary</label> </div> <span class="cli-necessary-caption">Always Enabled</span> </div> <div class="cli-tab-content"> <div class="cli-tab-pane cli-fade" data-id="necessary"> <div class="wt-cli-cookie-description"> Necessary cookies are absolutely essential for the website to function properly. These cookies ensure basic functionalities and security features of the website, anonymously. <table class="cookielawinfo-row-cat-table cookielawinfo-winter"> <thead><tr> <th class="cookielawinfo-column-1">Cookie</th> <th class="cookielawinfo-column-3">Duration</th> <th class="cookielawinfo-column-4">Description</th> </tr></thead> <tbody> <tr class="cookielawinfo-row"> <td class="cookielawinfo-column-1">cookielawinfo-checkbox-analytics</td> <td class="cookielawinfo-column-3">11 months</td> <td class="cookielawinfo-column-4">This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Analytics".</td> </tr> <tr class="cookielawinfo-row"> <td class="cookielawinfo-column-1">cookielawinfo-checkbox-functional</td> <td class="cookielawinfo-column-3">11 months</td> <td class="cookielawinfo-column-4">The cookie is set by GDPR cookie consent to record the user consent for the cookies in the category "Functional".</td> </tr> <tr class="cookielawinfo-row"> <td class="cookielawinfo-column-1">cookielawinfo-checkbox-necessary</td> <td class="cookielawinfo-column-3">11 months</td> <td class="cookielawinfo-column-4">This cookie is set by GDPR Cookie Consent plugin. The cookies is used to store the user consent for the cookies in the category "Necessary".</td> </tr> <tr class="cookielawinfo-row"> <td class="cookielawinfo-column-1">cookielawinfo-checkbox-others</td> <td class="cookielawinfo-column-3">11 months</td> <td class="cookielawinfo-column-4">This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Other.</td> </tr> <tr class="cookielawinfo-row"> <td class="cookielawinfo-column-1">cookielawinfo-checkbox-performance</td> <td class="cookielawinfo-column-3">11 months</td> <td class="cookielawinfo-column-4">This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Performance".</td> </tr> <tr class="cookielawinfo-row"> <td class="cookielawinfo-column-1">viewed_cookie_policy</td> <td class="cookielawinfo-column-3">11 months</td> <td class="cookielawinfo-column-4">The cookie is set by the GDPR Cookie Consent plugin and is used to store whether or not user has consented to the use of cookies. It does not store any personal data.</td> </tr> </tbody> </table> </div> </div> </div> </div> <div class="cli-tab-section"> <div class="cli-tab-header"> <a role="button" tabindex="0" class="cli-nav-link cli-settings-mobile" data-target="functional" data-toggle="cli-toggle-tab"> Functional </a> <div class="cli-switch"> <input type="checkbox" id="wt-cli-checkbox-functional" class="cli-user-preference-checkbox" data-id="checkbox-functional"> <label for="wt-cli-checkbox-functional" class="cli-slider" data-cli-enable="Enabled" data-cli-disable="Disabled"><span class="wt-cli-sr-only">Functional</span></label> </div> </div> <div class="cli-tab-content"> <div class="cli-tab-pane cli-fade" data-id="functional"> <div class="wt-cli-cookie-description"> Functional cookies help to perform certain functionalities like sharing the content of the website on social media platforms, collect feedbacks, and other third-party features. </div> </div> </div> </div> <div class="cli-tab-section"> <div class="cli-tab-header"> <a role="button" tabindex="0" class="cli-nav-link cli-settings-mobile" data-target="performance" data-toggle="cli-toggle-tab"> Performance </a> <div class="cli-switch"> <input type="checkbox" id="wt-cli-checkbox-performance" class="cli-user-preference-checkbox" data-id="checkbox-performance"> <label for="wt-cli-checkbox-performance" class="cli-slider" data-cli-enable="Enabled" data-cli-disable="Disabled"><span class="wt-cli-sr-only">Performance</span></label> </div> </div> <div class="cli-tab-content"> <div class="cli-tab-pane cli-fade" data-id="performance"> <div class="wt-cli-cookie-description"> Performance cookies are used to understand and analyze the key performance indexes of the website which helps in delivering a better user experience for the visitors. </div> </div> </div> </div> <div class="cli-tab-section"> <div class="cli-tab-header"> <a role="button" tabindex="0" class="cli-nav-link cli-settings-mobile" data-target="analytics" data-toggle="cli-toggle-tab"> Analytics </a> <div class="cli-switch"> <input type="checkbox" id="wt-cli-checkbox-analytics" class="cli-user-preference-checkbox" data-id="checkbox-analytics"> <label for="wt-cli-checkbox-analytics" class="cli-slider" data-cli-enable="Enabled" data-cli-disable="Disabled"><span class="wt-cli-sr-only">Analytics</span></label> </div> </div> <div class="cli-tab-content"> <div class="cli-tab-pane cli-fade" data-id="analytics"> <div class="wt-cli-cookie-description"> Analytical cookies are used to understand how visitors interact with the website. These cookies help provide information on metrics the number of visitors, bounce rate, traffic source, etc. </div> </div> </div> </div> <div class="cli-tab-section"> <div class="cli-tab-header"> <a role="button" tabindex="0" class="cli-nav-link cli-settings-mobile" data-target="advertisement" data-toggle="cli-toggle-tab"> Advertisement </a> <div class="cli-switch"> <input type="checkbox" id="wt-cli-checkbox-advertisement" class="cli-user-preference-checkbox" data-id="checkbox-advertisement"> <label for="wt-cli-checkbox-advertisement" class="cli-slider" data-cli-enable="Enabled" data-cli-disable="Disabled"><span class="wt-cli-sr-only">Advertisement</span></label> </div> </div> <div class="cli-tab-content"> <div class="cli-tab-pane cli-fade" data-id="advertisement"> <div class="wt-cli-cookie-description"> Advertisement cookies are used to provide visitors with relevant ads and marketing campaigns. These cookies track visitors across websites and collect information to provide customized ads. </div> </div> </div> </div> <div class="cli-tab-section"> <div class="cli-tab-header"> <a role="button" tabindex="0" class="cli-nav-link cli-settings-mobile" data-target="others" data-toggle="cli-toggle-tab"> Others </a> <div class="cli-switch"> <input type="checkbox" id="wt-cli-checkbox-others" class="cli-user-preference-checkbox" data-id="checkbox-others"> <label for="wt-cli-checkbox-others" class="cli-slider" data-cli-enable="Enabled" data-cli-disable="Disabled"><span class="wt-cli-sr-only">Others</span></label> </div> </div> <div class="cli-tab-content"> <div class="cli-tab-pane cli-fade" data-id="others"> <div class="wt-cli-cookie-description"> Other uncategorized cookies are those that are being analyzed and have not been classified into a category as yet. </div> </div> </div> </div> </div> </div> </div> </div> <div class="cli-modal-footer"> <div class="wt-cli-element cli-container-fluid cli-tab-container"> <div class="cli-row"> <div class="cli-col-12 cli-align-items-stretch cli-px-0"> <div class="cli-tab-footer wt-cli-privacy-overview-actions"> <a id="wt-cli-privacy-save-btn" role="button" tabindex="0" data-cli-action="accept" class="wt-cli-privacy-btn cli_setting_save_button wt-cli-privacy-accept-btn cli-btn">SAVE & ACCEPT</a> </div> </div> </div> </div> </div> </div> </div> </div> <div class="cli-modal-backdrop cli-fade cli-settings-overlay"></div> <div class="cli-modal-backdrop cli-fade cli-popupbar-overlay"></div> <!--googleon: all--><link rel="stylesheet" id="cookie-law-info-table-css" href="/wp-content/plugins/cookie-law-info/legacy/public/css/cookie-law-info-table.css?ver=3.1.6" type="text/css" media="all"> <script type="text/javascript" id="main-scripts-js-extra"> /* <![CDATA[ */ var klflx_theme_settings = {"version":"1.9.0"}; /* ]]> */ </script> <script type="text/javascript" src="/wp-content/themes/mpi-sws/assets/scripts/main.js?ver=1.9.0" id="main-scripts-js"></script> <script type="text/javascript">var ip2long = function(ip){ var components; if(components = ip.match(/^(\d{1,3})\.(\d{1,3})\.(\d{1,3})\.(\d{1,3})$/)) { var iplong = 0; var power = 1; for(var i=4; i>=1; i-=1) { iplong += power * parseInt(components[i]); power *= 256; } return iplong; } else return -1; }; var inSubNet = function(ip, subnet) { var mask, base_ip, long_ip = ip2long(ip); if( (mask = subnet.match(/^(.*?)\/(\d{1,2})$/)) && ((base_ip=ip2long(mask[1])) >= 0) ) { var freedom = Math.pow(2, 32 - parseInt(mask[2])); return (long_ip > base_ip) && (long_ip < base_ip + freedom - 1); } else return false; }; jQuery(function($){ $.getJSON('/getip.php', function(data){ if (inSubNet(data.ip,'139.19.0.0/16')) { if(document.cookie.indexOf('hidecookiedingsbums=1') != -1){ jQuery('#cookiedingsbums').hide(); } else{ jQuery('#cookiedingsbums').attr('style','display: block;'); jQuery('#cookiedingsbums').prependTo('body'); jQuery('#cookiedingsbumsCloser').show(); } } else { jQuery('#cookiedingsbums').hide(); } }); });</script> <div style="display: none;" id="cookiedingsbums"> <h1>Need help?</h1> <a href="https://wiki.mpi-sws.org/wiki">General questions</a> | <a href="https://wiki.mpi-sws.org/wiki/ItResources">IT related questions</a> | <a href="https://plex.mpi-klsb.mpg.de/display/Documentation/WirelessLan">How to set up wireless lan</a> | <a href="https://apply.cis.mpg.de/">MPG-CIS Application system</a> | <a href="https://wiki.mpi-sws.org/wiki/mentalhealth">Mental health</a> <span id="cookiedingsbumsCloser" onclick="document.cookie = 'hidecookiedingsbums=1; max-age=86400; path=/';jQuery('#cookiedingsbums').slideUp()">✖</span> </div> </body> </html>