{"id":210,"date":"2020-02-13T08:44:06","date_gmt":"2020-02-13T08:44:06","guid":{"rendered":"https:\/\/wp.software.imdea.org\/cbc\/?page_id=210"},"modified":"2021-01-24T17:29:33","modified_gmt":"2021-01-24T17:29:33","slug":"assorted-resources","status":"publish","type":"page","link":"https:\/\/wp.software.imdea.org\/cbc\/assorted-resources\/","title":{"rendered":"Assorted resources"},"content":{"rendered":"\n<p>A collection of&nbsp;<a href=\"http:\/\/www.cs.tau.ac.il\/~nachumd\/horror.html\">Software horror stories<\/a>. It is somewhat outdated, but news about bugs and malfunctions are so frequent that it is impossible to be up to date.<\/p>\n\n\n\n<hr class=\"wp-block-separator has-text-color has-background has-medium-brown-background-color has-medium-brown-color is-style-default\" \/>\n\n\n\n<div class=\"wp-block-columns is-layout-flex wp-container-core-columns-is-layout-9d6595d7 wp-block-columns-is-layout-flex\">\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\" style=\"flex-basis:66.66%\">\n<figure class=\"wp-block-audio\"><audio controls src=\"https:\/\/d1le29qyzha1u4.cloudfront.net\/AWS_Podcast_Episode_306.mp3\"><\/audio><\/figure>\n\n\n\n<p class=\"has-normal-font-size\"><em><span class=\"has-inline-color has-dark-red-color\">An interview with Moshe Vardi in the&nbsp;<strong>Provable Security<\/strong>&nbsp;podcast of Amazon. Moshe Vardi is one of the greatest researchers in automated reasoning. He also has one of the most revered moustaches in Computer Science.<\/span><\/em><\/p>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-vertically-aligned-center is-layout-flow wp-block-column-is-layout-flow\" style=\"flex-basis:33.33%\">\n<figure class=\"wp-block-image size-large is-resized\"><a href=\"https:\/\/www.cs.rice.edu\/~vardi\/\" target=\"_blank\" rel=\"noreferrer noopener\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/wp.software.imdea.org\/cbc\/wp-content\/uploads\/sites\/5\/2020\/01\/moshe_vardi.jpg\" alt=\"Moshe Vardi\" class=\"wp-image-84\" width=\"128\" height=\"149\" \/><\/a><\/figure>\n<\/div>\n<\/div>\n\n\n\n<hr class=\"wp-block-separator has-text-color has-background has-medium-brown-background-color has-medium-brown-color is-style-default\" \/>\n\n\n\n<div class=\"wp-block-columns is-layout-flex wp-container-core-columns-is-layout-9d6595d7 wp-block-columns-is-layout-flex\">\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<p><em><span class=\"has-inline-color has-dark-red-color\">The Ariane 5 incident is one of the most famous and better studied effects of a software glitch, caused by a mismatch between (changing) specifications and software design. A comprehensive view of the relationship between them could have avoided this and other pitfalls.<\/span><\/em><\/p>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<figure class=\"wp-block-video\"><video height=\"576\" style=\"aspect-ratio: 720 \/ 576;\" width=\"720\" controls src=\"https:\/\/wp.software.imdea.org\/cbc\/wp-content\/uploads\/sites\/5\/2020\/02\/ariane5.mp4\"><\/video><\/figure>\n<\/div>\n<\/div>\n\n\n\n<hr class=\"wp-block-separator has-text-color has-background has-medium-brown-background-color has-medium-brown-color is-style-default\" \/>\n\n\n\n<div class=\"wp-block-columns is-layout-flex wp-container-core-columns-is-layout-9d6595d7 wp-block-columns-is-layout-flex\">\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<p class=\"has-dark-red-color has-text-color\"><em><span class=\"has-inline-color has-dark-red-color\">This talk, delivered by Moshe Vardi with the occasion of the World Day of Logic on January 14th, 2021, is interesting not only because of the historical accounts, but also because it presents several of the reasons why logic has the shape it has today.<\/span><\/em><\/p>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<figure class=\"wp-block-embed-youtube wp-block-embed is-type-video is-provider-youtube wp-embed-aspect-16-9 wp-has-aspect-ratio\"><div class=\"wp-block-embed__wrapper\">\n<iframe loading=\"lazy\" title=\"Moshe Vardi World Logic Day Webinar, From Aristotle to the iPhone\" width=\"840\" height=\"473\" src=\"https:\/\/www.youtube.com\/embed\/wOQuW6QFdos?feature=oembed\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture\" allowfullscreen><\/iframe>\n<\/div><\/figure>\n<\/div>\n<\/div>\n\n\n\n<hr class=\"wp-block-separator has-text-color has-background has-medium-brown-background-color has-medium-brown-color is-style-default\" \/>\n","protected":false},"excerpt":{"rendered":"<p>A collection of&nbsp;Software horror stories. It is somewhat outdated, but news about bugs and malfunctions are so frequent that it is impossible to be up to date. An interview with Moshe Vardi in the&nbsp;Provable Security&nbsp;podcast of Amazon. Moshe Vardi is one of the greatest researchers in automated reasoning. He also has one of the most &hellip; <a href=\"https:\/\/wp.software.imdea.org\/cbc\/assorted-resources\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;Assorted resources&#8221;<\/span><\/a><\/p>\n","protected":false},"author":4,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_coblocks_attr":"","_coblocks_dimensions":"","_coblocks_responsive_height":"","_coblocks_accordion_ie_support":"","ngg_post_thumbnail":0,"footnotes":""},"class_list":["post-210","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/wp.software.imdea.org\/cbc\/wp-json\/wp\/v2\/pages\/210","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/wp.software.imdea.org\/cbc\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/wp.software.imdea.org\/cbc\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/wp.software.imdea.org\/cbc\/wp-json\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/wp.software.imdea.org\/cbc\/wp-json\/wp\/v2\/comments?post=210"}],"version-history":[{"count":28,"href":"https:\/\/wp.software.imdea.org\/cbc\/wp-json\/wp\/v2\/pages\/210\/revisions"}],"predecessor-version":[{"id":429,"href":"https:\/\/wp.software.imdea.org\/cbc\/wp-json\/wp\/v2\/pages\/210\/revisions\/429"}],"wp:attachment":[{"href":"https:\/\/wp.software.imdea.org\/cbc\/wp-json\/wp\/v2\/media?parent=210"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}