In: Amnon Shabo Shvo; Inge Madsen; Hans-Ulrich Prokosch; Kristiina Häyrinen; Klaus-Hendrik Wolf; Fernando Martín-Sánchez; Matthias Löbe; Thomas M. …
Osman Hasan; Abdou Youssef; Adam Naumowicz; William M. Farmer; Cezary Kaliszyk; Diane Gallois-Wong; Florian Rabe; Gabriel Dos Reis; James H. Davenport Grant O. Passmore; Markus Pfeiffer; Michael Kohlhase; Serge Autexier; Sofiène Tahar; Thomas Koprucki; Umair Siddique; Walther Neuper; Wolfgang Windsteiger; Wolfgang Schreiner; Wolfram Sperber; Zoltán Kovács (Hrsg.)
Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics (CICM-WS-2018), located at co-located with the …