{"id":4152,"date":"2021-07-28T16:43:53","date_gmt":"2021-07-28T13:43:53","guid":{"rendered":"https:\/\/segelweb.technion.ac.il\/?p=4152"},"modified":"2021-07-28T16:43:53","modified_gmt":"2021-07-28T13:43:53","slug":"%d7%a2%d7%95%d7%a4%d7%a8-%d7%a9%d7%98%d7%a8%d7%99%d7%9b%d7%9e%d7%9f","status":"publish","type":"post","link":"https:\/\/segelweb.technion.ac.il\/en\/%d7%a2%d7%95%d7%a4%d7%a8-%d7%a9%d7%98%d7%a8%d7%99%d7%9b%d7%9e%d7%9f\/","title":{"rendered":"\u05e2\u05d5\u05e4\u05e8 \u05e9\u05d8\u05e8\u05d9\u05db\u05de\u05df"},"content":{"rendered":"<p><a href=\"mailto:\u05e2\u05d5\u05e4\u05e8%20\u05e9\u05d8\u05e8\u05d9\u05db\u05de\u05df\">\u05e2\u05d5\u05e4\u05e8 \u05e9\u05d8\u05e8\u05d9\u05db\u05de\u05df<\/a>\u00a0\u05de\u05d4\u05e4\u05e7\u05d5\u05dc\u05d8\u05d4 \u05dc\u05d4\u05e0\u05d3\u05e1\u05ea \u05ea\u05e2\u05e9\u05d9\u05d9\u05d4 \u05d5\u05e0\u05d9\u05d4\u05d5\u05dc \u05d4\u05d9\u05e0\u05d5 \u05d0\u05d7\u05d3 \u05d4\u05d6\u05d5\u05db\u05d9\u05dd \u05d1\u05e4\u05e8\u05e1\u00a0<a href=\"http:\/\/i-cav.org\/2021\/cav-award\/\">CAV \u2013 Computer Aided Verification<\/a>\u00a0\u05dc\u05e9\u05e0\u05ea 2021 \u05e2\u05dc \u05ea\u05e8\u05d5\u05de\u05d5\u05ea \u05d7\u05dc\u05d5\u05e6\u05d9\u05d5\u05ea \u05dc\u05de\u05e1\u05d3 \u05d4\u05ea\u05d9\u05d0\u05d5\u05e8\u05d8\u05d9 \u05d5\u05d4\u05d9\u05d9\u05e9\u05d5\u05de\u05d9 \u05e9\u05dc\u00a0Satisfiability Modulo Theories (SMT).<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u05e2\u05d5\u05e4\u05e8 \u05e9\u05d8\u05e8\u05d9\u05db\u05de\u05df\u00a0\u05de\u05d4\u05e4\u05e7\u05d5\u05dc\u05d8\u05d4 \u05dc\u05d4\u05e0\u05d3\u05e1\u05ea \u05ea\u05e2\u05e9\u05d9\u05d9\u05d4 \u05d5\u05e0\u05d9\u05d4\u05d5\u05dc \u05d4\u05d9\u05e0\u05d5 \u05d0\u05d7\u05d3 \u05d4\u05d6\u05d5\u05db\u05d9\u05dd \u05d1\u05e4\u05e8\u05e1\u00a0CAV \u2013 Computer Aided Verification\u00a0\u05dc\u05e9\u05e0\u05ea 2021 \u05e2\u05dc \u05ea\u05e8\u05d5\u05de\u05d5\u05ea \u05d7\u05dc\u05d5\u05e6\u05d9\u05d5\u05ea \u05dc\u05de\u05e1\u05d3 \u05d4\u05ea\u05d9\u05d0\u05d5\u05e8\u05d8\u05d9 \u05d5\u05d4\u05d9\u05d9\u05e9\u05d5\u05de\u05d9 \u05e9\u05dc\u00a0Satisfiability Modulo Theories (SMT).<\/p>\n","protected":false},"author":8,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[1],"tags":[],"class_list":["post-4152","post","type-post","status-publish","format-standard","hentry","category-news"],"translation":{"provider":"WPGlobus","version":"3.0.2","language":"en","enabled_languages":["he","en"],"languages":{"he":{"title":true,"content":true,"excerpt":false},"en":{"title":false,"content":false,"excerpt":false}}},"acf":[],"aioseo_notices":[],"_links":{"self":[{"href":"https:\/\/segelweb.technion.ac.il\/en\/wp-json\/wp\/v2\/posts\/4152","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/segelweb.technion.ac.il\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/segelweb.technion.ac.il\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/segelweb.technion.ac.il\/en\/wp-json\/wp\/v2\/users\/8"}],"replies":[{"embeddable":true,"href":"https:\/\/segelweb.technion.ac.il\/en\/wp-json\/wp\/v2\/comments?post=4152"}],"version-history":[{"count":2,"href":"https:\/\/segelweb.technion.ac.il\/en\/wp-json\/wp\/v2\/posts\/4152\/revisions"}],"predecessor-version":[{"id":4156,"href":"https:\/\/segelweb.technion.ac.il\/en\/wp-json\/wp\/v2\/posts\/4152\/revisions\/4156"}],"wp:attachment":[{"href":"https:\/\/segelweb.technion.ac.il\/en\/wp-json\/wp\/v2\/media?parent=4152"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/segelweb.technion.ac.il\/en\/wp-json\/wp\/v2\/categories?post=4152"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/segelweb.technion.ac.il\/en\/wp-json\/wp\/v2\/tags?post=4152"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}