{"id":772,"date":"2018-07-25T10:54:27","date_gmt":"2018-07-25T08:54:27","guid":{"rendered":"https:\/\/www.uni.lu\/snt-fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2018\/"},"modified":"2018-07-25T10:54:27","modified_gmt":"2018-07-25T08:54:27","slug":"unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2018","status":"publish","type":"events","link":"https:\/\/www.uni.lu\/snt-fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2018\/","title":{"rendered":"UniGR Summer School on Verification Technology, Systems and Applications (VTSA 2018)"},"content":{"rendered":"<section class=\"wp-block-unilux-blocks-free-section section\"><div class=\"container xl:max-w-screen-xl\"><p>The summer school on verification technology, systems &#038; applications focuses on fundamental aspects of verification techniques, their implementation, and their use for concrete applications. It is organized by Inria Nancy, the Max-Planck-Institut f\u00fcr Informatik in Saarbr\u00fccken, and \u00a0the Universities of Li\u00e8ge and of Luxembourg, and will take place at the research center Inria Nancy \u2013 Grand Est in Nancy, France, from August 27 to 31, 2018.<\/p><p>The following speakers have agreed to lecture at the school:<\/p><ul class=\"ulux-list\"><li class=\"ulux-list-item\">David Basin: Formal Methods for Security Protocols<\/li><li class=\"ulux-list-item\">Jean-Christophe Filli\u00e2tre: An Introduction to Deductive Program Verification<\/li><li class=\"ulux-list-item\">Peter Lammich: Algorithm Verification with the Isabelle Refinement Framework<\/li><li class=\"ulux-list-item\">Anca Muscholl: Distributed Synthesis<\/li><li class=\"ulux-list-item\">Carsten Sinz: Bounded Model Checking of Software for Real-World Applications<\/li><\/ul><p>Participation to the school is free to anybody holding at least a bachelor degree or equivalent; it includes the lectures, coffee and lunch breaks, and a school dinner. Attendance is limited to 40 participants. Please apply electronically by sending an email to<a href=\"stephan.merz@loria.fr\" target=\"_self\" title=\"\" rel=\"noopener\"> Stephan Merz<\/a> including<\/p><ul class=\"ulux-list\"><li class=\"ulux-list-item\">a one-page CV,<\/li><li class=\"ulux-list-item\">an application letter explaining your interest in the school and your experience in the area, and<\/li><li class=\"ulux-list-item\">a copy of your bachelor (or equivalent or higher) certificate.<\/li><\/ul><p>Full details can be found on the <a href=\"https:\/\/www.mpi-inf.mpg.de\/vtsa18\" target=\"_self\" title=\"\" rel=\"noopener\">school Web page<\/a><\/p><\/div><\/section>","protected":false},"excerpt":{"rendered":"<p>The summer school on verification technology, systems &amp; applications focuses on fundamental aspects of verification techniques, their implementation, and their use for concrete applications. It is organized by Inria Nancy, the Max-Planck-Institut f\u00fcr Informatik in Saarbr\u00fccken, and \u00a0the Universities of Li\u00e8ge and of Luxembourg, and will take place at the research center Inria Nancy \u2013 Grand Est in Nancy, France, from August 27 to 31, 2018.<\/p>\n","protected":false},"author":0,"featured_media":773,"parent":0,"menu_order":0,"comment_status":"open","ping_status":"closed","template":"","format":"standard","meta":{"featured_image_focal_point":[],"show_featured_caption":false,"ulux_newsletter_groups":"","uluxPostTitle":"","uluxPrePostTitle":"","_trash_the_other_posts":false,"_price":"","_stock":"","_tribe_ticket_header":"","_tribe_default_ticket_provider":"","_tribe_ticket_capacity":"0","_ticket_start_date":"","_ticket_end_date":"","_tribe_ticket_show_description":"","_tribe_ticket_show_not_going":false,"_tribe_ticket_use_global_stock":"","_tribe_ticket_global_stock_level":"","_global_stock_mode":"","_global_stock_cap":"","_tribe_rsvp_for_event":"","_tribe_ticket_going_count":"","_tribe_ticket_not_going_count":"","_tribe_tickets_list":"[]","_tribe_ticket_has_attendee_info_fields":false,"event_start_date":"2018-08-27 08:00:00","event_end_date":"2018-08-31 17:00:00","event_speaker_name":"","event_speaker_link":"","event_is_online":false,"event_location":"Inria Nancy, Nancy, France","event_street":"","event_location_link":"","event_zip_code":"","event_city":"","event_country":"LU"},"events-topic":[],"events-type":[],"organisation":[183],"authorship":[],"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO Premium plugin v22.3 (Yoast SEO v22.3) - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>UniGR Summer School on Verification Technology, Systems and Applications (VTSA 2018) - SnT - Universit\u00e9 du Luxembourg I Uni.lu<\/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:\/\/www.uni.lu\/snt-fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2018\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"UniGR Summer School on Verification Technology, Systems and Applications (VTSA 2018)\" \/>\n<meta property=\"og:description\" content=\"The summer school on verification technology, systems &amp; applications focuses on fundamental aspects of verification techniques, their implementation, and their use for concrete applications. It is organized by Inria Nancy, the Max-Planck-Institut f\u00fcr Informatik in Saarbr\u00fccken, and \u00a0the Universities of Li\u00e8ge and of Luxembourg, and will take place at the research center Inria Nancy \u2013 Grand Est in Nancy, France, from August 27 to 31, 2018.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.uni.lu\/snt-fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2018\/\" \/>\n<meta property=\"og:site_name\" content=\"SnT FR\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2026\/03\/03112647\/SNT_SM-Profile_1600x1600px-scaled.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"2560\" \/>\n\t<meta property=\"og:image:height\" content=\"2560\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Dur\u00e9e de lecture estim\u00e9e\" \/>\n\t<meta name=\"twitter:data1\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2018\/\",\"url\":\"https:\/\/www.uni.lu\/snt-fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2018\/\",\"name\":\"UniGR Summer School on Verification Technology, Systems and Applications (VTSA 2018) - SnT - Universit\u00e9 du Luxembourg I Uni.lu\",\"isPartOf\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2018\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2018\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2018\/07\/default.jpg\",\"datePublished\":\"2018-07-25T08:54:27+00:00\",\"dateModified\":\"2018-07-25T08:54:27+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2018\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.uni.lu\/snt-fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2018\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2018\/#primaryimage\",\"url\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2018\/07\/default.jpg\",\"contentUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2018\/07\/default.jpg\",\"width\":1500,\"height\":1125},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2018\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.uni.lu\/fr\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Interdisciplinary Centre for Security, Reliability and Trust (SnT)\",\"item\":\"https:\/\/www.uni.lu\/snt-fr\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Events\",\"item\":\"https:\/\/www.uni.lu\/snt-fr\/events\/\"},{\"@type\":\"ListItem\",\"position\":4,\"name\":\"UniGR Summer School on Verification Technology, Systems and Applications (VTSA 2018)\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#website\",\"url\":\"https:\/\/www.uni.lu\/snt-fr\/\",\"name\":\"SnT\",\"description\":\"Interdisciplinary Centre for Security, Reliability and Trust I Uni.lu\",\"publisher\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#organization\"},\"alternateName\":\"Interdisciplinary Centre for Security, Reliability and Trust I Universit\u00e9 du Luxembourg\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.uni.lu\/snt-fr\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"fr-FR\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#organization\",\"name\":\"SnT - Universit\u00e9 du Luxembourg I Uni.lu\",\"alternateName\":\"Interdisciplinary Centre for Security, Reliability and Trust\",\"url\":\"https:\/\/www.uni.lu\/snt-fr\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2026\/03\/03112647\/SNT_SM-Profile_1600x1600px-scaled.jpg\",\"contentUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2026\/03\/03112647\/SNT_SM-Profile_1600x1600px-scaled.jpg\",\"width\":2560,\"height\":2560,\"caption\":\"SnT - Universit\u00e9 du Luxembourg I Uni.lu\"},\"image\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#\/schema\/logo\/image\/\"},\"sameAs\":[\"https:\/\/www.linkedin.com\/school\/snt-lu\/\"],\"description\":\"Interdisciplinary Centre for Security, Reliability and Trust I Uni.lu\"}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"UniGR Summer School on Verification Technology, Systems and Applications (VTSA 2018) - SnT - Universit\u00e9 du Luxembourg I Uni.lu","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:\/\/www.uni.lu\/snt-fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2018\/","og_locale":"fr_FR","og_type":"article","og_title":"UniGR Summer School on Verification Technology, Systems and Applications (VTSA 2018)","og_description":"The summer school on verification technology, systems &amp; applications focuses on fundamental aspects of verification techniques, their implementation, and their use for concrete applications. It is organized by Inria Nancy, the Max-Planck-Institut f\u00fcr Informatik in Saarbr\u00fccken, and \u00a0the Universities of Li\u00e8ge and of Luxembourg, and will take place at the research center Inria Nancy \u2013 Grand Est in Nancy, France, from August 27 to 31, 2018.","og_url":"https:\/\/www.uni.lu\/snt-fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2018\/","og_site_name":"SnT FR","og_image":[{"width":2560,"height":2560,"url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2026\/03\/03112647\/SNT_SM-Profile_1600x1600px-scaled.jpg","type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Dur\u00e9e de lecture estim\u00e9e":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.uni.lu\/snt-fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2018\/","url":"https:\/\/www.uni.lu\/snt-fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2018\/","name":"UniGR Summer School on Verification Technology, Systems and Applications (VTSA 2018) - SnT - Universit\u00e9 du Luxembourg I Uni.lu","isPartOf":{"@id":"https:\/\/www.uni.lu\/snt-fr\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.uni.lu\/snt-fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2018\/#primaryimage"},"image":{"@id":"https:\/\/www.uni.lu\/snt-fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2018\/#primaryimage"},"thumbnailUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2018\/07\/default.jpg","datePublished":"2018-07-25T08:54:27+00:00","dateModified":"2018-07-25T08:54:27+00:00","breadcrumb":{"@id":"https:\/\/www.uni.lu\/snt-fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2018\/#breadcrumb"},"inLanguage":"fr-FR","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.uni.lu\/snt-fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2018\/"]}]},{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/www.uni.lu\/snt-fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2018\/#primaryimage","url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2018\/07\/default.jpg","contentUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2018\/07\/default.jpg","width":1500,"height":1125},{"@type":"BreadcrumbList","@id":"https:\/\/www.uni.lu\/snt-fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2018\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.uni.lu\/fr"},{"@type":"ListItem","position":2,"name":"Interdisciplinary Centre for Security, Reliability and Trust (SnT)","item":"https:\/\/www.uni.lu\/snt-fr\/"},{"@type":"ListItem","position":3,"name":"Events","item":"https:\/\/www.uni.lu\/snt-fr\/events\/"},{"@type":"ListItem","position":4,"name":"UniGR Summer School on Verification Technology, Systems and Applications (VTSA 2018)"}]},{"@type":"WebSite","@id":"https:\/\/www.uni.lu\/snt-fr\/#website","url":"https:\/\/www.uni.lu\/snt-fr\/","name":"SnT","description":"Interdisciplinary Centre for Security, Reliability and Trust I Uni.lu","publisher":{"@id":"https:\/\/www.uni.lu\/snt-fr\/#organization"},"alternateName":"Interdisciplinary Centre for Security, Reliability and Trust I Universit\u00e9 du Luxembourg","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.uni.lu\/snt-fr\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"fr-FR"},{"@type":"Organization","@id":"https:\/\/www.uni.lu\/snt-fr\/#organization","name":"SnT - Universit\u00e9 du Luxembourg I Uni.lu","alternateName":"Interdisciplinary Centre for Security, Reliability and Trust","url":"https:\/\/www.uni.lu\/snt-fr\/","logo":{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/www.uni.lu\/snt-fr\/#\/schema\/logo\/image\/","url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2026\/03\/03112647\/SNT_SM-Profile_1600x1600px-scaled.jpg","contentUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2026\/03\/03112647\/SNT_SM-Profile_1600x1600px-scaled.jpg","width":2560,"height":2560,"caption":"SnT - Universit\u00e9 du Luxembourg I Uni.lu"},"image":{"@id":"https:\/\/www.uni.lu\/snt-fr\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.linkedin.com\/school\/snt-lu\/"],"description":"Interdisciplinary Centre for Security, Reliability and Trust I Uni.lu"}]}},"_links":{"self":[{"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/events\/772"}],"collection":[{"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/events"}],"about":[{"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/types\/events"}],"replies":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/comments?post=772"}],"version-history":[{"count":0,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/events\/772\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/media\/773"}],"wp:attachment":[{"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/media?parent=772"}],"wp:term":[{"taxonomy":"events-topic","embeddable":true,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/events-topic?post=772"},{"taxonomy":"events-type","embeddable":true,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/events-type?post=772"},{"taxonomy":"organisation","embeddable":true,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/organisation?post=772"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}