{"id":1266,"date":"2025-08-11T10:58:40","date_gmt":"2025-08-11T10:58:40","guid":{"rendered":"https:\/\/synasc.ro\/2025\/?page_id=1266"},"modified":"2025-08-11T10:59:04","modified_gmt":"2025-08-11T10:59:04","slug":"james-davenport","status":"publish","type":"page","link":"https:\/\/synasc.ro\/2025\/invited-speakers\/james-davenport\/","title":{"rendered":"James Davenport"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"1266\" class=\"elementor elementor-1266\" data-elementor-post-type=\"page\">\n\t\t\t\t<div class=\"elementor-element elementor-element-3e0b8ee e-con-full e-flex e-con e-parent\" data-id=\"3e0b8ee\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-a3ba736 elementor-widget elementor-widget-heading\" data-id=\"a3ba736\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">Symbolic Computation, Standardisation, and the EU AI Act<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-80ba9f5 elementor-widget elementor-widget-heading\" data-id=\"80ba9f5\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">James Davenport<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-7088b6b elementor-widget elementor-widget-text-editor\" data-id=\"7088b6b\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t\t\t\t\t\t<p>University of Bath, UK<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-6af37d1 elementor-widget elementor-widget-image\" data-id=\"6af37d1\" data-element_type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<img fetchpriority=\"high\" decoding=\"async\" width=\"214\" height=\"300\" src=\"https:\/\/synasc.ro\/2025\/wp-content\/uploads\/sites\/26\/2025\/08\/James-Davenport-214x300.jpg\" class=\"attachment-medium size-medium wp-image-1268\" alt=\"\" srcset=\"https:\/\/synasc.ro\/2025\/wp-content\/uploads\/sites\/26\/2025\/08\/James-Davenport-214x300.jpg 214w, https:\/\/synasc.ro\/2025\/wp-content\/uploads\/sites\/26\/2025\/08\/James-Davenport.jpg 474w\" sizes=\"(max-width: 214px) 100vw, 214px\" \/>\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-6e257af elementor-align-center elementor-icon-list--layout-traditional elementor-list-item-link-full_width elementor-widget elementor-widget-icon-list\" data-id=\"6e257af\" data-element_type=\"widget\" data-widget_type=\"icon-list.default\">\n\t\t\t\t\t\t\t<ul class=\"elementor-icon-list-items\">\n\t\t\t\t\t\t\t<li class=\"elementor-icon-list-item\">\n\t\t\t\t\t\t\t\t\t\t\t<a href=\"https:\/\/people.bath.ac.uk\/masjhd\/\">\n\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-icon-list-icon\">\n\t\t\t\t\t\t\t<svg aria-hidden=\"true\" class=\"e-font-icon-svg e-fas-globe\" viewBox=\"0 0 496 512\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\"><path d=\"M336.5 160C322 70.7 287.8 8 248 8s-74 62.7-88.5 152h177zM152 256c0 22.2 1.2 43.5 3.3 64h185.3c2.1-20.5 3.3-41.8 3.3-64s-1.2-43.5-3.3-64H155.3c-2.1 20.5-3.3 41.8-3.3 64zm324.7-96c-28.6-67.9-86.5-120.4-158-141.6 24.4 33.8 41.2 84.7 50 141.6h108zM177.2 18.4C105.8 39.6 47.8 92.1 19.3 160h108c8.7-56.9 25.5-107.8 49.9-141.6zM487.4 192H372.7c2.1 21 3.3 42.5 3.3 64s-1.2 43-3.3 64h114.6c5.5-20.5 8.6-41.8 8.6-64s-3.1-43.5-8.5-64zM120 256c0-21.5 1.2-43 3.3-64H8.6C3.2 212.5 0 233.8 0 256s3.2 43.5 8.6 64h114.6c-2-21-3.2-42.5-3.2-64zm39.5 96c14.5 89.3 48.7 152 88.5 152s74-62.7 88.5-152h-177zm159.3 141.6c71.4-21.2 129.4-73.7 158-141.6h-108c-8.8 56.9-25.6 107.8-50 141.6zM19.3 352c28.6 67.9 86.5 120.4 158 141.6-24.4-33.8-41.2-84.7-50-141.6h-108z\"><\/path><\/svg>\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-icon-list-text\">Webpage<\/span>\n\t\t\t\t\t\t\t\t\t\t\t<\/a>\n\t\t\t\t\t\t\t\t\t<\/li>\n\t\t\t\t\t\t<\/ul>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-89d48db elementor-widget elementor-widget-heading\" data-id=\"89d48db\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">ABSTRACT<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-dd1252a elementor-widget elementor-widget-text-editor\" data-id=\"dd1252a\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t\t\t\t\t\t<p>The EU AI Act is one of the most significant pieces of AI legislation in the world. This is accepted, even if reluctantly, by all in AI. What is not often realised is that this is written as product safety legislation, a point of view that is unfamiliar to many in AI.<\/p><p>Like other product safety legislation, it is written in fairly general terms, using words such as &#8220;unbiased&#8221;, leaving it to standards to describe what this actually means in detail. Again, this is unfamiliar to many in AI. We will therefore first look at the Act, and the European standardisation process. In particular, we will look at the various actors in this process.<\/p><p>Then we will ask what this has to do with Symbolic Computation: it is the general view that &#8220;Artificial Intelligence&#8221; as commonly understood, i.e. Machine Learning, has nothing to do with symbolic computation. &#8220;General&#8221;, but not &#8220;universal&#8221;. In fact, there is a community applying some of the tools of symbolic computation to prove (as opposed to claim, occasionally supported by statistics) facts about certain AI applications. In particular, this community asks, and partially answers, the &#8220;who shall verify the verifications&#8221; conundrum that the standard symbolic computation paradigm is also facing.<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-8c706e9 elementor-widget elementor-widget-heading\" data-id=\"8c706e9\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">SHORT BIO<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-0b87dae elementor-widget elementor-widget-text-editor\" data-id=\"0b87dae\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t\t\t\t\t\t<p>James Davenport did a PhD in computer algebra (integration) at Cambridge, then worked at IBM Research on what became Axiom. He also worked at Cambridge, Grenoble and Bath, and has been Hebron &amp; Medlock Professor of Information Technology at Bath since 1986. His Grenoble lecture notes contributed to \u201cCalcul Formel\u201d with Yvonne Siret and Evelyne Tournier, translated into English and Russian. He has been associated with SYNASC since 2019, and was awarded an Honorary Doctorate by UVT in 2019.<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>Symbolic Computation, Standardisation, and the EU AI Act James Davenport University of Bath, UK Webpage ABSTRACT The EU AI Act is one of the most significant pieces of AI legislation in the world. This is accepted, even if reluctantly, by all in AI. What is not often realised is that this is written as product [&hellip;]<\/p>\n","protected":false},"author":21,"featured_media":0,"parent":226,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-1266","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/synasc.ro\/2025\/wp-json\/wp\/v2\/pages\/1266","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/synasc.ro\/2025\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/synasc.ro\/2025\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2025\/wp-json\/wp\/v2\/users\/21"}],"replies":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2025\/wp-json\/wp\/v2\/comments?post=1266"}],"version-history":[{"count":4,"href":"https:\/\/synasc.ro\/2025\/wp-json\/wp\/v2\/pages\/1266\/revisions"}],"predecessor-version":[{"id":1271,"href":"https:\/\/synasc.ro\/2025\/wp-json\/wp\/v2\/pages\/1266\/revisions\/1271"}],"up":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2025\/wp-json\/wp\/v2\/pages\/226"}],"wp:attachment":[{"href":"https:\/\/synasc.ro\/2025\/wp-json\/wp\/v2\/media?parent=1266"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}