Tanja Gutenbrunner
2018-07-31 14:23:03 UTC
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:
***@risc.jku.at
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:
***@risc.jku.at