{"id":13399,"date":"2021-06-16T09:45:10","date_gmt":"2021-06-16T09:45:10","guid":{"rendered":"https:\/\/direc.dk\/movep-2022\/"},"modified":"2023-03-13T07:41:13","modified_gmt":"2023-03-13T07:41:13","slug":"movep-2022","status":"publish","type":"post","link":"https:\/\/direc.dk\/da\/movep-2022\/","title":{"rendered":"MOVEP 2022"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-post\" data-elementor-id=\"13399\" class=\"elementor elementor-13399 elementor-13376\" data-elementor-post-type=\"post\">\n\t\t\t\t\t\t<section data-particle_enable=\"false\" data-particle-mobile-disabled=\"false\" class=\"elementor-section elementor-top-section elementor-element elementor-element-378f41fa elementor-section-full_width elementor-section-height-min-height elementor-section-items-stretch elementor-section-content-middle elementor-reverse-mobile elementor-reverse-tablet elementor-section-height-default\" data-id=\"378f41fa\" data-element_type=\"section\" data-e-type=\"section\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;,&quot;shape_divider_bottom&quot;:&quot;opacity-tilt&quot;,&quot;jet_parallax_layout_list&quot;:[]}\">\n\t\t\t\t\t\t\t<div class=\"elementor-background-overlay\"><\/div>\n\t\t\t\t\t\t<div class=\"elementor-shape elementor-shape-bottom\" aria-hidden=\"true\" data-negative=\"false\">\n\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" viewBox=\"0 0 2600 131.1\" preserveAspectRatio=\"none\">\n\t<path class=\"elementor-shape-fill\" d=\"M0 0L2600 0 2600 69.1 0 0z\"\/>\n\t<path class=\"elementor-shape-fill\" style=\"opacity:0.5\" d=\"M0 0L2600 0 2600 69.1 0 69.1z\"\/>\n\t<path class=\"elementor-shape-fill\" style=\"opacity:0.25\" d=\"M2600 0L0 0 0 130.1 2600 69.1z\"\/>\n<\/svg>\t\t<\/div>\n\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-no\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-153904b6\" data-id=\"153904b6\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-0f3e155 elementor-widget elementor-widget-text-editor\" data-id=\"0f3e155\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p>PhD summer school<\/p>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-3bfcd254 animated-fast elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"3bfcd254\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;_animation&quot;:&quot;fadeIn&quot;}\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h1 class=\"elementor-heading-title elementor-size-default\">MOVEP 2022<\/h1>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<section data-particle_enable=\"false\" data-particle-mobile-disabled=\"false\" class=\"elementor-section elementor-inner-section elementor-element elementor-element-1032915b elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"1032915b\" data-element_type=\"section\" data-e-type=\"section\" data-settings=\"{&quot;jet_parallax_layout_list&quot;:[]}\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-inner-column elementor-element elementor-element-636fb921\" data-id=\"636fb921\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-1ac9f58 elementor-widget elementor-widget-text-editor\" data-id=\"1ac9f58\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p class=\"p1\"><span class=\"s1\">15th Summer School on Modelling and Verification of Parallel Processes<br \/><\/span><\/p>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<div class=\"elementor-element elementor-element-6ea15bb elementor-align-left elementor-widget elementor-widget-button\" data-id=\"6ea15bb\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-lg\" href=\"https:\/\/www.events.aau.dk\/event\/movep2022\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">Sign up here<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-c3f4251\" data-id=\"c3f4251\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-6c259ad elementor-icon-list--layout-traditional elementor-list-item-link-full_width elementor-widget elementor-widget-icon-list\" data-id=\"6c259ad\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"icon-list.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<ul class=\"elementor-icon-list-items\">\n\t\t\t\t\t\t\t<li class=\"elementor-icon-list-item\">\n\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-icon-list-icon\">\n\t\t\t\t\t\t\t<i aria-hidden=\"true\" class=\"fas fa-location-arrow\"><\/i>\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-icon-list-text\">Aalborg University<br>Rendsburggade 14<br>9000 Aalborg<\/span>\n\t\t\t\t\t\t\t\t\t<\/li>\n\t\t\t\t\t\t\t\t<li class=\"elementor-icon-list-item\">\n\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-icon-list-icon\">\n\t\t\t\t\t\t\t<i aria-hidden=\"true\" class=\"far fa-calendar-alt\"><\/i>\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-icon-list-text\">13 - 17 june 2022<\/span>\n\t\t\t\t\t\t\t\t\t<\/li>\n\t\t\t\t\t\t\t\t<li class=\"elementor-icon-list-item\">\n\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-icon-list-icon\">\n\t\t\t\t\t\t\t<i aria-hidden=\"true\" class=\"fas fa-money-check\"><\/i>\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-icon-list-text\">Fees:<br> before May 1: 350 Euro<br>On or after May 1: 400 Euro<\/span>\n\t\t\t\t\t\t\t\t\t<\/li>\n\t\t\t\t\t\t\t\t<li class=\"elementor-icon-list-item\">\n\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-icon-list-icon\">\n\t\t\t\t\t\t\t<i aria-hidden=\"true\" class=\"fas fa-male\"><\/i>\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-icon-list-text\">Contact:<br>movep2022@cs.aau.dk<\/span>\n\t\t\t\t\t\t\t\t\t<\/li>\n\t\t\t\t\t\t<\/ul>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section data-particle_enable=\"false\" data-particle-mobile-disabled=\"false\" class=\"elementor-section elementor-top-section elementor-element elementor-element-c8ae3a1 elementor-section-full_width elementor-section-height-min-height elementor-section-items-stretch elementor-section-content-middle elementor-reverse-mobile elementor-reverse-tablet elementor-section-height-default\" data-id=\"c8ae3a1\" data-element_type=\"section\" data-e-type=\"section\" data-settings=\"{&quot;jet_parallax_layout_list&quot;:[]}\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-no\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-33 elementor-top-column elementor-element elementor-element-2246cbf9\" data-id=\"2246cbf9\" data-element_type=\"column\" data-e-type=\"column\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t<div class=\"elementor-background-overlay\"><\/div>\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-29bf5a7 elementor-widget elementor-widget-spacer\" data-id=\"29bf5a7\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"spacer.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-spacer\">\n\t\t\t<div class=\"elementor-spacer-inner\"><\/div>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-33 elementor-top-column elementor-element elementor-element-55319e92\" data-id=\"55319e92\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-7701002 elementor-widget elementor-widget-spacer\" data-id=\"7701002\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"spacer.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-spacer\">\n\t\t\t<div class=\"elementor-spacer-inner\"><\/div>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-17af5523 elementor-invisible elementor-widget elementor-widget-text-editor\" data-id=\"17af5523\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;_animation&quot;:&quot;fadeIn&quot;}\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p>MOVEP is a five-day summer school on modelling and verification of infinite state systems. It aims to bring together researchers and students working in the fields of control and verification of concurrent and reactive systems.<\/p>\r\n<p>MOVEP 2022 will consist of ten invited tutorials. In addition, there will be special sessions that allow PhD students to present their on-going research (each talk will last around 20 minutes). Extended abstracts (1-2 pages) of these presentations will be published in informal proceedings.<\/p>\r\n<p>The organisation committee is closely monitoring the COVID situation. Currently, we are planning for an in-person school in Aalborg with the possibility for remote participation for those that cannot attend in person. Should it become necessary, the school will be held virtually.<\/p>\r\n<h6>Speakers<\/h6>\r\n<ul>\r\n<li>Giovanni Bacci, AAU <br><em>From Bisimulaltions to Metrics via Couplings<\/em><\/li>\r\n<li>David Baelde, ENS RENNES &amp; IRISA<br><em>Formal Proofs of Cryptographic Protocols with Squirrel<\/em><\/li>\r\n<li>Christel Baier, Technische Universit\u00e4t Dresden<br><em>From verification to causality-based explications<\/em><\/li>\r\n<li>Wojciech Czerwinski, University of Warsaw<br><em>The reachability problem for vector addition systems<\/em><\/li>\r\n<li>Bartek Klin, Oxford University<br><em>Computation theory over sets with atoms<\/em><\/li>\r\n<li>Laura Kovacs, Vienna University of Technology<br><em>First-order theorem proving and vampire<\/em><\/li>\r\n<li>Anca Muscholl, Labri &amp; Universit\u00e9 Bordeaux<br><em>A view on string transducers<\/em><\/li>\r\n<li>Nir Piterman, Chalmers University of Technology<br><em>Reactive synthesis Amaury Pouly, IRIF \u2013 Linear Dynamical Systems: Reachability and invariant generation<\/em><\/li>\r\n<li>Renaud Vilmart, LMF &amp; INRIA<br><em>How to verify quantum processes<\/em><\/li>\r\n<\/ul>\r\n<h6>Target group<\/h6>\r\n<p>PhD students<\/p>\r\n<h6>Sponsors<\/h6>\r\n<ul>\r\n<li>Dept. of Computer Science, Aalborg University<br><\/li>\r\n<li>The VILLUM Investigator Center S4OS \u201cScalable analysis and Synthesis of Safe, Secure and Optimal Strategies for Cyber-Physical Systems&#8221;<\/li>\r\n<li>DIREC &#8211; Digital Research Centre Denmark<\/li>\r\n<\/ul>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-33 elementor-top-column elementor-element elementor-element-5af49645\" data-id=\"5af49645\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap\">\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section data-particle_enable=\"false\" data-particle-mobile-disabled=\"false\" class=\"elementor-section elementor-top-section elementor-element elementor-element-0b308db elementor-section-full_width elementor-section-height-min-height elementor-section-items-stretch elementor-section-content-middle elementor-reverse-mobile elementor-reverse-tablet elementor-section-height-default\" data-id=\"0b308db\" data-element_type=\"section\" data-e-type=\"section\" data-settings=\"{&quot;jet_parallax_layout_list&quot;:[]}\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-no\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-33 elementor-top-column elementor-element elementor-element-458b141\" data-id=\"458b141\" data-element_type=\"column\" data-e-type=\"column\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t<div class=\"elementor-background-overlay\"><\/div>\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-9423ebb elementor-widget elementor-widget-spacer\" data-id=\"9423ebb\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"spacer.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-spacer\">\n\t\t\t<div class=\"elementor-spacer-inner\"><\/div>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-33 elementor-top-column elementor-element elementor-element-4ef9033\" data-id=\"4ef9033\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-64440af elementor-align-left elementor-widget elementor-widget-button\" data-id=\"64440af\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-lg\" href=\"https:\/\/movep2022.cs.aau.dk\/index.html\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">More information<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-33 elementor-top-column elementor-element elementor-element-5a1c6e9\" data-id=\"5a1c6e9\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap\">\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p><b>13.-17. juni 2022<\/b><br \/>\nMOVEP is a five-day PhD summer school on modelling and verification of infinite state systems. It aims to bring together researchers and students working in the fields of control and verification of concurrent and reactive systems.<\/p>\n","protected":false},"author":3,"featured_media":13380,"comment_status":"open","ping_status":"open","sticky":false,"template":"elementor_header_footer","format":"standard","meta":{"footnotes":""},"categories":[37],"tags":[83],"class_list":["post-13399","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-previous-events-da","tag-phd-school-da"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v28.0 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>MOVEP 2022 - DIREC<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/direc.dk\/da\/movep-2022\/\" \/>\n<meta property=\"og:locale\" content=\"da_DK\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"MOVEP 2022 - DIREC\" \/>\n<meta property=\"og:description\" content=\"13.-17. juni 2022 MOVEP is a five-day PhD summer school on modelling and verification of infinite state systems. It aims to bring together researchers and students working in the fields of control and verification of concurrent and reactive systems.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/direc.dk\/da\/movep-2022\/\" \/>\n<meta property=\"og:site_name\" content=\"DIREC\" \/>\n<meta property=\"article:published_time\" content=\"2021-06-16T09:45:10+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2023-03-13T07:41:13+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/direc.dk\/wp-content\/uploads\/2022\/03\/aalborg_front.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1920\" \/>\n\t<meta property=\"og:image:height\" content=\"1080\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"Susanne Br\u00f8ndberg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Skrevet af\" \/>\n\t<meta name=\"twitter:data1\" content=\"Susanne Br\u00f8ndberg\" \/>\n\t<meta name=\"twitter:label2\" content=\"Estimeret l\u00e6setid\" \/>\n\t<meta name=\"twitter:data2\" content=\"1 minut\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/movep-2022\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/movep-2022\\\/\"},\"author\":{\"name\":\"Susanne Br\u00f8ndberg\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/#\\\/schema\\\/person\\\/3fcdff2b9bc83fcb7b642fa67a946f38\"},\"headline\":\"MOVEP 2022\",\"datePublished\":\"2021-06-16T09:45:10+00:00\",\"dateModified\":\"2023-03-13T07:41:13+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/movep-2022\\\/\"},\"wordCount\":299,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/#organization\"},\"image\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/movep-2022\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/direc.dk\\\/wp-content\\\/uploads\\\/2022\\\/03\\\/aalborg_front.jpg\",\"keywords\":[\"phd school\"],\"articleSection\":[\"Afholdte arrangementer\"],\"inLanguage\":\"da-DK\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\\\/\\\/direc.dk\\\/da\\\/movep-2022\\\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/movep-2022\\\/\",\"url\":\"https:\\\/\\\/direc.dk\\\/da\\\/movep-2022\\\/\",\"name\":\"MOVEP 2022 - DIREC\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/movep-2022\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/movep-2022\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/direc.dk\\\/wp-content\\\/uploads\\\/2022\\\/03\\\/aalborg_front.jpg\",\"datePublished\":\"2021-06-16T09:45:10+00:00\",\"dateModified\":\"2023-03-13T07:41:13+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/movep-2022\\\/#breadcrumb\"},\"inLanguage\":\"da-DK\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/direc.dk\\\/da\\\/movep-2022\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"da-DK\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/movep-2022\\\/#primaryimage\",\"url\":\"https:\\\/\\\/direc.dk\\\/wp-content\\\/uploads\\\/2022\\\/03\\\/aalborg_front.jpg\",\"contentUrl\":\"https:\\\/\\\/direc.dk\\\/wp-content\\\/uploads\\\/2022\\\/03\\\/aalborg_front.jpg\",\"width\":1920,\"height\":1080},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/movep-2022\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/direc.dk\\\/da\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"MOVEP 2022\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/#website\",\"url\":\"https:\\\/\\\/direc.dk\\\/da\\\/\",\"name\":\"DIREC\",\"description\":\"Digital Research Centre Denmark\",\"publisher\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/direc.dk\\\/da\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"da-DK\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/#organization\",\"name\":\"DIREC\",\"url\":\"https:\\\/\\\/direc.dk\\\/da\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"da-DK\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/direc.dk\\\/wp-content\\\/uploads\\\/2021\\\/02\\\/DIREC_logo_2023_bla.png\",\"contentUrl\":\"https:\\\/\\\/direc.dk\\\/wp-content\\\/uploads\\\/2021\\\/02\\\/DIREC_logo_2023_bla.png\",\"width\":2786,\"height\":786,\"caption\":\"DIREC\"},\"image\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/#\\\/schema\\\/logo\\\/image\\\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/#\\\/schema\\\/person\\\/3fcdff2b9bc83fcb7b642fa67a946f38\",\"name\":\"Susanne Br\u00f8ndberg\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"da-DK\",\"@id\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/e8d2e418b1a0402f1ebb3e45dc93b7b681ec163ec692e71cb65c848ff80d3ab7?s=96&d=mm&r=g\",\"url\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/e8d2e418b1a0402f1ebb3e45dc93b7b681ec163ec692e71cb65c848ff80d3ab7?s=96&d=mm&r=g\",\"contentUrl\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/e8d2e418b1a0402f1ebb3e45dc93b7b681ec163ec692e71cb65c848ff80d3ab7?s=96&d=mm&r=g\",\"caption\":\"Susanne Br\u00f8ndberg\"},\"url\":\"https:\\\/\\\/direc.dk\\\/da\\\/author\\\/susanne\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"MOVEP 2022 - DIREC","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/direc.dk\/da\/movep-2022\/","og_locale":"da_DK","og_type":"article","og_title":"MOVEP 2022 - DIREC","og_description":"13.-17. juni 2022 MOVEP is a five-day PhD summer school on modelling and verification of infinite state systems. It aims to bring together researchers and students working in the fields of control and verification of concurrent and reactive systems.","og_url":"https:\/\/direc.dk\/da\/movep-2022\/","og_site_name":"DIREC","article_published_time":"2021-06-16T09:45:10+00:00","article_modified_time":"2023-03-13T07:41:13+00:00","og_image":[{"width":1920,"height":1080,"url":"https:\/\/direc.dk\/wp-content\/uploads\/2022\/03\/aalborg_front.jpg","type":"image\/jpeg"}],"author":"Susanne Br\u00f8ndberg","twitter_card":"summary_large_image","twitter_misc":{"Skrevet af":"Susanne Br\u00f8ndberg","Estimeret l\u00e6setid":"1 minut"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/direc.dk\/da\/movep-2022\/#article","isPartOf":{"@id":"https:\/\/direc.dk\/da\/movep-2022\/"},"author":{"name":"Susanne Br\u00f8ndberg","@id":"https:\/\/direc.dk\/da\/#\/schema\/person\/3fcdff2b9bc83fcb7b642fa67a946f38"},"headline":"MOVEP 2022","datePublished":"2021-06-16T09:45:10+00:00","dateModified":"2023-03-13T07:41:13+00:00","mainEntityOfPage":{"@id":"https:\/\/direc.dk\/da\/movep-2022\/"},"wordCount":299,"commentCount":0,"publisher":{"@id":"https:\/\/direc.dk\/da\/#organization"},"image":{"@id":"https:\/\/direc.dk\/da\/movep-2022\/#primaryimage"},"thumbnailUrl":"https:\/\/direc.dk\/wp-content\/uploads\/2022\/03\/aalborg_front.jpg","keywords":["phd school"],"articleSection":["Afholdte arrangementer"],"inLanguage":"da-DK","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/direc.dk\/da\/movep-2022\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/direc.dk\/da\/movep-2022\/","url":"https:\/\/direc.dk\/da\/movep-2022\/","name":"MOVEP 2022 - DIREC","isPartOf":{"@id":"https:\/\/direc.dk\/da\/#website"},"primaryImageOfPage":{"@id":"https:\/\/direc.dk\/da\/movep-2022\/#primaryimage"},"image":{"@id":"https:\/\/direc.dk\/da\/movep-2022\/#primaryimage"},"thumbnailUrl":"https:\/\/direc.dk\/wp-content\/uploads\/2022\/03\/aalborg_front.jpg","datePublished":"2021-06-16T09:45:10+00:00","dateModified":"2023-03-13T07:41:13+00:00","breadcrumb":{"@id":"https:\/\/direc.dk\/da\/movep-2022\/#breadcrumb"},"inLanguage":"da-DK","potentialAction":[{"@type":"ReadAction","target":["https:\/\/direc.dk\/da\/movep-2022\/"]}]},{"@type":"ImageObject","inLanguage":"da-DK","@id":"https:\/\/direc.dk\/da\/movep-2022\/#primaryimage","url":"https:\/\/direc.dk\/wp-content\/uploads\/2022\/03\/aalborg_front.jpg","contentUrl":"https:\/\/direc.dk\/wp-content\/uploads\/2022\/03\/aalborg_front.jpg","width":1920,"height":1080},{"@type":"BreadcrumbList","@id":"https:\/\/direc.dk\/da\/movep-2022\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/direc.dk\/da\/"},{"@type":"ListItem","position":2,"name":"MOVEP 2022"}]},{"@type":"WebSite","@id":"https:\/\/direc.dk\/da\/#website","url":"https:\/\/direc.dk\/da\/","name":"DIREC","description":"Digital Research Centre Denmark","publisher":{"@id":"https:\/\/direc.dk\/da\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/direc.dk\/da\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"da-DK"},{"@type":"Organization","@id":"https:\/\/direc.dk\/da\/#organization","name":"DIREC","url":"https:\/\/direc.dk\/da\/","logo":{"@type":"ImageObject","inLanguage":"da-DK","@id":"https:\/\/direc.dk\/da\/#\/schema\/logo\/image\/","url":"https:\/\/direc.dk\/wp-content\/uploads\/2021\/02\/DIREC_logo_2023_bla.png","contentUrl":"https:\/\/direc.dk\/wp-content\/uploads\/2021\/02\/DIREC_logo_2023_bla.png","width":2786,"height":786,"caption":"DIREC"},"image":{"@id":"https:\/\/direc.dk\/da\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/direc.dk\/da\/#\/schema\/person\/3fcdff2b9bc83fcb7b642fa67a946f38","name":"Susanne Br\u00f8ndberg","image":{"@type":"ImageObject","inLanguage":"da-DK","@id":"https:\/\/secure.gravatar.com\/avatar\/e8d2e418b1a0402f1ebb3e45dc93b7b681ec163ec692e71cb65c848ff80d3ab7?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/e8d2e418b1a0402f1ebb3e45dc93b7b681ec163ec692e71cb65c848ff80d3ab7?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/e8d2e418b1a0402f1ebb3e45dc93b7b681ec163ec692e71cb65c848ff80d3ab7?s=96&d=mm&r=g","caption":"Susanne Br\u00f8ndberg"},"url":"https:\/\/direc.dk\/da\/author\/susanne\/"}]}},"dynamic_page_title":"","dynamic_page_description":"","dynamic_page_partners":"","dynamic_page_scientific_impact":"","dynamic_page_people":"","dynamic_page_project_period":"","dynamic_page_funding":"","dynamic_page_publications":"","dynamic_page_cover_image":"","_links":{"self":[{"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/posts\/13399","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/comments?post=13399"}],"version-history":[{"count":3,"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/posts\/13399\/revisions"}],"predecessor-version":[{"id":18048,"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/posts\/13399\/revisions\/18048"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/media\/13380"}],"wp:attachment":[{"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/media?parent=13399"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/categories?post=13399"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/tags?post=13399"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}