[skip ci] Auto-generated kwarc.bib for commit 8f84bbc

Author: kohlhase

kwarc.bib

@@ -56850,14 +56850,13 @@ @proceedings{CICM22
 
 @proceedings{CICM25,
   label = {CICM},
-  SOONeditor = {Buzzard, Kevin and Kutsia, Temur},
+  editor = {Valeria de Paiva and Peter Koepke},
   title = {Intelligent Computer Mathematics},
   booktitle = {Intelligent Computer Mathematics ({CICM}) 2025},
   publisher = {Springer},
   series    = {LNAI},
-  SOONvolume = {13467},
-  SOONisbn = {978-3-031-16680-8},
-  note = {accepted at CICM 2025},
+  volume = {16136},
+  isbn = {978-3-032-07020-3},
   year = {2025},
   keywords = {conference}}