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/2020/newsitem/11826/27
 ---31-July-2020-Workshop-on-Natural-Formal-Mathema
 tics
DTSTAMP:20200518T144013
SUMMARY:Workshop on Natural Formal Mathematics
DTSTART;VALUE=DATE:20200727
DTEND;VALUE=DATE:20200731
LOCATION:Online
DESCRIPTION:In (pure) mathematics there has always
  existed a strong informal sense of "naturality". 
 "Natural" theories, notions, properties, or proofs
  are prefered over technical, convoluted, or count
 erintuitive approaches. If formal mathematics is t
 o become part of mainstream mathematics, its forma
 lizations and user experience have to become more 
 "natural". This workshop broadly addresses the iss
 ue of naturality in formal mathematics.  This work
 shop is part of the 13th Conference on Intelligent
  Computer Mathematics (CICM 2020).  We call for su
 bmissions of extended abstracts and demonstration 
 proposals presenting work related to the workshop'
 s theme. To promote Natural Formal Mathematics unf
 inished or exploratory work will also be welcome. 
 Details can be found on the webpage.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>In (pure)
  mathematics there has always existed a strong inf
 ormal sense of &quot;naturality&quot;. &quot;Natur
 al&quot; theories, notions, properties, or proofs 
 are prefered over technical, convoluted, or counte
 rintuitive approaches. If formal mathematics is to
  become part of mainstream mathematics, its formal
 izations and user experience have to become more &
 quot;natural&quot;. This workshop broadly addresse
 s the issue of naturality in formal mathematics.</
 p>\n\n  <p>This workshop is part of the 13th Confe
 rence on Intelligent Computer Mathematics (CICM 20
 20).</p>\n</div><div>\n  <p>We call for submission
 s of extended abstracts and demonstration proposal
 s presenting work related to the workshop's theme.
  To promote Natural Formal Mathematics unfinished 
 or exploratory work will also be welcome. Details 
 can be found on the webpage.</p>\n</div>
URL:https://cicm-conference.org/2020/cicm.php?even
 t=NFM
CONTACT:Florian Rabe at florian.rabe at fau.de
CONTACT:Peter Koepke at koepke at math.uni-bonn.de
END:VEVENT
END:VCALENDAR