{"id":282,"date":"2022-05-02T05:44:14","date_gmt":"2022-05-02T05:44:14","guid":{"rendered":"https:\/\/synasc.ro\/2022\/?page_id=282"},"modified":"2022-09-09T05:49:09","modified_gmt":"2022-09-09T05:49:09","slug":"computer-algebra-and-computational-logic","status":"publish","type":"page","link":"https:\/\/synasc.ro\/2022\/computer-algebra-and-computational-logic\/","title":{"rendered":"Computer Algebra and Computational Logic"},"content":{"rendered":"\n<p><strong>Aim and description:<\/strong><\/p>\n\n\n\n<p>Computer algebra and computational logic are two highly active branches of symbolic computation. The goal of this special session is to provide a forum where interactions between these two fields are discussed. It concerns<\/p>\n\n\n\n<p>&nbsp;&#8211; computer algebra techniques exploiting insight from computational logic,<br>&nbsp;&#8211; computational logic techniques exploiting insight from computer<br>algebra, and<br>&nbsp;&#8211; hybrid techniques like SMT which draw from both sides.<\/p>\n\n\n\n<p>The session will consist of invited presentations, followed by discussion rounds.<\/p>\n\n\n\n<p><strong>Speakers:<\/strong><\/p>\n\n\n\n<p>James Davenport (University of Bath)<br>Georg Regensburger (University of Kassel)<br>Andrei Voronkov (The University of Manchester and EasyChair)<br>James Worrell (University of Oxford)<\/p>\n\n\n\n<p><strong>Organization:<\/strong><\/p>\n\n\n\n<p>Ezio Bartocci (Vienna University of Technology)<br>Manuel Kauers (Johannes Kepler University Linz)<br>Christoph Koutschan (RICAM, Austrian Academy of Sciences)<br>Laura Kov\u00e1cs (Vienna University of Technology)<br>Temur Kutsia (Johannes Kepler University Linz, co-chair)<br>Veronika Pillwein (Johannes Kepler University Linz)<br>Carsten Schneider (Johannes Kepler University Linz, co-chair)<br>Martina Seidl (Johannes Kepler University Linz)<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Aim and description: Computer algebra and computational logic are two highly active branches of symbolic computation. The goal of this special session is to provide a forum where interactions between these two fields are discussed. It concerns &nbsp;&#8211; computer algebra techniques exploiting insight from computational logic,&nbsp;&#8211; computational logic techniques exploiting insight from computeralgebra, and&nbsp;&#8211; hybrid [&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-282","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/synasc.ro\/2022\/wp-json\/wp\/v2\/pages\/282","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=282"}],"version-history":[{"count":2,"href":"https:\/\/synasc.ro\/2022\/wp-json\/wp\/v2\/pages\/282\/revisions"}],"predecessor-version":[{"id":520,"href":"https:\/\/synasc.ro\/2022\/wp-json\/wp\/v2\/pages\/282\/revisions\/520"}],"wp:attachment":[{"href":"https:\/\/synasc.ro\/2022\/wp-json\/wp\/v2\/media?parent=282"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}