{"id":529,"date":"2016-03-29T17:57:56","date_gmt":"2016-03-29T17:57:56","guid":{"rendered":"http:\/\/kglarkiv.cs.aau.dk\/?p=529"},"modified":"2016-03-29T17:58:10","modified_gmt":"2016-03-29T17:58:10","slug":"lecturing-at-college-de-france","status":"publish","type":"post","link":"https:\/\/kglarkiv.cs.aau.dk\/?p=529","title":{"rendered":"Lecturing at Colleg\u00e8 de France"},"content":{"rendered":"<div>\n<h1 id=\"title\"><a href=\"http:\/\/www.college-de-france.fr\/site\/en-gerard-berry\/seminar-2016-03-30-17h30.htm\">Real-Time Model Checking of Embedded System<\/a><\/h1>\n<h1><span style=\"font-size: 1.17em; font-weight: normal;\">Kim LarsenAalborg University<\/span><\/h1>\n<\/div>\n<div>\n<div>\n<div>\n<h3>Attend the seminar<\/h3>\n<div>30 March 2016\u00a05:30 pm\u00a06:30 pm\u00a0SeminarAmphith\u00e9\u00e2tre Maurice Halbwachs\u00a0&#8211;\u00a0Marcelin Berthelot<\/div>\n<div>Lectures are open to all, free of charge and without prior registration<\/div>\n<\/div>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>Real-Time Model Checking of Embedded Systems, Colleg\u00e8 de France, March 30, 2016<\/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-529","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\/529","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=529"}],"version-history":[{"count":2,"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/posts\/529\/revisions"}],"predecessor-version":[{"id":531,"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/posts\/529\/revisions\/531"}],"wp:attachment":[{"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=529"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=529"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/kglarkiv.cs.aau.dk\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=529"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}