Seminar Event Detail

Colloquium Series

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

Event Organizer:     


Edit this event (login required).
Add new event (login required).
For access requests and instructions, contact

Back to previous page
Back to UM Math seminars/events page.