This joint volume of proceedings gathers the papers from the workshops, Doctoral Program (DP) and Work in Progress (WiP) section of the 11th Conference on Intelligent Computer Mathematics (CICM), held August 13-17 2018 in RISC, Hagenberg, Austria. CICM has been held annually since 2008. Papers from the four main tracks at CICM 2018 (CALCULEMUS, Digital Mathematical Libraries, Mathematical Knowledge Management, Systems & Projects) are planned to be published in Springer Lecture Notes on Arti cial Intelligence (LNAI). This joint volume collects selected papers for six workshops held at CICM 2018: Computer Mathematics in Education - Enlightenment or Incantation (CMEEI), considering recent developments in computer mathematics while discussing potential impact of respective tools and reconsidering developers' responsibility for such impact. Members of the program committee include: Formal Mathematics for Mathematicians (FMM), allowing mathematicians interested in computer assistance and researchers in formal and computer-understandable mathematics to meet and exchange ideas. Members of the program committee include: Computer Algebra in the Age of Types (CAAT), inviting practicing researchers in computer algebra, formal methods, and programming languages to present and discuss approaches and form a common vision for the next generation of computer algebra. Members of the program committee include:
{ Markus Pfei er, University of St Andrews { Gabriel Dos Reis, Microsoft Research Formal Veri cation of Physical Systems (FVPS), focusing on formal veri cation techniques for the modeling, analysis, and veri cation of safety and security critical physical systems.
{ Aaron Dutle, NASA Langley Research Center, U.S.A. { Jacques Fleuriot, University of Edinburgh, U.K. { Hubert Garavel, INRIA Grenoble, France { Atif Mashkoor, SCCH and JKU, Austria { Sergio Mover, University of Colorado Boulder, U.S.A. { Julien Narboux, University of Strasbourg, France { Peter Csaba O lveczky, University of Oslo, Norway { Shinichi Shiraishi, Toyota InfoTechnology Center, U.S.A.
Mathematical Models and Mathematical Software as Research Data 2018 (M3SRD), presenting and discussing ideas, concepts, standardization, and service development for important classes of mathematical research data, especially mathematical models and mathematical software. Members of the program committee include: { Neil Chue Hong, Software Sustainability Institute, Great Britain { Roberto Di Cosmo, Inria, France { Thomas Koprucki, WIAS Berlin, Germany { Florian Rabe, FAU Erlangen, Germany { Wolfram Sperber, FIZ Karlsruhe, Berlin 29th OpenMath Workshop, focusing on new research about and description of new content dictionaries for OpenMath, a language for exchanging mathematical formulas across systems. Members of the program committee include: { James Davenport, Bath, UK { Michael Kohlhase, FAU Erlangen-Nurnberg, Germany
CICM also gives the opportunity for researchers to present Work in Progress (WiP) papers that are not yet ready for formal presentation but are of interest to the community.
Finally, CICM traditionally organizes a \Doctoral Program (DP)", where doctoral students can present their achievements and future plans to the community and receive mentoring by experienced members of the CICM community.
The workshop programs were managed independently by the respective organizers, and were coordinated by the Workshop Chair. The total number of papers accepted at CICM 2018 workshops is fourteen. The General CICM PC Chair and the four CICM track PC Chairs selected the WiP papers and the DP Chair managed the DP papers. Please see the individual prefaces for more details.
Editors Osman Hasan: Joint volume editor Zoltan Kovacs, Walther Neuper, Wolfgang Schreiner: CME-EI editors Cezary Kaliszyk, Adam Naumowicz: FMM editors Markus Pfei er, Gabriel Dos Reis: CAAT editors So ene Tahar, Osman Hasan, Umair Siddique: FVPS editors Thomas Koprucki, Wolfram Sperber: M3SRD editors James Davenport, Michael Kohlhase: OpenMath editors Diane Gallois-Wong: DP editor Abdou Youssef: Systems & Projects Track Chair Bill Farmer: Mathematical Knowledge Management Track Chair Grant Passmore: Calculemus Track Chair Florian Rabe: General CICM PC Chair
Acknowledgements: Thanks to all those who served on the program committee or reviewed the work in this volume, and to the organizers of CICM 2018. We would like to thank my Research Associate, Anum Umer, who helped us in compiling the proceedings. We also acknowledge the publisher CEUR-WS, and the authors of the EasyChair software which greatly aided the publication of these proceedings.