|Date: Tuesday, October 10, 2017
Location: 1360 East Hall (4:10 PM to 5:00 PM)
Title: Logic in computing
Abstract: In the software industry, engineers do formal logic day in and day out, whether they realize that or not. As a rule, they did not study logic. Instead, they studied calculus which they use rarely, if ever.
I will try to illustrate why logic is so relevant to software engineering and why it is hard for software engineers to pick it up. I will speak also about logic applications in computer science, computer engineering and, time permitting, mathematics.
Speaker: Yuri Gurevich
Institution: Microsoft Research