{"id":20,"date":"2025-01-20T11:39:52","date_gmt":"2025-01-20T11:39:52","guid":{"rendered":"http:\/\/smcps.uvt.ro\/?page_id=20"},"modified":"2025-01-20T13:05:55","modified_gmt":"2025-01-20T13:05:55","slug":"general-information","status":"publish","type":"page","link":"http:\/\/smcps.uvt.ro\/","title":{"rendered":"General Information"},"content":{"rendered":"\n<p class=\"has-text-align-center\" style=\"font-size:48px\">SMCPS 2024<\/p>\n\n\n\n<p>This workshop is addressed to the people interested in the development of <em>Symbolic Methods<\/em> for S<em>afety and Security of Critical Cyber-physical Systems<\/em>.<\/p>\n\n\n\n<p>The program consists of 6 talks that will be given by people working and\/or interested in the goals of the project &#8220;<strong>Symbolic rewriting methods for safety and security of critical cyber-physical systems<\/strong> (<strong>SYMSAFE<\/strong>)&#8221; in the frame of the <strong>NATO<\/strong> program <strong>Science for Peace and Security<\/strong> (<strong>SPS<\/strong>).&nbsp;<\/p>\n\n\n\n<p class=\"has-link-color wp-elements-645b04e36a4335d03c03234c37934bb3\">SMCPS 2024 is organized by <a href=\"http:\/\/www.info.uvt.ro\/\" target=\"_blank\" rel=\"noreferrer noopener\">Department of Computer Science<\/a>,&nbsp;<a href=\"http:\/\/www.uvt.ro\/\" target=\"_blank\" rel=\"noreferrer noopener\">West University of Timisoara<\/a>, Romania under the supervision of Prof. Mircea Marin.<\/p>\n\n\n\n<p>It is held on <strong>July 11<sup>th<\/sup> 2024<\/strong> in <strong>Timi\u0219oara<\/strong>, <strong>Romania<\/strong>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>SMCPS 2024 This workshop is addressed to the people interested in the development of Symbolic Methods for Safety and Security of Critical Cyber-physical Systems. The program consists of 6 talks that will be given by people working and\/or interested in the goals of the project &#8220;Symbolic rewriting methods for safety and security of critical cyber-physical&hellip; <a class=\"more-link\" href=\"http:\/\/smcps.uvt.ro\/\">Continue reading <span class=\"screen-reader-text\">General Information<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-20","page","type-page","status-publish","hentry","entry"],"_links":{"self":[{"href":"http:\/\/smcps.uvt.ro\/index.php?rest_route=\/wp\/v2\/pages\/20","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/smcps.uvt.ro\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/smcps.uvt.ro\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/smcps.uvt.ro\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/smcps.uvt.ro\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=20"}],"version-history":[{"count":7,"href":"http:\/\/smcps.uvt.ro\/index.php?rest_route=\/wp\/v2\/pages\/20\/revisions"}],"predecessor-version":[{"id":51,"href":"http:\/\/smcps.uvt.ro\/index.php?rest_route=\/wp\/v2\/pages\/20\/revisions\/51"}],"wp:attachment":[{"href":"http:\/\/smcps.uvt.ro\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=20"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}