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: secret...@risc.jku.at ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info