{"647974":{"#nid":"647974","#data":{"type":"event","title":"The Debate that Changed Programming:  A Living History of Computing\u2019s Famous Collaboration","body":[{"value":"\u003Cp\u003EA quarter century into the modern era of computing, two young assistant professors joined forces with the legendary Alan Perlis, one of the founding fathers of American computer science, and would publish a paper challenging the conventional wisdom that computer programming should be formal and mathematical.\u003Cstrong\u003E\u0026nbsp;\u003C\/strong\u003EIt was a shot across the bow to Edsgar Dijkstra, Tony Hoare and many others who sought the certainty of mathematical proofs of software correctness. The paper would become a lightning rod for a debate that would continue for the better part of four decades. It moved federal funding patterns and was the backdrop for dramatic showdowns between formalists and pragmatists.\u003C\/p\u003E\r\n\r\n\u003Cp\u003ETwenty years later, those same assistant professors ended up in the College of Computing at Georgia Tech to continue their lifelong collaboration. One of them, W. Storey Professor of Computing \u003Cstrong\u003ERichard \u0026ldquo;Dick\u0026rdquo; Lipton\u003C\/strong\u003E was the first Georgia Tech computer scientist elected to the National Academy of Engineering. The other was \u003Cstrong\u003ERichard \u0026ldquo;Rich\u0026rdquo; DeMillo\u003C\/strong\u003E, who left his position as Chief Technology Officer at Hewlett-Packard to become the John P. Imlay Jr. Dean of Computing.\u003C\/p\u003E\r\n\r\n\u003Cp\u003ETheir seminal 1979 work, \u0026ldquo;\u003Ca href=\u0022https:\/\/www.cs.umd.edu\/~gasarch\/BLOGPAPERS\/social.pdf\u0022\u003ESocial Processes and Proofs of Theorems and Programs\u003C\/a\u003E,\u0026rdquo; is now part of a new collection of 46 classic papers in computer science published as a book this year from the MIT Press.\u0026nbsp;\u003Cem\u003EIdeas That Created the Future\u003C\/em\u003E\u0026nbsp;by Harvard Professor \u003Cstrong\u003EHarry Lewis\u003C\/strong\u003E spans the intellectual birth and growth of the field \u0026ndash; from Leibnitz and Boole to Knuth and RSA \u0026ndash; and covers the sweeping discoveries and advancements that have come to define computer science. As Lewis points out in his introductory essay, \u0026ldquo;The fact that some computer scientists still bristle when this paper is mentioned is testament to its dialectic force.\u0026rdquo;\u003C\/p\u003E\r\n\r\n\u003Cp\u003EThe College of Computing at Georgia Tech invites you to take part in a historical conversation between Rich DeMillo and Dick Lipton, two pioneers in computer science who helped shape a field that has come to reshape how we live every day.\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u003Ca href=\u0022https:\/\/primetime.bluejeans.com\/a2m\/register\/ytjgtuwd\u0022\u003EJoin the virtual fireside chat\u003C\/a\u003E, Thursday, June 17, 2021, at 7 PM ET, for this living history \u0026ndash; as told by the men who lived it \u0026ndash; and hear about the experiences and their roles in this turning point in computer science.\u003C\/p\u003E\r\n","summary":null,"format":"limited_html"}],"field_subtitle":"","field_summary":[{"value":"\u003Cp\u003EThe College of Computing at Georgia Tech invites you to take part in a historical conversation between Rich DeMillo and Dick Lipton, two pioneers in computer science who helped shape a field that has come to reshape how we live every day.\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u003Ca href=\u0022https:\/\/primetime.bluejeans.com\/a2m\/register\/ytjgtuwd\u0022\u003EJoin the virtual fireside chat\u003C\/a\u003E, Thursday, June 17, 2021, at 7 PM ET, for this living history \u0026ndash; as told by the men who lived it \u0026ndash; and hear about the experiences and their roles in a\u0026nbsp;turning point in the modern history of computer science.\u003C\/p\u003E\r\n","format":"limited_html"}],"field_summary_sentence":[{"value":"The College of Computing at Georgia Tech invites you to take part in a historical conversation between Rich DeMillo and Dick Lipton, two pioneers in computer science who helped shape a field that has come to reshape how we live every day."}],"uid":"27592","created_gmt":"2021-06-08 14:01:35","changed_gmt":"2021-06-08 14:08:05","author":"Joshua Preston","boilerplate_text":"","field_publication":"","field_article_url":"","field_event_time":{"event_time_start":"2021-06-17T20:00:00-04:00","event_time_end":"2021-06-17T21:30:00-04:00","event_time_end_last":"2021-06-17T21:30:00-04:00","gmt_time_start":"2021-06-18 00:00:00","gmt_time_end":"2021-06-18 01:30:00","gmt_time_end_last":"2021-06-18 01:30:00","rrule":null,"timezone":"America\/New_York"},"extras":[],"hg_media":{"647975":{"id":"647975","type":"image","title":"The Debate that Changed Programming:  A Living History of Computing\u2019s Famous Collaboration","body":null,"created":"1623161125","gmt_created":"2021-06-08 14:05:25","changed":"1623161125","gmt_changed":"2021-06-08 14:05:25","alt":"","file":{"fid":"245976","name":"Save_the_date_2021.06.17_living history_two mavericks2.jpg","image_path":"\/sites\/default\/files\/images\/Save_the_date_2021.06.17_living%20history_two%20mavericks2.jpg","image_full_path":"http:\/\/www.tlwarc.hg.gatech.edu\/\/sites\/default\/files\/images\/Save_the_date_2021.06.17_living%20history_two%20mavericks2.jpg","mime":"image\/jpeg","size":344950,"path_740":"http:\/\/www.tlwarc.hg.gatech.edu\/sites\/default\/files\/styles\/740xx_scale\/public\/images\/Save_the_date_2021.06.17_living%20history_two%20mavericks2.jpg?itok=1O35GCw-"}}},"media_ids":["647975"],"groups":[{"id":"47223","name":"College of Computing"},{"id":"50875","name":"School of Computer Science"}],"categories":[],"keywords":[],"core_research_areas":[],"news_room_topics":[],"event_categories":[{"id":"1795","name":"Seminar\/Lecture\/Colloquium"}],"invited_audience":[{"id":"78761","name":"Faculty\/Staff"},{"id":"78771","name":"Public"},{"id":"78751","name":"Undergraduate students"}],"affiliations":[],"classification":[],"areas_of_expertise":[],"news_and_recent_appearances":[],"phone":[],"contact":[],"email":[],"slides":[],"orientation":[],"userdata":""}}}