Conference

CICM

’26

19th Conference on Intelligent Computer Mathematics

Ljubljana, SloveniaSeptember 21 – 25, 2026

Theorem Proving
Proof Assistants

Dates & Deadlines

AbstractApr 8passed
PaperApr 15passed
RebuttalMay 27passed
NotificationJun 10passed
Camera-readyJul 13d

Last updated May 17, 2026