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/8730/10-
 --14-July-2017-Workshop-on-Computer-aided-mathemat
 ical-proof-Cambridge-England
DTSTAMP:20170306T015825
SUMMARY:Workshop on Computer-aided mathematical pr
 oof, Cambridge, England
DTSTART;VALUE=DATE:20170710
DTEND;VALUE=DATE:20170714
LOCATION:Cambridge, England
DESCRIPTION:This event is part of the activities f
 or the programme on Big proof (26 June - 4 August 
 2017). The workshop brings together mathematicians
  interested in employing proof technology in their
  research, logicians exploring pragmatic and found
 ational issues in the formalisation of mathematics
 , and computer scientists engaged in developing an
 d applying proof technology. It will explore found
 ational, theoretical, and practical challenges in 
 exploiting proof technology to transform mathemati
 cal practice across a range of scientific and engi
 neering disciplines.  Closing date for application
 s: 8 April.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>This event is 
 part of the activities for the programme on Big pr
 oof (26 June - 4 August 2017). The workshop brings
  together mathematicians interested in employing p
 roof technology in their research, logicians explo
 ring pragmatic and foundational issues in the form
 alisation of mathematics, and computer scientists 
 engaged in developing and applying proof technolog
 y. It will explore foundational, theoretical, and 
 practical challenges in exploiting proof technolog
 y to transform mathematical practice across a rang
 e of scientific and engineering disciplines.</p>\n
 \n  <p>Closing date for applications: 8 April.</p>
 \n
URL:https://www.newton.ac.uk/event/bprw01
END:VEVENT
END:VCALENDAR