CICM Workshops 2018: Hagenberg, Austria

Computer Mathematics in Education - Enlightenment or Incantation (CME-EI) (Short Papers)

Formal Mathematics for Mathematicians (FMM) (Short Papers)

Computer Algebra in the Age of Types (CAAT) (Short Papers)

Formal Verification of Physical Systems (FVPS)

29th OpenMath Workshop

The CICM 2018 Doctoral Program (Short Papers)

The Work in Progress Section of CICM 2018

maintained by Schloss Dagstuhl LZI, founded at University of Trier