{"id":214,"date":"2015-06-20T14:29:36","date_gmt":"2015-06-20T13:29:36","guid":{"rendered":"https:\/\/blogs.ncl.ac.uk\/alexyakovlev\/?p=214"},"modified":"2015-06-20T14:29:36","modified_gmt":"2015-06-20T13:29:36","slug":"pn2015-advanced-tutorial-modeling-synthesis-and-verification-of-hardware","status":"publish","type":"post","link":"https:\/\/blogs.ncl.ac.uk\/alexyakovlev\/2015\/06\/20\/pn2015-advanced-tutorial-modeling-synthesis-and-verification-of-hardware\/","title":{"rendered":"PN\u20192015 Advanced Tutorial: Modeling, Synthesis and Verification of Hardware"},"content":{"rendered":"<p>We are giving an\u00a0Advanced Tutorial: Modeling, Synthesis and Verification of Hardware on Tuesday 23rd June at the Petri nets 2015 Conference in Brussels.<\/p>\n<p>The agenda of the tutorial and directions to the venue can be found here:<\/p>\n<p><a title=\"PN''15 Advanced Tutorial on Hardware and Petri nets\" href=\"http:\/\/www.ulb.ac.be\/di\/verif\/pn2015acsd2015\/satellite.html#Tuto2\" target=\"_blank\">http:\/\/www.ulb.ac.be\/di\/verif\/pn2015acsd2015\/satellite.html#Tuto2<\/a><\/p>\n<p>Everyone is welcome!<\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>We are giving an\u00a0Advanced Tutorial: Modeling, Synthesis and Verification of Hardware on Tuesday 23rd June at the Petri nets 2015 Conference in Brussels. The agenda of the tutorial and directions to the venue can be found here: http:\/\/www.ulb.ac.be\/di\/verif\/pn2015acsd2015\/satellite.html#Tuto2 Everyone is &hellip; <a href=\"https:\/\/blogs.ncl.ac.uk\/alexyakovlev\/2015\/06\/20\/pn2015-advanced-tutorial-modeling-synthesis-and-verification-of-hardware\/\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":4763,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[3,4,1],"tags":[],"class_list":["post-214","post","type-post","status-publish","format-standard","hentry","category-energetic-computing","category-news-alexs","category-uncategorized"],"_links":{"self":[{"href":"https:\/\/blogs.ncl.ac.uk\/alexyakovlev\/wp-json\/wp\/v2\/posts\/214","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.ncl.ac.uk\/alexyakovlev\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.ncl.ac.uk\/alexyakovlev\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.ncl.ac.uk\/alexyakovlev\/wp-json\/wp\/v2\/users\/4763"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.ncl.ac.uk\/alexyakovlev\/wp-json\/wp\/v2\/comments?post=214"}],"version-history":[{"count":1,"href":"https:\/\/blogs.ncl.ac.uk\/alexyakovlev\/wp-json\/wp\/v2\/posts\/214\/revisions"}],"predecessor-version":[{"id":215,"href":"https:\/\/blogs.ncl.ac.uk\/alexyakovlev\/wp-json\/wp\/v2\/posts\/214\/revisions\/215"}],"wp:attachment":[{"href":"https:\/\/blogs.ncl.ac.uk\/alexyakovlev\/wp-json\/wp\/v2\/media?parent=214"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ncl.ac.uk\/alexyakovlev\/wp-json\/wp\/v2\/categories?post=214"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ncl.ac.uk\/alexyakovlev\/wp-json\/wp\/v2\/tags?post=214"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}