Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018<pre>@proceedings{cicmws2018,
  editor        = {Osman Hasan and Abdou Youssef and Adam Naumowicz and William M. Farmer and Cezary Kaliszyk and Diane Gallois-Wong and Florian Rabe and Gabriel Dos Reis and Grant O. Passmore, James H. Davenport and Markus Pfeiffer and Michael Kohlhase and Serge Autexier and Sofi\`ene Tahar and Thomas Koprucki and Umair Siddique and Walther Neuper and Wolfgang Windsteiger  and Wolfgang Schreiner and Wolfram Sperber and Zoltán Kovács},
  title         = {Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018},
  volume        = {2307},
  series        = {CEUR Workshop Proceedings },
  organization  = {CEUR-WS.org},
  month         = {january},
  year          = {2019},
}
</pre>