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/2022/newsitem/13700/19
 ---23-September-2022-15th-Conference-on-Intelligen
 t-Computer-Mathematics-CICM-2022-Tbilisi-Georgia-V
 irtual
DTSTAMP:20220523T143516
SUMMARY:15th Conference on Intelligent Computer Ma
 thematics (CICM 2022), Tbilisi (Georgia)  & Virtua
 l
DTSTART;VALUE=DATE:20220919
DTEND;VALUE=DATE:20220923
LOCATION:Tbilisi (Georgia)  & 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.  Invited
  Speakers: Erika Ábrahám (RWTH Aachen University),
  Deyan Ginev (FAU Erlangen-Nürnberg and NIST) and 
 Sébastien Gouëzel (IRMAR, Université de Rennes 1).
   CICM 2022 invites submissions in all topics rela
 ting to intelligent computer mathematics, in parti
 cular but not limited to * theorem proving and com
 puter algebra * mathematical knowledge management 
 * digital mathematical libraries. CICM appreciates
  the varying nature of the relevant research in th
 is area and invites submissions of different forms
 : formal submissions, informal submissions, and th
 e 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  <p>Invited Speakers: E
 rika Ábrahám (RWTH Aachen University), Deyan Ginev
  (FAU Erlangen-Nürnberg and NIST) and Sébastien Go
 uëzel (IRMAR, Université de Rennes 1).</p>\n</div>
 <div>\n  <p>CICM 2022 invites submissions in all t
 opics relating to intelligent computer mathematics
 , in particular but not limited to * theorem provi
 ng and computer algebra * mathematical knowledge m
 anagement * digital mathematical libraries. CICM a
 ppreciates the varying nature of the relevant rese
 arch in this area and invites submissions of diffe
 rent forms: formal submissions, informal submissio
 ns, and the doctoral programme.</p>\n</div>
URL:http://www.cicm-conference.org/2022
END:VEVENT
END:VCALENDAR