BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Conferences/newsitem/873
0/10---14-July-2017-Workshop-on-Computer-aided-mat
hematical-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 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.

\n
\n Closing date for applications: 8 April.

\n
URL:https://www.newton.ac.uk/event/bprw01
END:VEVENT
END:VCALENDAR