Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

7 July 2017, LOGIC in computer science and engineering, Yuri Gurevich

Speaker: Yuri Gurevich (Microsoft Research)
Date: Friday 7 July 2017
Time: 16:00-17:30
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam

LOGIC in computer science and engineering -- Y. Gurevich

In software industry, engineers do formal logic day in and day out, even though they may not realize that. As a rule, they have not studied logic. Instead, they spent a lot of time studying calculus which they use rarely, if ever. I'll try to illustrate why logic is so relevant and why it is hard for software engineers to pick it up.

For more information, contact Maria Aloni at .

Please note that this newsitem has been archived, and may contain outdated information or links.