{"id":5138,"date":"2023-03-02T15:16:02","date_gmt":"2023-03-02T14:16:02","guid":{"rendered":"https:\/\/umi.dm.unibo.it\/congresso2023\/?page_id=5138"},"modified":"2023-09-07T09:55:01","modified_gmt":"2023-09-07T07:55:01","slug":"ss3-matematica-per-lintelligenza-artificiale-e-il-machine-learning","status":"publish","type":"page","link":"https:\/\/umi.dm.unibo.it\/congresso2023\/programma\/sezioni-speciali\/ss3-matematica-per-lintelligenza-artificiale-e-il-machine-learning\/","title":{"rendered":"SS3 \u2013 Matematica per l\u2019Intelligenza Artificiale e il Machine Learning"},"content":{"rendered":"

Le conferenze si terranno nei giorni
\n– mercoled\u00ec 6 settembre presso il Polo Carmignani, Aula 2
\n– gioved\u00ec 7 settembre presso il Polo Carmignani, Aula 2
\n– venerd\u00ec 8 settembre presso il Polo Fibonacci, Aula F1<\/strong><\/p>\n\n\n\n\n\n<\/colgroup>\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
Gianluca<\/td>\nAmato<\/td>\nUniversit\u00e0 di Chieti-Pescara<\/td>\nDeep Reinforcement Learning for Theorem Proving<\/td>\nore 12.00-12.20, mercoled\u00ec 6 settembre<\/td>\n<\/tr>\n
Claudio<\/td>\nCanuto<\/td>\nPolitecnico di Torino<\/td>\nVariational Physics-Informed Neural Networks in the discretization of elliptic problems<\/td>\nore 14.30-15.10, venerd\u00ec 8 settembre<\/td>\n<\/tr>\n
Silvia<\/td>\nCrafa<\/td>\nUniversit\u00e0 di Padova<\/td>\nPower and limits of Formal Methods in AI<\/td>\nore 12.20-12.40, mercoled\u00ec 6 settembre<\/td>\n<\/tr>\n
Ernesto<\/td>\nDe Vito<\/td>\nUniversit\u00e0 di Genova<\/td>\nUnderstanding Neural Networkswith Reproducing Kernel Banach Spaces<\/td>\nore 15.30-16.10, venerd\u00ec 8 settembre<\/td>\n<\/tr>\n
Patrizio<\/td>\nFrosini<\/td>\nUniversit\u00e0 di Bologna<\/td>\nDallo studio dell’insieme dei dati all\u2019analisi dello spazio degli osservatori: come la geometria degli operatori equivarianti non espansivi pu\u00f2 aiutarci nell\u2019interpretazione delle informazioni<\/td>\nore 12.00-12.20, gioved\u00ec 7 settembre<\/td>\n<\/tr>\n
Silvio<\/td>\nGhilardi<\/td>\nUniversit\u00e0 di Milano<\/td>\nInsegnare Logica per l\u2019Intelligenza Artificiale: un\u2019esperienza didattica<\/td>\nore 12.40-13.00, mercoled\u00ec 6 settembre<\/td>\n<\/tr>\n
Gian Paolo<\/td>\nLeonardi<\/td>\nUniversit\u00e0 di Trento<\/td>\nRate-convergence, smoothing schedules, and the training of quantised DNNs<\/td>\nore 16.10-16.30, venerd\u00ec 8 settembre<\/td>\n<\/tr>\n
Francesco<\/td>\nMorandin<\/td>\nUniversit\u00e0 di Parma<\/td>\nMCTS, AlphaGo and Mathematics<\/td>\nore 11.00-11.40, gioved\u00ec 7 settembre<\/td>\n<\/tr>\n
Sara<\/td>\nNegri<\/td>\nUniversit\u00e0 di Genova<\/td>\nProofs and refutations by construction<\/td>\nore 11.00-11.40, mercoled\u00ec 6 settembre<\/td>\n<\/tr>\n
Maurizio<\/td>\nParton<\/td>\nUniversit\u00e0 di Chieti-Pescara<\/td>\ndeep reinforcement learning and mathematics<\/td>\nore 11.40-12.00, gioved\u00ec 7 settembre<\/td>\n<\/tr>\n
Silvia<\/td>\nVilla<\/td>\nUniversit\u00e0 di Genova<\/td>\nZeroth order optimization with structured directions<\/td>\nore 12.20-12.40, gioved\u00ec 7 settembre<\/td>\n<\/tr>\n
Luca<\/td>\nZanni<\/td>\nUniversit\u00e0 di Modena e Reggio Emilia<\/td>\nMetodi del gradiente stocastico per problemi di ottimizzazione nel machine learning<\/td>\nore 12.40-13.00, gioved\u00ec 7 settembre<\/td>\n<\/tr>\n
Margherita<\/td>\nZorzi<\/td>\nUniversit\u00e0 di Verona<\/td>\nModalit\u00e0, conoscenza e teoria della dimostrazione<\/td>\nore 11.40-12.00, mercoled\u00ec 6 settembre<\/td>\n<\/tr>\n
Paolo<\/td>\nZunino<\/td>\nMOX, Politecnico di Milano<\/td>\nA deep learning approach to reduced order modelling of parameter dependent PDEs<\/td>\nore 15.10-15.30, venerd\u00ec 8 settembre<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n","protected":false},"excerpt":{"rendered":"

Le conferenze si terranno nei giorni – mercoled\u00ec 6 settembre presso il Polo Carmignani, Aula 2 – gioved\u00ec 7 settembre presso il Polo Carmignani, Aula 2 – venerd\u00ec 8 settembre presso il Polo Fibonacci, Aula F1 Gianluca Amato Universit\u00e0 di Chieti-Pescara Deep Reinforcement Learning for Theorem Proving ore 12.00-12.20, mercoled\u00ec 6 settembre Claudio Canuto Politecnico […]<\/p>\n","protected":false},"author":3,"featured_media":0,"parent":1109,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"yoast_head":"\nSS3 \u2013 Matematica per l\u2019Intelligenza Artificiale e il Machine Learning - Congresso UMI 2023<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/umi.dm.unibo.it\/congresso2023\/programma\/sezioni-speciali\/ss3-matematica-per-lintelligenza-artificiale-e-il-machine-learning\/\" \/>\n<meta property=\"og:locale\" content=\"it_IT\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"SS3 \u2013 Matematica per l\u2019Intelligenza Artificiale e il Machine Learning - Congresso UMI 2023\" \/>\n<meta property=\"og:description\" content=\"Le conferenze si terranno nei giorni – mercoled\u00ec 6 settembre presso il Polo Carmignani, Aula 2 – gioved\u00ec 7 settembre presso il Polo Carmignani, Aula 2 – venerd\u00ec 8 settembre presso il Polo Fibonacci, Aula F1 Gianluca Amato Universit\u00e0 di Chieti-Pescara Deep Reinforcement Learning for Theorem Proving ore 12.00-12.20, mercoled\u00ec 6 settembre Claudio Canuto Politecnico […]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/umi.dm.unibo.it\/congresso2023\/programma\/sezioni-speciali\/ss3-matematica-per-lintelligenza-artificiale-e-il-machine-learning\/\" \/>\n<meta property=\"og:site_name\" content=\"Congresso UMI 2023\" \/>\n<meta property=\"article:modified_time\" content=\"2023-09-07T07:55:01+00:00\" \/>\n<meta name=\"twitter:label1\" content=\"Tempo di lettura stimato\" \/>\n\t<meta name=\"twitter:data1\" content=\"2 minuti\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/umi.dm.unibo.it\/congresso2023\/programma\/sezioni-speciali\/ss3-matematica-per-lintelligenza-artificiale-e-il-machine-learning\/\",\"url\":\"https:\/\/umi.dm.unibo.it\/congresso2023\/programma\/sezioni-speciali\/ss3-matematica-per-lintelligenza-artificiale-e-il-machine-learning\/\",\"name\":\"SS3 \u2013 Matematica per l\u2019Intelligenza Artificiale e il Machine Learning - Congresso UMI 2023\",\"isPartOf\":{\"@id\":\"https:\/\/umi.dm.unibo.it\/congresso2023\/#website\"},\"datePublished\":\"2023-03-02T14:16:02+00:00\",\"dateModified\":\"2023-09-07T07:55:01+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/umi.dm.unibo.it\/congresso2023\/programma\/sezioni-speciali\/ss3-matematica-per-lintelligenza-artificiale-e-il-machine-learning\/#breadcrumb\"},\"inLanguage\":\"it-IT\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/umi.dm.unibo.it\/congresso2023\/programma\/sezioni-speciali\/ss3-matematica-per-lintelligenza-artificiale-e-il-machine-learning\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/umi.dm.unibo.it\/congresso2023\/programma\/sezioni-speciali\/ss3-matematica-per-lintelligenza-artificiale-e-il-machine-learning\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/umi.dm.unibo.it\/congresso2023\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Programma\",\"item\":\"https:\/\/umi.dm.unibo.it\/congresso2023\/programma\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Sezioni speciali\",\"item\":\"https:\/\/umi.dm.unibo.it\/congresso2023\/programma\/sezioni-speciali\/\"},{\"@type\":\"ListItem\",\"position\":4,\"name\":\"SS3 \u2013 Matematica per l\u2019Intelligenza Artificiale e il Machine Learning\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/umi.dm.unibo.it\/congresso2023\/#website\",\"url\":\"https:\/\/umi.dm.unibo.it\/congresso2023\/\",\"name\":\"Congresso UMI 2023\",\"description\":\"Un nuovo sito targato WordPress\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/umi.dm.unibo.it\/congresso2023\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"it-IT\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"SS3 \u2013 Matematica per l\u2019Intelligenza Artificiale e il Machine Learning - Congresso UMI 2023","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/umi.dm.unibo.it\/congresso2023\/programma\/sezioni-speciali\/ss3-matematica-per-lintelligenza-artificiale-e-il-machine-learning\/","og_locale":"it_IT","og_type":"article","og_title":"SS3 \u2013 Matematica per l\u2019Intelligenza Artificiale e il Machine Learning - Congresso UMI 2023","og_description":"Le conferenze si terranno nei giorni – mercoled\u00ec 6 settembre presso il Polo Carmignani, Aula 2 – gioved\u00ec 7 settembre presso il Polo Carmignani, Aula 2 – venerd\u00ec 8 settembre presso il Polo Fibonacci, Aula F1 Gianluca Amato Universit\u00e0 di Chieti-Pescara Deep Reinforcement Learning for Theorem Proving ore 12.00-12.20, mercoled\u00ec 6 settembre Claudio Canuto Politecnico […]","og_url":"https:\/\/umi.dm.unibo.it\/congresso2023\/programma\/sezioni-speciali\/ss3-matematica-per-lintelligenza-artificiale-e-il-machine-learning\/","og_site_name":"Congresso UMI 2023","article_modified_time":"2023-09-07T07:55:01+00:00","twitter_misc":{"Tempo di lettura stimato":"2 minuti"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/umi.dm.unibo.it\/congresso2023\/programma\/sezioni-speciali\/ss3-matematica-per-lintelligenza-artificiale-e-il-machine-learning\/","url":"https:\/\/umi.dm.unibo.it\/congresso2023\/programma\/sezioni-speciali\/ss3-matematica-per-lintelligenza-artificiale-e-il-machine-learning\/","name":"SS3 \u2013 Matematica per l\u2019Intelligenza Artificiale e il Machine Learning - Congresso UMI 2023","isPartOf":{"@id":"https:\/\/umi.dm.unibo.it\/congresso2023\/#website"},"datePublished":"2023-03-02T14:16:02+00:00","dateModified":"2023-09-07T07:55:01+00:00","breadcrumb":{"@id":"https:\/\/umi.dm.unibo.it\/congresso2023\/programma\/sezioni-speciali\/ss3-matematica-per-lintelligenza-artificiale-e-il-machine-learning\/#breadcrumb"},"inLanguage":"it-IT","potentialAction":[{"@type":"ReadAction","target":["https:\/\/umi.dm.unibo.it\/congresso2023\/programma\/sezioni-speciali\/ss3-matematica-per-lintelligenza-artificiale-e-il-machine-learning\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/umi.dm.unibo.it\/congresso2023\/programma\/sezioni-speciali\/ss3-matematica-per-lintelligenza-artificiale-e-il-machine-learning\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/umi.dm.unibo.it\/congresso2023\/"},{"@type":"ListItem","position":2,"name":"Programma","item":"https:\/\/umi.dm.unibo.it\/congresso2023\/programma\/"},{"@type":"ListItem","position":3,"name":"Sezioni speciali","item":"https:\/\/umi.dm.unibo.it\/congresso2023\/programma\/sezioni-speciali\/"},{"@type":"ListItem","position":4,"name":"SS3 \u2013 Matematica per l\u2019Intelligenza Artificiale e il Machine Learning"}]},{"@type":"WebSite","@id":"https:\/\/umi.dm.unibo.it\/congresso2023\/#website","url":"https:\/\/umi.dm.unibo.it\/congresso2023\/","name":"Congresso UMI 2023","description":"Un nuovo sito targato WordPress","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/umi.dm.unibo.it\/congresso2023\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"it-IT"}]}},"_links":{"self":[{"href":"https:\/\/umi.dm.unibo.it\/congresso2023\/wp-json\/wp\/v2\/pages\/5138"}],"collection":[{"href":"https:\/\/umi.dm.unibo.it\/congresso2023\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/umi.dm.unibo.it\/congresso2023\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/umi.dm.unibo.it\/congresso2023\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/umi.dm.unibo.it\/congresso2023\/wp-json\/wp\/v2\/comments?post=5138"}],"version-history":[{"count":11,"href":"https:\/\/umi.dm.unibo.it\/congresso2023\/wp-json\/wp\/v2\/pages\/5138\/revisions"}],"predecessor-version":[{"id":6099,"href":"https:\/\/umi.dm.unibo.it\/congresso2023\/wp-json\/wp\/v2\/pages\/5138\/revisions\/6099"}],"up":[{"embeddable":true,"href":"https:\/\/umi.dm.unibo.it\/congresso2023\/wp-json\/wp\/v2\/pages\/1109"}],"wp:attachment":[{"href":"https:\/\/umi.dm.unibo.it\/congresso2023\/wp-json\/wp\/v2\/media?parent=5138"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}