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/2021/newsitem/12842/26
 ---31-July-2021-Workshop-on-Natural-Formal-Mathema
 tics-NatFoM-2021-Virtual
DTSTAMP:20210624T180607
SUMMARY:Workshop on Natural Formal Mathematics (Na
 tFoM 2021), Virtual
DTSTART;VALUE=DATE:20210726
DTEND;VALUE=DATE:20210731
LOCATION:Virtual
DESCRIPTION:In mathematics there has always existe
 d a strong informal sense of "naturality". Natural
  theories, notions, properties, or proofs are pref
 ered over technical, convoluted, or counterintuiti
 ve approaches. If formal mathematics is to become 
 part of mainstream mathematics, its formalizations
  and user experience have to become more natural. 
 This workshop, following a first edition in 2020, 
 broadly addresses the issue of naturality in forma
 l mathematics.  NatFoM 2021 wil be held as part of
  the 14th Conference on Intelligent Computer Mathe
 matics (CICM 2021).. Invited speaker: Jeremy Aviga
 d.  We call for submissions of extended abstracts 
 (1 page) and demonstration proposals presenting wo
 rk related to the workshop's topics of interest. A
 ccepted abstracts can optionally be expanded to fu
 ll papers (4 to 15 pages) to be published in proce
 edings on ceur-ws.org. To promote Natural Formal M
 athematics, unfinished or exploratory work will al
 so be welcome. Extended abstracts and papers shoul
 d be formatted in LaTeX using the style onecolceur
 ws.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>In mathem
 atics there has always existed a strong informal s
 ense of &quot;naturality&quot;. Natural theories, 
 notions, properties, or proofs are prefered over t
 echnical, convoluted, or counterintuitive approach
 es. If formal mathematics is to become part of mai
 nstream mathematics, its formalizations and user e
 xperience have to become more natural. This worksh
 op, following a first edition in 2020, broadly add
 resses the issue of naturality in formal mathemati
 cs.</p>\n\n  <p>NatFoM 2021 wil be held as part of
  the 14th Conference on Intelligent Computer Mathe
 matics (CICM 2021).. Invited speaker: Jeremy Aviga
 d.</p>\n</div><div>\n  <p>We call for submissions 
 of extended abstracts (1 page) and demonstration p
 roposals presenting work related to the workshop's
  topics of interest. Accepted abstracts can option
 ally be expanded to full papers (4 to 15 pages) to
  be published in proceedings on ceur-ws.org. To pr
 omote Natural Formal Mathematics, unfinished or ex
 ploratory work will also be welcome. Extended abst
 racts and papers should be formatted in LaTeX usin
 g the style onecolceurws.</p>\n</div>
URL:https://cicm-conference.org/2021/cicm.php?even
 t=NFM
END:VEVENT
END:VCALENDAR