{"id":7708,"date":"2019-04-15T17:04:58","date_gmt":"2019-04-15T15:04:58","guid":{"rendered":"https:\/\/www.uni.lu\/fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2019\/"},"modified":"2019-04-15T17:04:58","modified_gmt":"2019-04-15T15:04:58","slug":"unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2019","status":"publish","type":"events","link":"https:\/\/www.uni.lu\/fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2019\/","title":{"rendered":"UniGR Summer School on Verification Technology, Systems and Applications (VTSA 2019)"},"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 the Universities of Li\u00e8ge and of Luxembourg.\u00a0<\/p><p>The following speakers have agreed to lecture at the school:<\/p><ul class=\"ulux-list\"><li class=\"ulux-list-item\">Alexey Gotsman: Reasoning about data consistency in distributed systems<\/li><li class=\"ulux-list-item\">Jochen Hoenicke: Software model checking with Ultimate<\/li><li class=\"ulux-list-item\">Catalin Hritcu: Program verification with F*<\/li><li class=\"ulux-list-item\">Marieke Huisman: Verification of concurrent and distributed software<\/li><li class=\"ulux-list-item\">Cezary Kaliszyk: Artificial intelligence in theorem proving<\/li><\/ul><p>Participation in 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=\"mailto:soumya.paul@uni.lu\" target=\"_self\" title=\"\" rel=\"noopener\">Soumya Paul<\/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<\/li><li class=\"ulux-list-item\">a copy of your bachelor certificate (or equivalent or a more significant certificate)<\/li><li class=\"ulux-list-item\">a short statement if you want to contribute to the student sessions<\/li><\/ul><p>The deadline for application is May 10, 2019. Notification of acceptance will be given by May 17, 2019.<\/p><p>Full details can be found <a href=\"https:\/\/www.mpi-inf.mpg.de\/vtsa19\" target=\"_self\" title=\"\" rel=\"noopener\">here<\/a><\/p><\/div><\/section>","protected":false},"excerpt":{"rendered":"","protected":false},"author":0,"featured_media":7709,"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":"2019-07-01 08:00:00","event_end_date":"2019-07-05 18:00:00","event_speaker_name":"","event_speaker_link":"","event_is_online":false,"event_location":"Maison du Savoir, Campus Belval, \r\n2, avenue de l'Universit\u00e9\r\nL-4365 Esch-sur-Alzette","event_street":"","event_location_link":"","event_zip_code":"","event_city":"","event_country":"LU"},"events-topic":[],"events-type":[],"organisation":[25,184,226],"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 2019) - Universit\u00e9 du Luxembourg<\/title>\n<meta name=\"description\" content=\"The summer school on verification technology, systems &amp; applications focuses on fundamental aspects of verification techniques, their implementation, and\" \/>\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\/fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2019\/\" \/>\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 2019)\" \/>\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\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.uni.lu\/fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2019\/\" \/>\n<meta property=\"og:site_name\" content=\"UNI FR\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/uni.lu\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/11\/2026\/03\/03120045\/UNIV_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\/fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2019\/\",\"url\":\"https:\/\/www.uni.lu\/fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2019\/\",\"name\":\"UniGR Summer School on Verification Technology, Systems and Applications (VTSA 2019) - Universit\u00e9 du Luxembourg\",\"isPartOf\":{\"@id\":\"https:\/\/www.uni.lu\/fr\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.uni.lu\/fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2019\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.uni.lu\/fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2019\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/11\/2019\/04\/unigr_summer_school_on_verification_technology_systems_and_applications_vtsa_2019.png\",\"datePublished\":\"2019-04-15T15:04:58+00:00\",\"dateModified\":\"2019-04-15T15:04:58+00:00\",\"description\":\"The summer school on verification technology, systems & applications focuses on fundamental aspects of verification techniques, their implementation, and\",\"breadcrumb\":{\"@id\":\"https:\/\/www.uni.lu\/fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2019\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.uni.lu\/fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2019\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"https:\/\/www.uni.lu\/fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2019\/#primaryimage\",\"url\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/11\/2019\/04\/unigr_summer_school_on_verification_technology_systems_and_applications_vtsa_2019.png\",\"contentUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/11\/2019\/04\/unigr_summer_school_on_verification_technology_systems_and_applications_vtsa_2019.png\",\"width\":2077,\"height\":1438},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.uni.lu\/fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2019\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.uni.lu\/fr\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Events\",\"item\":\"https:\/\/www.uni.lu\/fr\/events\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"UniGR Summer School on Verification Technology, Systems and Applications (VTSA 2019)\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.uni.lu\/fr\/#website\",\"url\":\"https:\/\/www.uni.lu\/fr\/\",\"name\":\"Uni.lu\",\"description\":\"Universit\u00e9 du Luxembourg\",\"publisher\":{\"@id\":\"https:\/\/www.uni.lu\/fr\/#organization\"},\"alternateName\":\"Universit\u00e9 du Luxembourg\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.uni.lu\/fr\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"fr-FR\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/www.uni.lu\/fr\/#organization\",\"name\":\"Universit\u00e9 du Luxembourg\",\"alternateName\":\"Uni.lu\",\"url\":\"https:\/\/www.uni.lu\/fr\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"https:\/\/www.uni.lu\/fr\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/11\/2026\/03\/03120045\/UNIV_SM-Profile_1600x1600px-scaled.jpg\",\"contentUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/11\/2026\/03\/03120045\/UNIV_SM-Profile_1600x1600px-scaled.jpg\",\"width\":2560,\"height\":2560,\"caption\":\"Universit\u00e9 du Luxembourg\"},\"image\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/11\/2026\/04\/24120552\/20200609-Belval-Campus_Henri-Goergen-23.jpg\",\"sameAs\":[\"https:\/\/www.facebook.com\/uni.lu\",\"https:\/\/www.linkedin.com\/school\/university-of-luxembourg\/\",\"https:\/\/www.instagram.com\/uni.lu\",\"https:\/\/www.youtube.com\/@uni_lu\",\"https:\/\/en.wikipedia.org\/wiki\/University_of_Luxembourg\"],\"email\":\"communication@uni.lu\",\"telephone\":\"+352 46 66 44 1\",\"address\":{\"@type\":\"PostalAddress\",\"streetAddress\":\"2, place de l\u2019Universit\u00e9\",\"addressLocality\":\"Esch-sur-Alzette\",\"postalCode\":\"4365\",\"addressCountry\":\"LU\"},\"description\":\"Universit\u00e9 du Luxembourg\"}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"UniGR Summer School on Verification Technology, Systems and Applications (VTSA 2019) - Universit\u00e9 du Luxembourg","description":"The summer school on verification technology, systems & applications focuses on fundamental aspects of verification techniques, their implementation, and","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\/fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2019\/","og_locale":"fr_FR","og_type":"article","og_title":"UniGR Summer School on Verification Technology, Systems and Applications (VTSA 2019)","og_description":"The summer school on verification technology, systems & applications focuses on fundamental aspects of verification techniques, their implementation, and","og_url":"https:\/\/www.uni.lu\/fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2019\/","og_site_name":"UNI FR","article_publisher":"https:\/\/www.facebook.com\/uni.lu","og_image":[{"width":2560,"height":2560,"url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/11\/2026\/03\/03120045\/UNIV_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\/fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2019\/","url":"https:\/\/www.uni.lu\/fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2019\/","name":"UniGR Summer School on Verification Technology, Systems and Applications (VTSA 2019) - Universit\u00e9 du Luxembourg","isPartOf":{"@id":"https:\/\/www.uni.lu\/fr\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.uni.lu\/fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2019\/#primaryimage"},"image":{"@id":"https:\/\/www.uni.lu\/fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2019\/#primaryimage"},"thumbnailUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/11\/2019\/04\/unigr_summer_school_on_verification_technology_systems_and_applications_vtsa_2019.png","datePublished":"2019-04-15T15:04:58+00:00","dateModified":"2019-04-15T15:04:58+00:00","description":"The summer school on verification technology, systems & applications focuses on fundamental aspects of verification techniques, their implementation, and","breadcrumb":{"@id":"https:\/\/www.uni.lu\/fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2019\/#breadcrumb"},"inLanguage":"fr-FR","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.uni.lu\/fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2019\/"]}]},{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/www.uni.lu\/fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2019\/#primaryimage","url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/11\/2019\/04\/unigr_summer_school_on_verification_technology_systems_and_applications_vtsa_2019.png","contentUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/11\/2019\/04\/unigr_summer_school_on_verification_technology_systems_and_applications_vtsa_2019.png","width":2077,"height":1438},{"@type":"BreadcrumbList","@id":"https:\/\/www.uni.lu\/fr\/events\/unigr-summer-school-on-verification-technology-systems-and-applications-vtsa-2019\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.uni.lu\/fr\/"},{"@type":"ListItem","position":2,"name":"Events","item":"https:\/\/www.uni.lu\/fr\/events\/"},{"@type":"ListItem","position":3,"name":"UniGR Summer School on Verification Technology, Systems and Applications (VTSA 2019)"}]},{"@type":"WebSite","@id":"https:\/\/www.uni.lu\/fr\/#website","url":"https:\/\/www.uni.lu\/fr\/","name":"Uni.lu","description":"Universit\u00e9 du Luxembourg","publisher":{"@id":"https:\/\/www.uni.lu\/fr\/#organization"},"alternateName":"Universit\u00e9 du Luxembourg","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.uni.lu\/fr\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"fr-FR"},{"@type":"Organization","@id":"https:\/\/www.uni.lu\/fr\/#organization","name":"Universit\u00e9 du Luxembourg","alternateName":"Uni.lu","url":"https:\/\/www.uni.lu\/fr\/","logo":{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/www.uni.lu\/fr\/#\/schema\/logo\/image\/","url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/11\/2026\/03\/03120045\/UNIV_SM-Profile_1600x1600px-scaled.jpg","contentUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/11\/2026\/03\/03120045\/UNIV_SM-Profile_1600x1600px-scaled.jpg","width":2560,"height":2560,"caption":"Universit\u00e9 du Luxembourg"},"image":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/11\/2026\/04\/24120552\/20200609-Belval-Campus_Henri-Goergen-23.jpg","sameAs":["https:\/\/www.facebook.com\/uni.lu","https:\/\/www.linkedin.com\/school\/university-of-luxembourg\/","https:\/\/www.instagram.com\/uni.lu","https:\/\/www.youtube.com\/@uni_lu","https:\/\/en.wikipedia.org\/wiki\/University_of_Luxembourg"],"email":"communication@uni.lu","telephone":"+352 46 66 44 1","address":{"@type":"PostalAddress","streetAddress":"2, place de l\u2019Universit\u00e9","addressLocality":"Esch-sur-Alzette","postalCode":"4365","addressCountry":"LU"},"description":"Universit\u00e9 du Luxembourg"}]}},"_links":{"self":[{"href":"https:\/\/www.uni.lu\/fr\/wp-json\/wp\/v2\/events\/7708"}],"collection":[{"href":"https:\/\/www.uni.lu\/fr\/wp-json\/wp\/v2\/events"}],"about":[{"href":"https:\/\/www.uni.lu\/fr\/wp-json\/wp\/v2\/types\/events"}],"replies":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/fr\/wp-json\/wp\/v2\/comments?post=7708"}],"version-history":[{"count":0,"href":"https:\/\/www.uni.lu\/fr\/wp-json\/wp\/v2\/events\/7708\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/fr\/wp-json\/wp\/v2\/media\/7709"}],"wp:attachment":[{"href":"https:\/\/www.uni.lu\/fr\/wp-json\/wp\/v2\/media?parent=7708"}],"wp:term":[{"taxonomy":"events-topic","embeddable":true,"href":"https:\/\/www.uni.lu\/fr\/wp-json\/wp\/v2\/events-topic?post=7708"},{"taxonomy":"events-type","embeddable":true,"href":"https:\/\/www.uni.lu\/fr\/wp-json\/wp\/v2\/events-type?post=7708"},{"taxonomy":"organisation","embeddable":true,"href":"https:\/\/www.uni.lu\/fr\/wp-json\/wp\/v2\/organisation?post=7708"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}