{"id":418,"date":"2012-02-03T08:08:02","date_gmt":"2012-02-03T08:08:02","guid":{"rendered":"http:\/\/kglarkiv.cs.aau.dk\/?p=418"},"modified":"2012-02-03T08:12:38","modified_gmt":"2012-02-03T08:12:38","slug":"qmc-phd-school","status":"publish","type":"post","link":"https:\/\/kglarkiv.cs.aau.dk\/?p=418","title":{"rendered":"QMC PhD School"},"content":{"rendered":"<div>\n<h2>Quantitative Model Checking PhD School<\/h2>\n<\/div>\n<div id=\"texte\">The PhD school on quantitative model checking, <a href=\"http:\/\/www.artist-embedded.org\/artist\/Overview,2414.html\"><strong>QMC 2012<\/strong><\/a>, is organized by the <a href=\"http:\/\/www.artist-embedded.org\/\" target=\"_blank\">European Network of Excellence ARTIST Design<\/a>, the <a href=\"http:\/\/www.mt-lab.dk\/\" target=\"_blank\">Danish VKR Center of Excellence MT-LAB<\/a> and the <a href=\"http:\/\/www.idea4cps.dk\/\" target=\"_blank\">IDEA4CPS research centre<\/a> and takes place at the <a href=\"http:\/\/www1.itu.dk\/sw5211.asp\" target=\"_blank\">IT University Copenhagen<\/a> from the 27 of February to the 1st of March 2012.  It features lectures  and other activities by world-renowned experts within the areas of <em>real-time<\/em>, <em>probabilistic<\/em>, and <em>hybrid model checking<\/em>.<\/div>\n<div>The  lectures  will  present  advances  within  this  broad  field  of   quantitative   model   checking,   providing  an in-depth   account   of   state-of-the-art  modeling  and  logical  formalisms,  model  checking   algorithms  as well  as practical  applications and  offering hands-on   experience of state-of-the art quantitative model checking tools.<\/div>\n<div><\/div>\n<div><img loading=\"lazy\" decoding=\"async\" title=\"MT-LAB\" src=\"http:\/\/www.artist-embedded.org\/artist\/local\/cache-vignettes\/L280xH99\/mt-lab-logo-99-2-fd439.jpg\" alt=\"MT-LAB\" width=\"182\" height=\"64\" \/><\/div>\n<div><img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/www.artist-embedded.org\/artist\/local\/cache-vignettes\/L200xH43\/Idea4CPS_logo-3-1e6a0.jpg\" alt=\"\" width=\"207\" height=\"44\" \/><\/div>\n<div>\n<p><img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/www.artist-embedded.org\/artist\/local\/cache-vignettes\/L316xH66\/itu-logo-2-70873.jpg\" alt=\"\" width=\"249\" height=\"52\" \/><\/p>\n<\/div>\n<p><a href=\"mailto:Bruno.Bouyssounouse@imag.fr?Subject=Contact\"><\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>PhD school on Quantitative Model Checking,m February 27-March 1, 2012,  in Copenhagen, Denmark.<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-418","post","type-post","status-publish","format-standard","hentry","category-news"],"_links":{"self":[{"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/posts\/418","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=418"}],"version-history":[{"count":6,"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/posts\/418\/revisions"}],"predecessor-version":[{"id":422,"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/posts\/418\/revisions\/422"}],"wp:attachment":[{"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=418"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=418"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=418"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}