Email Gateway (Aug 22 2022 at 19:49): Email Gateway (Aug 22 2022 at 19:49):From: serge.autexier@dfki.de
Joint Call for
Workshops Papers (OpenMath, LML, GVMM, FVPS)
Doctoral Programme Submissions
Participation
12th Conference on Intelligent Computer Mathematics
- CICM 2019 -
July 8-12, 2019
CIIRC, Prague, Czech Republic
http://www.cicm-conference.org/2019
Digital and computational solutions are becoming the prevalent means for the
generation, communication, processing, storage and curation of mathematical
information.
CICM brings together the many separate communities that have developed
theoretical and practical solutions for mathematical applications such as
computation, deduction, knowledge management, and user interfaces. It offers a
venue for discussing problems and solutions in each of these areas and their
integration.
In addition to the main tracks, CICM 2019 will host the Exploring the Mizar
Library tutorial and 4 workshops: Formal Mathematics for Mathematicians (FMM),
Formal Verification of Physical Systems (FVPS), Large Mathematical Libraries
(LML), 30th OpenMath Workshop.
This is a call for submissions and participation to the
More details about workshops and the doctoral programm are available from their
webpages on the CICM website
https://www.cicm-conference.org/2019
Submissions Deadlines *
OpenMath 2019 continuous until July 1, 2019
CICM doctoral programm track May 15, 2019
Registration *
Registration to CICM 2019 and the workshops is open at the CICM website or
directly at
https://www.cicm-conference.org/2019/cicm.php?event=&menu=registration
Last updated: Nov 21 2024 at 12:39 UTC