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:
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.
\n\nCICM 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).
CICM 2020 i nvites submissions in all topics relating to intel ligent computer mathematics, in particular but not limited to theorem proving and computer algebra, mathematical knowledge management, and digital mat hematical libraries.
\n\nCICM appreciates the varying nature of the relevant research in thi s area and invites submissions of different forms: formal submissions (inclusing regular papers, pro ject and survey papers, and system entries), infor mal submissions (including work-in-progress, proje ct announcements, and position statements), and th e doctoral programme.