[Publicity] Call for Participation: 11th Conference on Intelligent Computer Mathematics

Tanja Gutenbrunner Tanja.Gutenbrunner at risc.jku.at
Tue Jul 31 16:23:03 CEST 2018

                             Call for Participation
                11th Conference on Intelligent Computer Mathematics
                                  - CICM 2018 -
                                August 13-17, 2018
                             RISC, Hagenberg, Austria


CICM   focuses  on   theoretical  and   practical  solutions   for
mathematical applications such  as computation,  deduction, knowledge
management, libraries, and user interfaces.

CICM 2018 will feature 3 invited speakers:

* Akiko Aizawa, National Institute of Informatics, University of Tokyo
* Bruno Buchberger, Research Institute for Symbolic Computation (RISC),
Johannes Kepler University Linz (JKU)
* Adri Olde Daalhuis, University of Edinburgh

and 6 affiliated workshops:

* Computer Algebra in the age of Types
* Computer Mathematics in Education - Enlightenment or Incantation
* Formal Mathematics for Mathematicians
* Formal Verification of Physical Systems
* Mathematical Models and Mathematical Software as Research Data
* OpenMath Workshop

In  addition to  the  above  and the  formally  reviewed  program,
CICM'2018 features Work-in-progress papers, demos and posters, and
a Doctoral Program.

Details can be found at the conference website

If you do not wish to receive announcements from the
Research Institute for Symbolic Computation (RISC),
please send an e-mail to the following address:
secretary at risc.jku.at

More information about the Publicity mailing list