BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:14th Conference on Intelligent Computer Mathematics
DTSTART;VALUE=DATE-TIME:20210725T220000Z
DTEND;VALUE=DATE-TIME:20210731T215900Z
DTSTAMP;VALUE=DATE-TIME:20211019T210227Z
UID:indico-event-2@indico.ieat.ro
DESCRIPTION:Objectives\n\nDigital and computational solutions are becoming
the prevalent means for the generation\, communication\, processing\, sto
rage and curation of mathematical information. Separate communities have d
eveloped to investigate and build computer based systems for computer alge
bra\, automated deduction\, and mathematical publishing as well as novel u
ser interfaces. While all of these systems excel in their own right\, thei
r integration can lead to synergies offering significant added value. The
Conference on Intelligent Computer Mathematics (CICM) offers a venue for d
iscussing and developing solutions to the great challenges posed by the in
tegration of these diverse areas.\n\nThe conference addresses research fro
m the following areas\, and it usually add workshops and a doctoral progra
mme:\n\n\n Calculemus\n Mathematical Knowledge Management (MKM)\n Systems
& Projects\n Doctoral Programme\n Workshops\n \n NatFoM 2021 - Workshop o
n Natural Formal Mathematics\n 31. OpenMath Workshop\n MathUI 2021 - Wor
kshop on Math Interaction\n FVPS 2021 - Workshop on Formal Verification o
f Physical Systems\n FMM 2021 - Workshop on Formal Mathematics for Mathem
aticians\n \n \n\n\nInvited Speakers\n\n\n Alessandro Cimatti (Fondazione
Bruno Kessler\, Trento\, IT)\, Logic at work\, and some research challeng
es for computer mathematics\n Michael Kohlhase (FAU Erlangen-Nürnberg\,
Germany)\, Referential Semantics - a Concept for Bridging between Represen
tations of mathematical/technical Documents and Knowledge.\n Laura Kovacs
(TU Vienna\, Austria)\, Induction in Saturation-Based Reasoning.\n Angus
Mcintyre (London/Edinburgh\, UK)\, Doing Number Theory in Weak Systems o
f Arithmetic\n\n\nCICM 2021 Proceedings (Springer LNAI)\n\nAccepted Papers
to appear before the conference in: Intelligent Computer Mathematics 14th
International Conference\, CICM 2021\, Timisoara\, Romania\, July 26–31
\, 2021\, Proceedings\, Fairouz Kamareddine and Claudio Sacerdoti Coen (ed
s.)\, Lecture Notes in Artificial Intelligence\, Springer\, Cham\, 2021.\n
\nOrganization\n\n\n Conference organizer: Madalina Erascu (West Univers
ity of Timisoara\, Romania)\n General program chairs:\n \n Fairouz Kamare
ddine (Heriot-Watt University\, Scotland)\n Claudio Sacerdoti Coen (U o
f Bologna\, Italy)\n \n \n Doctoral programme chair: Yasmine Sharoda\n Wor
kshop chair: Michael Kohlhase (FAU Erlangen-Nürnberg\, Germany)\n Publi
city chair: Serge Autexier (DFKI Bremen\, Germany)\n\n\nCICM conference
series\n\n\n The CICM conference series is fostered by the CICM organizat
ional structure whose steering committee members are listed here\n Previ
ous CICM conference are listed here\n Previous CICM proceedings are avail
able here\n\n\nCICM proceedings are published by Springer in the LNAI sub
series of LNCS.\n\nhttps://indico.ieat.ro/event/2/
LOCATION:Online
URL:https://indico.ieat.ro/event/2/
END:VEVENT
END:VCALENDAR