{"id":1472,"date":"2017-05-04T12:52:25","date_gmt":"2017-05-04T10:52:25","guid":{"rendered":"http:\/\/synasc.ro\/2017\/?page_id=1472"},"modified":"2018-07-20T07:22:49","modified_gmt":"2018-07-20T05:22:49","slug":"tutorials","status":"publish","type":"page","link":"https:\/\/synasc.ro\/2018\/tutorials\/","title":{"rendered":"Tutorials and Trainings"},"content":{"rendered":"<ul>\n<li>Tutorial: <a href=\"https:\/\/synasc.ro\/2018\/cimatti\/\">SMT and its Applications to Formal Verification<\/a> &#8211; Alessandro Cimatti<\/li>\n<li>Tutorial: <a href=\"https:\/\/synasc.ro\/2018\/tutorial-bayesian\/\">Classification with Bayesian Networks<\/a> &#8211; Denis En\u0103chescu<\/li>\n<li>Tutorial:\u00a0<a href=\"https:\/\/synasc.ro\/2018\/prandini\/\">A set-based approach to model checking of nonlinear systems<\/a> &#8211; Maria Prandini<\/li>\n<li>Training: <a href=\"https:\/\/synasc.ro\/2018\/training-innohpc\/\">InnoHPC &#8211; Capacity building for HPC providers and SMEs<\/a><\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Tutorial: SMT and its Applications to Formal Verification &#8211; Alessandro Cimatti Tutorial: Classification with Bayesian Networks &#8211; Denis En\u0103chescu Tutorial:\u00a0A set-based approach to model checking of nonlinear systems &#8211; Maria Prandini Training: InnoHPC &#8211; Capacity building for HPC providers and SMEs<\/p>\n","protected":false},"author":4,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-1472","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/synasc.ro\/2018\/wp-json\/wp\/v2\/pages\/1472","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/synasc.ro\/2018\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/synasc.ro\/2018\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2018\/wp-json\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2018\/wp-json\/wp\/v2\/comments?post=1472"}],"version-history":[{"count":18,"href":"https:\/\/synasc.ro\/2018\/wp-json\/wp\/v2\/pages\/1472\/revisions"}],"predecessor-version":[{"id":1888,"href":"https:\/\/synasc.ro\/2018\/wp-json\/wp\/v2\/pages\/1472\/revisions\/1888"}],"wp:attachment":[{"href":"https:\/\/synasc.ro\/2018\/wp-json\/wp\/v2\/media?parent=1472"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}