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
@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čne 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},
}