BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2017/newsitem/9182/7-J
 uly-2017-LOGIC-in-computer-science-and-engineering
 -Yuri-Gurevich
DTSTAMP:20170702T182320
SUMMARY:LOGIC in computer science and engineering,
  Yuri Gurevich
ATTENDEE;ROLE=Speaker:Yuri Gurevich (Microsoft Res
 earch)
DTSTART;TZID=Europe/Amsterdam:20170707T160000
DTEND;TZID=Europe/Amsterdam:20170707T173000
LOCATION:ILLC seminar room F1.15, Science Park 107
 , Amsterdam
DESCRIPTION:LOGIC in computer science and engineer
 ing -- Y. Gurevich   In software industry, enginee
 rs do formal logic day in and day out, even though
  they may not realize that. As a rule, they have n
 ot studied logic. Instead, they spent a lot of tim
 e 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.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>LOGIC in compu
 ter science and engineering -- Y. Gurevich<br>\n  
 <br>\n  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 lo
 gic. Instead, they spent a lot of time studying ca
 lculus 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.</p>\n
URL:/NewsandEvents/Archives/2017/newsitem/9182/7-J
 uly-2017-LOGIC-in-computer-science-and-engineering
 -Yuri-Gurevich
CONTACT:Maria Aloni at m.d.aloni at uva.nl
END:VEVENT
END:VCALENDAR