CINXE.COM

<!DOCTYPE html> <html lang="en-US"><head> <meta charset="UTF-8"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="profile" href="http://gmpg.org/xfn/11"> <title>Organizers – 12th Alpine Verification Meeting (AVM 2018)</title> <meta name="robots" content="max-image-preview:large"> <link rel="dns-prefetch" href="https://fonts.googleapis.com"> <link href="https://fonts.gstatic.com" crossorigin="" rel="preconnect"> <link rel="alternate" type="application/rss+xml" title="12th Alpine Verification Meeting (AVM 2018) » Feed" href="https://avm2018.isec.tugraz.at/feed/"> <link rel="alternate" type="application/rss+xml" title="12th Alpine Verification Meeting (AVM 2018) » Comments Feed" href="https://avm2018.isec.tugraz.at/comments/feed/"> <script type="text/javascript"> /* <![CDATA[ */ window._wpemojiSettings = {"baseUrl":"https:\/\/s.w.org\/images\/core\/emoji\/15.0.3\/72x72\/","ext":".png","svgUrl":"https:\/\/s.w.org\/images\/core\/emoji\/15.0.3\/svg\/","svgExt":".svg","source":{"concatemoji":"https:\/\/avm2018.isec.tugraz.at\/wp-includes\/js\/wp-emoji-release.min.js?ver=6.5.3"}}; /*! This file is auto-generated */ !function(i,n){var o,s,e;function c(e){try{var t={supportTests:e,timestamp:(new Date).valueOf()};sessionStorage.setItem(o,JSON.stringify(t))}catch(e){}}function p(e,t,n){e.clearRect(0,0,e.canvas.width,e.canvas.height),e.fillText(t,0,0);var t=new Uint32Array(e.getImageData(0,0,e.canvas.width,e.canvas.height).data),r=(e.clearRect(0,0,e.canvas.width,e.canvas.height),e.fillText(n,0,0),new Uint32Array(e.getImageData(0,0,e.canvas.width,e.canvas.height).data));return t.every(function(e,t){return e===r[t]})}function u(e,t,n){switch(t){case"flag":return n(e,"\ud83c\udff3\ufe0f\u200d\u26a7\ufe0f","\ud83c\udff3\ufe0f\u200b\u26a7\ufe0f")?!1:!n(e,"\ud83c\uddfa\ud83c\uddf3","\ud83c\uddfa\u200b\ud83c\uddf3")&&!n(e,"\ud83c\udff4\udb40\udc67\udb40\udc62\udb40\udc65\udb40\udc6e\udb40\udc67\udb40\udc7f","\ud83c\udff4\u200b\udb40\udc67\u200b\udb40\udc62\u200b\udb40\udc65\u200b\udb40\udc6e\u200b\udb40\udc67\u200b\udb40\udc7f");case"emoji":return!n(e,"\ud83d\udc26\u200d\u2b1b","\ud83d\udc26\u200b\u2b1b")}return!1}function f(e,t,n){var r="undefined"!=typeof WorkerGlobalScope&&self instanceof WorkerGlobalScope?new OffscreenCanvas(300,150):i.createElement("canvas"),a=r.getContext("2d",{willReadFrequently:!0}),o=(a.textBaseline="top",a.font="600 32px Arial",{});return e.forEach(function(e){o[e]=t(a,e,n)}),o}function t(e){var t=i.createElement("script");t.src=e,t.defer=!0,i.head.appendChild(t)}"undefined"!=typeof Promise&&(o="wpEmojiSettingsSupports",s=["flag","emoji"],n.supports={everything:!0,everythingExceptFlag:!0},e=new Promise(function(e){i.addEventListener("DOMContentLoaded",e,{once:!0})}),new Promise(function(t){var n=function(){try{var e=JSON.parse(sessionStorage.getItem(o));if("object"==typeof e&&"number"==typeof e.timestamp&&(new Date).valueOf()<e.timestamp+604800&&"object"==typeof e.supportTests)return e.supportTests}catch(e){}return null}();if(!n){if("undefined"!=typeof Worker&&"undefined"!=typeof OffscreenCanvas&&"undefined"!=typeof URL&&URL.createObjectURL&&"undefined"!=typeof Blob)try{var e="postMessage("+f.toString()+"("+[JSON.stringify(s),u.toString(),p.toString()].join(",")+"));",r=new Blob([e],{type:"text/javascript"}),a=new Worker(URL.createObjectURL(r),{name:"wpTestEmojiSupports"});return void(a.onmessage=function(e){c(n=e.data),a.terminate(),t(n)})}catch(e){}c(n=f(s,u,p))}t(n)}).then(function(e){for(var t in e)n.supports[t]=e[t],n.supports.everything=n.supports.everything&&n.supports[t],"flag"!==t&&(n.supports.everythingExceptFlag=n.supports.everythingExceptFlag&&n.supports[t]);n.supports.everythingExceptFlag=n.supports.everythingExceptFlag&&!n.supports.flag,n.DOMReady=!1,n.readyCallback=function(){n.DOMReady=!0}}).then(function(){return e}).then(function(){var e;n.supports.everything||(n.readyCallback(),(e=n.source||{}).concatemoji?t(e.concatemoji):e.wpemoji&&e.twemoji&&(t(e.twemoji),t(e.wpemoji)))}))}((window,document),window._wpemojiSettings); /* ]]> */ </script> <style id="wp-emoji-styles-inline-css" type="text/css"> img.wp-smiley, img.emoji { display: inline !important; border: none !important; box-shadow: none !important; height: 1em !important; width: 1em !important; margin: 0 0.07em !important; vertical-align: -0.1em !important; background: none !important; padding: 0 !important; } </style> <link rel="stylesheet" id="wp-block-library-css" href="https://avm2018.isec.tugraz.at/wp-includes/css/dist/block-library/style.min.css?ver=6.5.3" 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--color--dark-gray: #222222;--wp--preset--color--medium-gray: #444444;--wp--preset--color--light-gray: #888888;--wp--preset--color--accent: #2e64e6;--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: 16px;--wp--preset--font-size--medium: 20px;--wp--preset--font-size--large: 24px;--wp--preset--font-size--x-large: 42px;--wp--preset--font-size--normal: 18px;--wp--preset--font-size--huge: 32px;--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-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="type-fonts-css" href="https://fonts.googleapis.com/css?family=Nunito+Sans%3A400%2C700%2C300%2C400italic%2C700italic%7CPoppins%3A400%2C700&subset=latin%2Clatin-ext&display=swap" type="text/css" media="all"> <link rel="stylesheet" id="type-material-icons-css" href="https://fonts.googleapis.com/icon?family=Material+Icons&display=swap" type="text/css" media="all"> <link rel="stylesheet" id="type-style-css" href="https://avm2018.isec.tugraz.at/wp-content/themes/type/style.css?ver=1.1.6" type="text/css" media="all"> <style id="type-style-inline-css" type="text/css"> .site-logo {max-width: none;} .site-logo .custom-logo-link { display: inline-block; line-height: 1; } .site-logo .custom-logo-link {max-width: 180px;} @media screen and (min-width: 720px) { .site-logo .custom-logo-link {max-width: 220px;} }.header-image {padding-top: 100px;padding-bottom: 100px;} .header-image:before { content: ''; position: absolute; left: 0; top: 0; width: 100%; height: 100%; background-color: #000; }.header-image:before {opacity: 0.10;} </style> <link rel="stylesheet" id="type-social-icons-css" href="https://avm2018.isec.tugraz.at/wp-content/themes/type/assets/css/social-icons.css?ver=1.0.0" type="text/css" media="all"> <script type="text/javascript" src="https://avm2018.isec.tugraz.at/wp-includes/js/jquery/jquery.min.js?ver=3.7.1" id="jquery-core-js"></script> <script type="text/javascript" src="https://avm2018.isec.tugraz.at/wp-includes/js/jquery/jquery-migrate.min.js?ver=3.4.1" id="jquery-migrate-js"></script> <link rel="https://api.w.org/" href="https://avm2018.isec.tugraz.at/wp-json/"><link rel="alternate" type="application/json" href="https://avm2018.isec.tugraz.at/wp-json/wp/v2/pages/35"><link rel="EditURI" type="application/rsd+xml" title="RSD" href="https://avm2018.isec.tugraz.at/xmlrpc.php?rsd"> <meta name="generator" content="WordPress 6.5.3"> <link rel="canonical" href="https://avm2018.isec.tugraz.at/organizers/"> <link rel="shortlink" href="https://avm2018.isec.tugraz.at/?p=35"> </head> <body class="page-template-default page page-id-35 wp-embed-responsive header-layout1 fimg-classic has-no-sidebar"> <a class="skip-link screen-reader-text" href="#content">Skip to content</a> <div id="page" class="site"> <div class="mobile-navbar clear"> <div id="menu-toggle" on="tap:AMP.setState({ampmenu: !ampmenu})" class="menu-toggle" title="Menu"> <span class="button-toggle"></span> </div> <div class="top-search"><span id="top-search-button" class="top-search-button"><i class="search-icon"></i></span> <form role="search" method="get" class="search-form clear" action="https://avm2018.isec.tugraz.at/"> <label> <span class="screen-reader-text">Search for:</span> <input type="search" id="s" class="search-field" placeholder="Search …" value="" name="s"> </label> <button type="submit" class="search-submit"> <i class="material-icons md-20 md-middle"></i> <span class="screen-reader-text"> Search</span> </button> </form> </div> </div> <div id="mobile-sidebar" class="mobile-sidebar"> <nav id="mobile-navigation" class="main-navigation mobile-navigation" aria-label="Mobile Menu"> <ul id="mobile-menu" class="main-menu mobile-menu"><li id="menu-item-23" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-home menu-item-23"><a href="https://avm2018.isec.tugraz.at/">AVM18</a></li> <li id="menu-item-97" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-97"><a href="https://avm2018.isec.tugraz.at/registration/">Registration</a></li> <li id="menu-item-40" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-40"><a href="https://avm2018.isec.tugraz.at/invited-talks/">Invited Speakers</a></li> <li id="menu-item-39" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-39"><a href="https://avm2018.isec.tugraz.at/program/">Program</a></li> <li id="menu-item-207" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-207"><a href="https://avm2018.isec.tugraz.at/abstracts/">Abstracts</a></li> <li id="menu-item-38" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-38"><a href="https://avm2018.isec.tugraz.at/travel-info/">Travel info</a></li> <li id="menu-item-37" class="menu-item menu-item-type-post_type menu-item-object-page current-menu-item page_item page-item-35 current_page_item menu-item-37"><a href="https://avm2018.isec.tugraz.at/organizers/" aria-current="page">Organizers</a></li> <li id="menu-item-206" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-206"><a href="https://avm2018.isec.tugraz.at/participants/">Participants</a></li> </ul> </nav> </div> <header id="masthead" class="site-header has-header-image" role="banner"> <div class="site-title-centered"> <div class="header-image" style="background-image: url(https://avm2018.isec.tugraz.at/wp-content/uploads/2018/01/cropped-Erwin_Haiden_43559@2x.jpeg)"> <div class="header-image-container"> <div class="site-branding"> <p class="site-title"> <a href="https://avm2018.isec.tugraz.at/" rel="home">12th Alpine Verification Meeting (AVM 2018)</a> </p> <p class="site-description">Wagrain, Austria, Sep 24 2018 – Sep 27 2018</p> </div> <nav class="social-links" aria-label="Social Menu"> </nav> </div> </div> <div class="main-navbar"> <div class="container"> <nav id="site-navigation" class="main-navigation" role="navigation" aria-label="Main Menu"> <ul id="main-menu" class="main-menu"><li class="menu-item menu-item-type-post_type menu-item-object-page menu-item-home menu-item-23"><a href="https://avm2018.isec.tugraz.at/">AVM18</a></li> <li class="menu-item menu-item-type-post_type menu-item-object-page menu-item-97"><a href="https://avm2018.isec.tugraz.at/registration/">Registration</a></li> <li class="menu-item menu-item-type-post_type menu-item-object-page menu-item-40"><a href="https://avm2018.isec.tugraz.at/invited-talks/">Invited Speakers</a></li> <li class="menu-item menu-item-type-post_type menu-item-object-page menu-item-39"><a href="https://avm2018.isec.tugraz.at/program/">Program</a></li> <li class="menu-item menu-item-type-post_type menu-item-object-page menu-item-207"><a href="https://avm2018.isec.tugraz.at/abstracts/">Abstracts</a></li> <li class="menu-item menu-item-type-post_type menu-item-object-page menu-item-38"><a href="https://avm2018.isec.tugraz.at/travel-info/">Travel info</a></li> <li class="menu-item menu-item-type-post_type menu-item-object-page current-menu-item page_item page-item-35 current_page_item menu-item-37"><a href="https://avm2018.isec.tugraz.at/organizers/" aria-current="page">Organizers</a></li> <li class="menu-item menu-item-type-post_type menu-item-object-page menu-item-206"><a href="https://avm2018.isec.tugraz.at/participants/">Participants</a></li> </ul> </nav> <div class="top-search"> <span id="top-search-button" class="top-search-button"><i class="search-icon"></i></span> <form role="search" method="get" class="search-form clear" action="https://avm2018.isec.tugraz.at/"> <label> <span class="screen-reader-text">Search for:</span> <input type="search" id="s" class="search-field" placeholder="Search …" value="" name="s"> </label> <button type="submit" class="search-submit"> <i class="material-icons md-20 md-middle"></i> <span class="screen-reader-text"> Search</span> </button> </form> </div> </div> </div> </div> </header> <div id="content" class="site-content"> <div class="container"> <div class="inside"> <div id="primary" class="content-area"> <main id="main" class="site-main" role="main"> <article id="post-35" class="post-35 page type-page status-publish hentry"> <header class="entry-header"> <h1 class="entry-title"><span>Organizers</span></h1> </header> <div class="entry-content"> <p>This edition is organised by the <a href="https://www.isec.tugraz.at/content/research/scos/">Systematic Construction of Correct Systems</a> Research Group at <a href="https://www.tugraz.at/home/">Graz University of Technology</a> in collaboration with <a href="http://arise.or.at/">ARiSE – Austrian Society for Rigorous Systems Engineering</a> and <a href="http://logic-cs.at/">LogiCS – Logical Methods in Computer Science</a>.</p> <p>Organization:</p> <ul> <li><a href="https://www.isec.tugraz.at/content/about_iaik/people/koenighofer_bettina/">Bettina Könighofer</a></li> <li><a href="https://lauranenzi.github.io/">Laura Nenzi</a></li> </ul> </div> <footer class="entry-footer"> </footer> </article> </main> </div> <aside id="secondary" class="sidebar widget-area" role="complementary"> </aside> </div> </div> </div> <footer id="colophon" class="site-footer" role="contentinfo"> <div class="footer-copy"> <div class="container"> <div class="row"> <div class="col-6 col-sm-12"> <div class="site-credits">© 2024 12th Alpine Verification Meeting (AVM 2018)</div> </div> <div class="col-6 col-sm-12"> <div class="site-info"> <a href="https://wordpress.org/">Powered by WordPress</a> <span class="sep"> / </span> <a href="https://www.designlabthemes.com/" rel="nofollow">Theme by Design Lab</a> </div> </div> </div> </div> </div> </footer> </div> <span id="mobile-sidebar-overlay" on="tap:AMP.setState({ampmenu: !ampmenu})" class="mobile-sidebar-overlay"></span> <script type="text/javascript" src="https://avm2018.isec.tugraz.at/wp-content/themes/type/assets/js/script.js?ver=20210930" id="type-script-js"></script> <script type="text/javascript"> jQuery(document).ready(function ($) { for (let i = 0; i < document.forms.length; ++i) { let form = document.forms[i]; if ($(form).attr("method") != "get") { $(form).append('<input type="hidden" name="ZAREbG_nd-DQOY" value="AuWo42NrUt" />'); } if ($(form).attr("method") != "get") { $(form).append('<input type="hidden" name="burUeWyCKTg" value="xy8sCwGO" />'); } if ($(form).attr("method") != "get") { $(form).append('<input type="hidden" name="yUhMeuQk" value="DKn_tI9a" />'); } if ($(form).attr("method") != "get") { $(form).append('<input type="hidden" name="sfDxmJ" value="Tab[MSY37C" />'); } } $(document).on('submit', 'form', function () { if ($(this).attr("method") != "get") { $(this).append('<input type="hidden" name="ZAREbG_nd-DQOY" value="AuWo42NrUt" />'); } if ($(this).attr("method") != "get") { $(this).append('<input type="hidden" name="burUeWyCKTg" value="xy8sCwGO" />'); } if ($(this).attr("method") != "get") { $(this).append('<input type="hidden" name="yUhMeuQk" value="DKn_tI9a" />'); } if ($(this).attr("method") != "get") { $(this).append('<input type="hidden" name="sfDxmJ" value="Tab[MSY37C" />'); } return true; }); jQuery.ajaxSetup({ beforeSend: function (e, data) { if (data.type !== 'POST') return; if (typeof data.data === 'object' && data.data !== null) { data.data.append("ZAREbG_nd-DQOY", "AuWo42NrUt"); data.data.append("burUeWyCKTg", "xy8sCwGO"); data.data.append("yUhMeuQk", "DKn_tI9a"); data.data.append("sfDxmJ", "Tab[MSY37C"); } else { data.data = data.data + '&ZAREbG_nd-DQOY=AuWo42NrUt&burUeWyCKTg=xy8sCwGO&yUhMeuQk=DKn_tI9a&sfDxmJ=Tab[MSY37C'; } } }); }); </script> </body> </html>