{"id":52,"date":"2022-02-25T08:29:43","date_gmt":"2022-02-25T08:29:43","guid":{"rendered":"https:\/\/synasc.ro\/2022\/?page_id=52"},"modified":"2022-05-27T07:53:15","modified_gmt":"2022-05-27T07:53:15","slug":"tutorials","status":"publish","type":"page","link":"https:\/\/synasc.ro\/2022\/tutorials\/","title":{"rendered":"Tutorials"},"content":{"rendered":"\n<ul class=\"wp-block-list\"><li>Fr\u00e9d\u00e9ric Loulergue, Alan Blanchard, Nikolai Kosmatov &#8211; <strong>Secure your Things: Secure Development of IoT Software with FRAMA-C<\/strong><\/li><li>Martina Seidl &#8211; <strong>Quantified Boolean Formulas<\/strong><\/li><li>Stefan Wagner &#8211; <strong>Application, Analysis, and Development of Metaheuristic Algorithms with HeuristicLab, an Open-source Optimization Environment for Research and Education<\/strong><\/li><li>Wolfgang Schreiner &#8211; <strong>Mathematical Model Checking in RISCAL<\/strong><\/li><li>Wolfgang Windsteiger &#8211; <strong>Conditional Rewriting in Theorema 2.0<\/strong><\/li><li>Markus Steindl, Sandra Wartner &#8211; <strong>Natural Language Processing for Industrial Applications<\/strong><\/li><\/ul>\n\n\n\n<h3 class=\"wp-block-heading\"><strong>Tutorial chair<\/strong>s<\/h3>\n\n\n\n<ul class=\"wp-block-list\"><li>Florin Fortis, West University of Timisoara, Romania<\/li><li>Wolfgang Windsteiger, Johannes Kepler University, Austria<\/li><\/ul>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Fr\u00e9d\u00e9ric Loulergue, Alan Blanchard, Nikolai Kosmatov &#8211; Secure your Things: Secure Development of IoT Software with FRAMA-C Martina Seidl &#8211; Quantified Boolean Formulas Stefan Wagner &#8211; Application, Analysis, and Development of Metaheuristic Algorithms with HeuristicLab, an Open-source Optimization Environment for Research and Education Wolfgang Schreiner &#8211; Mathematical Model Checking in RISCAL Wolfgang Windsteiger &#8211; Conditional [&hellip;]<\/p>\n","protected":false},"author":23,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-52","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/synasc.ro\/2022\/wp-json\/wp\/v2\/pages\/52","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/synasc.ro\/2022\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/synasc.ro\/2022\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2022\/wp-json\/wp\/v2\/users\/23"}],"replies":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2022\/wp-json\/wp\/v2\/comments?post=52"}],"version-history":[{"count":10,"href":"https:\/\/synasc.ro\/2022\/wp-json\/wp\/v2\/pages\/52\/revisions"}],"predecessor-version":[{"id":368,"href":"https:\/\/synasc.ro\/2022\/wp-json\/wp\/v2\/pages\/52\/revisions\/368"}],"wp:attachment":[{"href":"https:\/\/synasc.ro\/2022\/wp-json\/wp\/v2\/media?parent=52"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}