/ The Debate that Changed Programming: A Living History of Computing’s Famous Collaboration

The Debate that Changed Programming: A Living History of Computing’s Famous Collaboration

January 1, 1970
12:00 am - 12:00 am
Date: 
Thursday, June 17, 2021 – 19:00 to 20:30
Location: 
Virtual
Summary Sentence: 
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.

A 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. It 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.

Url: 
https://primetime.bluejeans.com/a2m/register/ytjgtuwd
Event Categories: