{"id":34,"date":"2011-12-19T13:34:18","date_gmt":"2011-12-19T13:34:18","guid":{"rendered":"http:\/\/qfm2012.cs.aau.dk\/?page_id=34"},"modified":"2012-08-16T08:43:02","modified_gmt":"2012-08-16T06:43:02","slug":"program","status":"publish","type":"page","link":"https:\/\/qfm2012.cs.aau.dk\/?page_id=34","title":{"rendered":"Program"},"content":{"rendered":"<ul>\n<li>8:00 Registration opens<\/li>\n<li>9:00 <b>Parosh Abdullah<\/b>: Timed Extensions of Infinite State Spaces (invited talk)<\/li>\n<li>10:00 <b>J.H\u00f6lzl, T.Nipkow<\/b>: Interactive verification of Markov chains: Two distributed protocol case studies<\/li>\n<li>10:30 Coffee break<\/li>\n<li>11:00 <b>Boudewijn Haverkort<\/b>: Reinventing Formal Methods: From Boolean-Correctness to Real-Correctness (invited talk)<\/li>\n<li>12:00 <b>K.G.Larsen, R.Mardare, C.Thrane<\/b>: Parameterized Metatheory for Continuous Markovian Logic<\/li>\n<li>12:30 Lunch<\/li>\n<li>14:00 <b>Goran Frehse<\/b>: Scalable Set Computations in SpaceEx (invited talk)<\/li>\n<li>15:00 <b>H.Mao, Y.Chen, M.J\u00e4ger, T.D.Nielsen, K.G.Larsen, B.Nielsen<\/b>: Learning Markov Decision Processes for Model Checking<\/li>\n<li>15:30 Coffee break<\/li>\n<li>16:00 <b>Olivier Serre<\/b>: Qualitative Tree Languages (invited talk)<\/li>\n<li>17:00 <b>I.Gazeau, D.Miller, C.Palamidessi<\/b>: Non-local robustness analysis via rewriting techniques<\/li>\n<li>17:30 Workshop ends<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>8:00 Registration opens 9:00 Parosh Abdullah: Timed Extensions of Infinite State Spaces (invited talk) 10:00 J.H\u00f6lzl, T.Nipkow: Interactive verification of Markov chains: Two distributed protocol case studies 10:30 Coffee break 11:00 Boudewijn Haverkort: Reinventing Formal Methods: From Boolean-Correctness to Real-Correctness (invited talk) 12:00 K.G.Larsen, R.Mardare, C.Thrane: Parameterized Metatheory for Continuous Markovian Logic 12:30 Lunch 14:00 [&hellip;]<\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"open","ping_status":"open","template":"","meta":{"footnotes":""},"class_list":["post-34","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/qfm2012.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/pages\/34","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/qfm2012.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/qfm2012.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/qfm2012.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/qfm2012.cs.aau.dk\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=34"}],"version-history":[{"count":4,"href":"https:\/\/qfm2012.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/pages\/34\/revisions"}],"predecessor-version":[{"id":115,"href":"https:\/\/qfm2012.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/pages\/34\/revisions\/115"}],"wp:attachment":[{"href":"https:\/\/qfm2012.cs.aau.dk\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=34"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}