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/11632/26
 ---31-July-2020-13th-Conference-on-Intelligent-Com
 puter-Mathematics-CICM-2020-Virtual
DTSTAMP:20200720T133603
SUMMARY:13th Conference on Intelligent Computer Ma
 thematics (CICM 2020), Virtual
DTSTART;VALUE=DATE:20200726
DTEND;VALUE=DATE:20200731
LOCATION:Virtual
DESCRIPTION:Digital and computational solutions ar
 e becoming the prevalent means for the generation,
  communication, processing, storage and curation o
 f mathematical information. CICM brings together t
 he many separate communities that have developed t
 heoretical and practical solutions for mathematica
 l applications such as computation, deduction, kno
 wledge management, and user interfaces. It offers 
 a venue for discussing problems and solutions in e
 ach of these areas and their integration.  CICM 20
 20 Invited Speakers: Kevin Buzzard (Imperial Colle
 ge, London, UK), Catherine Dubois (ENSIIE, CNRS, E
 vry, France) and Christian Szegedy (Google Researc
 h, Mountain View, CA, USA).  CICM 2020 invites sub
 missions in all topics relating to intelligent com
 puter mathematics, in particular but not limited t
 o theorem proving and computer algebra, mathematic
 al knowledge management, and digital mathematical 
 libraries.  CICM appreciates the varying nature of
  the relevant research in this area and invites su
 bmissions of different forms: formal submissions (
 inclusing regular papers, project and survey paper
 s, and system entries), informal submissions (incl
 uding work-in-progress, project announcements, and
  position statements), and the doctoral programme.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>Digital a
 nd computational solutions are becoming the preval
 ent means for the generation, communication, proce
 ssing, storage and curation of mathematical inform
 ation. CICM brings together the many separate comm
 unities that have developed theoretical and practi
 cal solutions for mathematical applications such a
 s computation, deduction, knowledge management, an
 d user interfaces. It offers a venue for discussin
 g problems and solutions in each of these areas an
 d their integration.</p>\n\n  <p>CICM 2020 Invited
  Speakers: Kevin Buzzard (Imperial College, London
 , UK), Catherine Dubois (ENSIIE, CNRS, Evry, Franc
 e) and Christian Szegedy (Google Research, Mountai
 n View, CA, USA).</p>\n</div><div>\n  <p>CICM 2020
  invites submissions in all topics relating to int
 elligent computer mathematics, in particular but n
 ot limited to theorem proving and computer algebra
 , mathematical knowledge management, and digital m
 athematical libraries.</p>\n\n  <p>CICM appreciate
 s the varying nature of the relevant research in t
 his area and invites submissions of different form
 s: formal submissions (inclusing regular papers, p
 roject and survey papers, and system entries), inf
 ormal submissions (including work-in-progress, pro
 ject announcements, and position statements), and 
 the doctoral programme.</p>\n</div>
URL:http://www.cicm-conference.org/2020
END:VEVENT
END:VCALENDAR