Skip to Content

Sponsors

No results

Tags

No results

Types

No results

Search Results

Events

No results
Search events using: keywords, sponsors, locations or event type
When / Where
All occurrences of this event have passed.
This listing is displayed for historical purposes.

Presented By: Department of Mathematics

Colloquium Series Seminar

Logic in computing

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(s): Yuri Gurevich (Microsoft Research)

Explore Similar Events

  •  Loading Similar Events...

Back to Main Content