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. One such paper has been included in the WiP proceedings. Finally, CICM 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. In total, 11 papers have been accepted by the CICM 2019 workshops. Please see the individual prefaces for more details. The editors of this volume were: • Jasmin Blanchette and Adam Naumowicz (FMM editors) • James Davenport and Michael Kohlhase (OM editors) • Peter Koepke and Dennis Müller (NatFOM editors) • Andrea Kohlhase (MathUI editor) • Yasmine Sharoda (DP editor) • Claudio Sacerdoti Coen and Fairouz Kamareddine (WIP editors) Acknowledgments : We thank the organizers of CICM 2021, the program committee and reviewers of the work in this volume. We also acknowledge the publisher CEUR-WS.