{"id":5530,"global_id":"datascience.unifi.it?id=5530","global_id_lineage":["datascience.unifi.it?id=5530"],"author":"12","status":"publish","date":"2023-05-18 10:16:00","date_utc":"2023-05-18 08:16:00","modified":"2023-05-18 10:16:00","modified_utc":"2023-05-18 08:16:00","url":"https:\/\/datascience.unifi.it\/index.php\/event\/disia-seminar-15\/","rest_url":"https:\/\/datascience.unifi.it\/index.php\/wp-json\/tribe\/events\/v1\/events\/5530","title":"DiSIA Seminar","description":"<p><span style=\"text-decoration: underline;\">Speaker:<\/span> Matteo Mio &#8211; CNRS, ENS-Lyon<\/p>\n<p><span style=\"text-decoration: underline;\">Title:<\/span><em> An introduction to Quantitative Algebras<\/em><\/p>\n<p><span style=\"text-decoration: underline;\">Abstract:<\/span><\/p>\n<p>Equational reasoning and equational manipulations are widespread in all areas of computer science. Consider, for example, the optimisation steps performed by a compiler which replaces blocks of code with &#8220;equivalent&#8221;, but more efficient, blocks. In recent years it has become apparent that sometimes &#8220;approximate&#8221; equational reasoning techniques are useful and\/or necessary. A block of code might be replaced by another block which is not truly equivalent but, say, equivalent 99% of the time (in a certain statistical sense). In this talk I will present the basic ideas of the mathematical framework of &#8220;Quantitative Algebras&#8221;, recently proposed by Mardare et. al. in [1], aiming at formally developing some of the intuitions mentioned above.<\/p>\n<p>[1] Radu Mardare, Prakash Panangaden, and Gordon Plotkin. 2016. Quantitative Algebraic Reasoning. In Proceedings of the 31st Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS 2016). Association for Computing Machinery, New York, NY, USA, 700\u2013709. <a href=\"https:\/\/doi.org\/10.1145\/2933575.2934518\">https:\/\/doi.org\/10.1145\/2933575.2934518<\/a><\/p>","excerpt":"","slug":"disia-seminar-15","image":{"url":"https:\/\/datascience.unifi.it\/wp-content\/uploads\/2023\/02\/logo-DISIA_ECCELLENZa-e1675944756959.png","id":5065,"extension":"png","width":546,"height":262,"sizes":{"medium":{"width":300,"height":144,"mime-type":"image\/png","url":"https:\/\/datascience.unifi.it\/wp-content\/uploads\/2023\/02\/logo-DISIA_ECCELLENZa-300x144.png"},"large":{"width":1024,"height":492,"mime-type":"image\/png","url":"https:\/\/datascience.unifi.it\/wp-content\/uploads\/2023\/02\/logo-DISIA_ECCELLENZa-1024x492.png"},"thumbnail":{"width":150,"height":150,"mime-type":"image\/png","url":"https:\/\/datascience.unifi.it\/wp-content\/uploads\/2023\/02\/logo-DISIA_ECCELLENZa-150x150.png"},"medium_large":{"width":768,"height":369,"mime-type":"image\/png","url":"https:\/\/datascience.unifi.it\/wp-content\/uploads\/2023\/02\/logo-DISIA_ECCELLENZa-768x369.png"},"1536x1536":{"width":1536,"height":738,"mime-type":"image\/png","url":"https:\/\/datascience.unifi.it\/wp-content\/uploads\/2023\/02\/logo-DISIA_ECCELLENZa-1536x738.png"},"2048x2048":{"width":2048,"height":985,"mime-type":"image\/png","url":"https:\/\/datascience.unifi.it\/wp-content\/uploads\/2023\/02\/logo-DISIA_ECCELLENZa-2048x985.png"},"onepress-blog-small":{"width":300,"height":150,"mime-type":"image\/png","url":"https:\/\/datascience.unifi.it\/wp-content\/uploads\/2023\/02\/logo-DISIA_ECCELLENZa-300x150.png"},"onepress-small":{"width":480,"height":300,"mime-type":"image\/png","url":"https:\/\/datascience.unifi.it\/wp-content\/uploads\/2023\/02\/logo-DISIA_ECCELLENZa-480x300.png"},"onepress-medium":{"width":640,"height":400,"mime-type":"image\/png","url":"https:\/\/datascience.unifi.it\/wp-content\/uploads\/2023\/02\/logo-DISIA_ECCELLENZa-640x400.png"}}},"all_day":false,"start_date":"2023-06-05 14:00:00","start_date_details":{"year":"2023","month":"06","day":"05","hour":"14","minutes":"00","seconds":"00"},"end_date":"2023-06-05 15:00:00","end_date_details":{"year":"2023","month":"06","day":"05","hour":"15","minutes":"00","seconds":"00"},"utc_start_date":"2023-06-05 12:00:00","utc_start_date_details":{"year":"2023","month":"06","day":"05","hour":"12","minutes":"00","seconds":"00"},"utc_end_date":"2023-06-05 13:00:00","utc_end_date_details":{"year":"2023","month":"06","day":"05","hour":"13","minutes":"00","seconds":"00"},"timezone":"Europe\/Rome","timezone_abbr":"CEST","cost":"","cost_details":{"currency_symbol":"","currency_code":"","currency_position":"prefix","values":[]},"website":"https:\/\/local.disia.unifi.it\/abstract-seminari.php#abs335","show_map":true,"show_map_link":true,"hide_from_listings":false,"sticky":false,"featured":false,"categories":[{"name":"Seminar","slug":"seminar","term_group":0,"term_taxonomy_id":35,"taxonomy":"tribe_events_cat","description":"","parent":0,"count":97,"filter":"raw","id":35,"urls":{"self":"https:\/\/datascience.unifi.it\/index.php\/wp-json\/tribe\/events\/v1\/categories\/35","collection":"https:\/\/datascience.unifi.it\/index.php\/wp-json\/tribe\/events\/v1\/categories"}}],"tags":[],"venue":{"id":1823,"author":"4","status":"publish","date":"2019-06-11 20:58:55","date_utc":"2019-06-11 18:58:55","modified":"2019-06-11 20:58:55","modified_utc":"2019-06-11 18:58:55","url":"https:\/\/datascience.unifi.it\/index.php\/venue\/disia-viale-morgagni-59\/","venue":"DiSIA, viale Morgagni 59","slug":"disia-viale-morgagni-59","address":"Viale Morgagni 59","city":"Firenze","country":"Italy","json_ld":{"@type":"Place","name":"DiSIA, viale Morgagni 59","description":"","url":"","address":{"@type":"PostalAddress","streetAddress":"Viale Morgagni 59","addressLocality":"Firenze","addressCountry":"Italy"},"telephone":"","sameAs":""},"show_map":true,"show_map_link":true,"global_id":"datascience.unifi.it?id=1823","global_id_lineage":["datascience.unifi.it?id=1823"]},"organizer":[{"id":4130,"author":"1","status":"publish","date":"2022-03-24 11:21:09","date_utc":"2022-03-24 10:21:09","modified":"2023-03-06 12:35:01","modified_utc":"2023-03-06 11:35:01","url":"https:\/\/datascience.unifi.it\/index.php\/organizer\/disia\/","organizer":"DISIA","slug":"disia","website":"https:\/\/www.disia.unifi.it\/","json_ld":{"@type":"Person","name":"DISIA","description":"","url":"https:\/\/www.disia.unifi.it\/","telephone":"","email":"","sameAs":"https:\/\/www.disia.unifi.it\/"},"global_id":"datascience.unifi.it?id=4130","global_id_lineage":["datascience.unifi.it?id=4130"]}],"custom_fields":[],"json_ld":{"@context":"http:\/\/schema.org","@type":"Event","name":"DiSIA Seminar","description":"&lt;p&gt;Speaker: Matteo Mio - CNRS, ENS-Lyon Title: An introduction to Quantitative Algebras Abstract: Equational reasoning and equational manipulations are widespread in all areas of computer science. Consider, for example, the ...&lt;\/p&gt;\\n","image":"https:\/\/datascience.unifi.it\/wp-content\/uploads\/2023\/02\/logo-DISIA_ECCELLENZa-e1675944756959.png","url":"https:\/\/datascience.unifi.it\/index.php\/event\/disia-seminar-15\/","eventAttendanceMode":"https:\/\/schema.org\/OfflineEventAttendanceMode","eventStatus":"https:\/\/schema.org\/EventScheduled","startDate":"2023-06-05T14:00:00+02:00","endDate":"2023-06-05T15:00:00+02:00","location":{"@type":"Place","name":"DiSIA, viale Morgagni 59","description":"","url":"","address":{"@type":"PostalAddress","streetAddress":"Viale Morgagni 59","addressLocality":"Firenze","addressCountry":"Italy"},"telephone":"","sameAs":""},"organizer":{"@type":"Person","name":"DISIA","description":"","url":"https:\/\/www.disia.unifi.it\/","telephone":"","email":"","sameAs":"https:\/\/www.disia.unifi.it\/"},"performer":"Organization"}}