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>12th Alpine Verification Meeting (AVM 2018) – Wagrain, Austria, Sep 24 2018 – Sep 27 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/19"><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/"> <link rel="shortlink" href="https://avm2018.isec.tugraz.at/"> </head> <body class="home page-template-default page page-id-19 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 current-menu-item page_item page-item-19 current_page_item menu-item-23"><a href="https://avm2018.isec.tugraz.at/" aria-current="page">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 menu-item-37"><a href="https://avm2018.isec.tugraz.at/organizers/">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-jaegersee-c-wagrain-kleinarl-tourismus-eduardo-gellner.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 current-menu-item page_item page-item-19 current_page_item menu-item-23"><a href="https://avm2018.isec.tugraz.at/" aria-current="page">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 menu-item-37"><a href="https://avm2018.isec.tugraz.at/organizers/">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-19" class="post-19 page type-page status-publish hentry"> <header class="entry-header"> <h1 class="entry-title"><span>AVM18</span></h1> </header> <div class="entry-content"> <header class="entry-header"></header> <div class="entry-content"> <p>The <a href="https://avm.sosy-lab.org/">Alpine Verification Meeting</a> (AVM) is an informal meeting on current problems in formal verification. The goal of the meeting is to bring together researchers from the region to update each other on their research, to have time for discussion, also on possible collaborations. This year Alpine Verification Meeting is a joint event of AVM and the RiSE Workshop. The meeting is open to the public.</p> <p>AVM18 is located at Wagrain, Austria, from September 24. 2018 to September 27. 2018.</p> <p>Wagrain is a small mountain village at 850 meters above sea level. It is surrounded by the stunning Salzburg Alps and characterised by its sunny location. The workshop is held at the four-star superior Sporthotel Wagrain. The hotel is the ideal base to explore the Pongau area and its landscape of lush meadows giving way to mountain slopes and craggy peaks and offers guests the chance to enjoy relaxing in the beautiful Salzburger Land region.</p> </div> </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>