In this workshop contributions are solicited for discussions on the current state of the art of computer aided theorem proving (ATP), approaching the topic from the mathematical (or even philosophical) side, as well as from computer science.
http://cicm-conference.org/2014/cicm.php?event=nop&menu=general