{"id":487,"date":"2018-05-17T15:00:00","date_gmt":"2018-05-17T15:00:00","guid":{"rendered":"https:\/\/es-wordpress.fbk.eu\/?p=487"},"modified":"2021-02-19T10:59:20","modified_gmt":"2021-02-19T09:59:20","slug":"informal-workshop-on-satisfiability-checking-and-symbolic-computation-sc-square","status":"publish","type":"post","link":"https:\/\/es.fbk.eu\/index.php\/news-and-events\/informal-workshop-on-satisfiability-checking-and-symbolic-computation-sc-square\/","title":{"rendered":"Informal workshop on Satisfiability Checking and\u200b \u200bSymbolic Computation (SC-SQUARE)"},"content":{"rendered":"\n\n[et_pb_section fb_built=”1″ admin_label=”section” _builder_version=”3.22″][et_pb_row admin_label=”row” _builder_version=”3.25″ background_size=”initial” background_position=”top_left” background_repeat=”repeat”][et_pb_column type=”4_4″ _builder_version=”3.25″ custom_padding=”|||” custom_padding__hover=”|||”][et_pb_text admin_label=”Text” _builder_version=”3.27.4″ background_size=”initial” background_position=”top_left” background_repeat=”repeat”]\n

The use of advanced methods to solve practical and industrially relevant problems by computers has a long history. Symbolic Computation is concerned with the algorithmic determination of exact solutions to complex mathematical problems; and more recent developments in the area of Satisfiability Checking are starting to tackle similar problems but with different algorithmic and technological solutions.Though both communities have made remarkable progress in the last decades, they need to be further strengthened to tackle practical problems of ever increasing size and complexity. Their separate tools (computer algebra systems and SMT solvers) are urgently needed to address prevailing problems having a direct effect on our society. For example, Satisfiability Checking is an essential backend for assuring the security and the safety of computer systems. In various scientific areas, Symbolic Computation is able to deal with large mathematical problems far beyond the scope of pencil and paper solutions. Currently the two communities are largely disjoint and unaware of the achievements of one another, despite there being strong reasons for them to discuss and collaborate, since they share many central interests. However, up to now, researchers from these two communities rarely interact, and also their tools lack common, mutual interfaces for unifying their strengths. Bridges between the communities in the form of common platforms and road-maps are necessary to initiate an exchange, and to support and direct their interaction. These are the main objectives of the SC-square CSA<\/a>, an EU-funded project whose goal is to initiate cross-fertilization of both fields to allow for combining the knowledge, experience and the technologies in these two communities, to enable the development of radically improved software tools.<\/p>\n[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section]\n\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":8,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_et_pb_use_builder":"on","_et_pb_old_content":"\n

The use of advanced methods to solve practical and industrially relevant problems by computers has a long history. Symbolic Computation is concerned with the algorithmic determination of exact solutions to complex mathematical problems; and more recent developments in the area of Satisfiability Checking are starting to tackle similar problems but with different algorithmic and technological solutions.Though both communities have made remarkable progress in the last decades, they need to be further strengthened to tackle practical problems of ever increasing size and complexity. Their separate tools (computer algebra systems and SMT solvers) are urgently needed to address prevailing problems having a direct effect on our society. For example, Satisfiability Checking is an essential backend for assuring the security and the safety of computer systems. In various scientific areas, Symbolic Computation is able to deal with large mathematical problems far beyond the scope of pencil and paper solutions. Currently the two communities are largely disjoint and unaware of the achievements of one another, despite there being strong reasons for them to discuss and collaborate, since they share many central interests. However, up to now, researchers from these two communities rarely interact, and also their tools lack common, mutual interfaces for unifying their strengths. Bridges between the communities in the form of common platforms and road-maps are necessary to initiate an exchange, and to support and direct their interaction. These are the main objectives of the SC-square CSA<\/a>, an EU-funded project whose goal is to initiate cross-fertilization of both fields to allow for combining the knowledge, experience and the technologies in these two communities, to enable the development of radically improved software tools.<\/p>\n","_et_gb_content_width":"","footnotes":""},"categories":[9],"tags":[],"class_list":["post-487","post","type-post","status-publish","format-standard","hentry","category-news-and-events","et-doesnt-have-format-content","et_post_format-et-post-format-standard"],"_links":{"self":[{"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/posts\/487","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/users\/8"}],"replies":[{"embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/comments?post=487"}],"version-history":[{"count":14,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/posts\/487\/revisions"}],"predecessor-version":[{"id":1510,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/posts\/487\/revisions\/1510"}],"wp:attachment":[{"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/media?parent=487"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/categories?post=487"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/tags?post=487"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}