-

0 - Adam Grabowski, University of Białystok , Poland 1 - Adam Naumowicz, University of Białystok , Poland 2 - Artur Korniłowicz, University of Białystok , Poland 3 - Cezary Kaliszyk, University of Innsbruck , Austria 4 - Claudio Sacerdoti Coen, University of Bologna , Italy 5 - Dennis Müller , FAU Erlangen-Nürnberg , Germany 6 - Florian Rabe , FAU Erlangen-Nürnberg , Germany 7 - Frédéric Blanqui , INRIA , France 8 - Ievgen Ivanov, Taras Shevchenko National University of Kyiv , Ukraine 9 - Josef Urban, Czech Technical University in Prague , Czech Republic 10 - Karol Pąk, University of Białystok , Poland 11 - Peter Lammich, Technical University of Munich , Germany 12 - William M. Farmer, McMaster University , Canada

2019

• FMM 2019 - Fourth workshop on Formal Mathematics for Mathematicians. The FMM workshop series allows mathematicians interested in computer assistance and researchers in formal and computerunderstandable mathematics to meet and exchange ideas. Members of the program committee include: • LML 2019 - Workshop on Large Mathematics Libraries. Large formal and semiformal mathematics libraries are needed to support mathematics research, mathematics education, rigorous software development, and formal proof development. This workshop will explore methods for designing, constructing, and maintaining large mathematics libraries as well as for finding, comparing, and applying the knowledge residing in these libraries. Members of the program committee include: 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. Three such papers have 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: • Karol Pąk: FMM editor • William M. Farmer and Dennis Müller: LML editors • Edwin Brady: Calculemus track chair • Andrea Kohlhase: MKM track chair • Claudio Sacerdoti Coen: Systems & Projects track chair • Dennis Müller: Doctoral Programme chair • Cezary Kaliszyk: General CICM PC chair

Acknowledgments: We thank the organizers of CICM 2019, the program committee and reviewers of the work in this volume. We also acknowledge the publisher CEUR-WS.