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

[Tanja Gutenbrunner]

                             Call for Participation
                11th Conference on Intelligent Computer Mathematics
                                  - CICM 2018 -
                                August 13-17, 2018
                             RISC, Hagenberg, Austria
		      http://www.cicm-conference.org/2018

--------------------------------------------------------------------------------

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
http://www.cicm-conference.org/2018.
===============

-----------
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